Results 331 to 337 of about 202,857 (337)

A Deductive Model of Belief. [PDF]

, 2019
openaire  

Some of the next articles are maybe not open access.

Related searches:

Hybrid Models for Coupling Deductive and Inductive Reasoning

Communications in Computer and Information Science
exaly  

Verifying Invariants by Deductive Model Checking

Kyungmin Bae, Santiago Escobar 0001, Raúl López-Rueda, José Meseguer 0001, Julia Sapiña   +4 more
openaire   +1 more source

Language Models can be Deductive Solvers

Findings of the Association for Computational Linguistics: NAACL 2024
Jiazhan Feng, Ruochen Xu, Junheng Hao, Hiteshi Sharma, Yelong Shen, Dongyan Zhao 0001, Weizhu Chen   +6 more
openaire   +1 more source

Definition of deductive conceptual models of OODBs

exaly  

A deductive composting model

2002
openaire   +1 more source

Strategic Deductive Reasoning in Large Language Models: A Dual-Agent Approach

exaly