Introduction: Progress in formal commonsense reasoning

DOI10.1016/J.ARTINT.2003.09.001zbMath1085.68682OpenAlexW2037341072MaRDI QIDQ814546

Ernest Davis, Leora Morgenstern

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2003.09.001

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (4)

Reasoning about mathematical fuzzy logic and its future ⋮ The well-designed logical robot: learning and experience from observations to the Situation Calculus ⋮ Three fundamental misconceptions of Artificial Intelligence ⋮ On modelling with words

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• Nonmonotonic logic and temporal projection
• A logic for default reasoning
• Non-monotonic logic. I
• Nonmonotonic reasoning, preferential models and cumulative logics
• Ramification and causality
• Answer set programming and plan generation
• Uniform semantic treatment of default and autoepistemic logics
• Two approaches to the formalisation of defeasible deontic reasoning
• Another perspective on default reasoning
• Intention is choice with commitment
• On the logic of theory change: Partial meet contraction and revision functions
• An overview of nonmonotonic reasoning and logic programming
• Non-monotonic reasoning with logic programming
• Representing action and change by logic programs
• Deep Blue

This page was built for publication: Introduction: Progress in formal commonsense reasoning