Towards a First Order Theory of Reasoning Agents

Keywords

Computer science, Order (exchange), Business

References

No references recorded for this paper.

Cited by

• On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence ApproachEriksson Lundström, S Z Jenny — 2009
• Reflections about ReflectionGiuseppe Attardi, Maria Simi — 1991
• The logical modelling of computational multi-agent systemsMichael Wooldridge — 1992
• A FORMALIZATION OF VIEWPOINTSGuiseppe Attardi, Maria Simi — 1995
• A metalogic programming approach: language, semantics and applicationsStefania Costantini, Gaetano Aurelio Lanzarone — 1994
• A Three-Valued Formalization of ProvabilityPiero A. Bonatti — 1995
• The State of the Art in Computational Semantics: Evaluating the Descriptive Capabilities of Semantic TheoriesStephen Pulman — 1995
• First-Order, Curry-Typed Logic for Natural Language Semantics?Shalom Lappin, Chris Fox, Carl Pollard — 1995
• 1 Modal and Meta Languages : Consistency andExpressivenessLuigiaC. Aiello, Marta Cialdea, D. Nardi — 1995
• Viewpoints Subsume Beliefs, Truth and SituationsM. Simi — 1991
• A First Order Logic of Truth, Knowledge and BeliefN. Davies — 1991

Related papers

• A theory of bouletic reasoningHillary Harner, Sangeet Khemlani — 2019
• The Theory of ReasoningSamuel Bailey — 2008
• Reasoning about Rational AgentsAlex M. Andrew — 2002
• Reasoning Strategies and the Fundamental Reasoning Mechanism.Jacqueline P. Leighton — 2001
• Set of Support for Theory ReasoningGiles Reger, Martin Suda — 2017
• The Nature of ReasoningJacqueline P. Leighton, Robert J. Sternberg — 2003
• Integration of Different Reasoning Modes in a Go Playing and Learning SystemTristan Cazenave — 1998
• Theory of reasoning by goalsNicola D'Alfonso — 2020