Biblioteca Digital

24 resultados para inductive reasoning

Equality Reasoning in Sequent-Based Calculi

Relevância:

20.00% 20.00%

Publicador:

Kanger's Choices in Automated Reasoning

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article explains these choices and their place in modern automated deduction.

Handbook of Temporal Reasoning in AI

Relevância:

20.00% 20.00%

Publicador:

Dynamics of Practical Reasoning: A position paper

Relevância:

20.00% 20.00%

Publicador:

Combining Probabilistic and Labelled Reasoning

Relevância:

20.00% 20.00%

Publicador:

A connectionist inductive learning system for modal logic programming

Relevância:

20.00% 20.00%

Publicador:

Neural-symbolic intuitionistic reasoning

Relevância:

20.00% 20.00%

Publicador:

Formal Approaches to Practical Reasoning

Relevância:

20.00% 20.00%

Publicador:

Connectionist computations of intuitionistic reasoning

Relevância:

20.00% 20.00%

Publicador:

«
1
2
»