Biblioteca Digital

26 resultados para mathematical reasoning

Motivations as an Abstraction of Meta-level Reasoning

Relevância:

20.00% 20.00%

Publicador:

Normative Agent Reasoning in Dynamic Societies

Relevância:

20.00% 20.00%

Publicador:

The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System

Relevância:

20.00% 20.00%

Publicador:

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:

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
»