Introduction: Progress in formal commonsense reasoning

DOI10.1016/J.ARTINT.2003.09.001MaRDI QIDQ814546zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 4106291 (Why is no real title available?)
• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3313863 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 4185059 (Why is no real title available?)
• A logic for default reasoning
• A logic-based calculus of events
• An overview of nonmonotonic reasoning and logic programming
• Another perspective on default reasoning
• Answer set programming and plan generation
• Deep Blue
• Intention is choice with commitment
• Non-monotonic logic. I
• Non-monotonic reasoning with logic programming
• Nonmonotonic logic and temporal projection
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the logic of theory change: Partial meet contraction and revision functions
• On the relation between default and autoepistemic logic
• Ramification and causality
• Representing action and change by logic programs
• Semantical considerations on nonmonotonic logic
• Two approaches to the formalisation of defeasible deontic reasoning
• Uniform semantic treatment of default and autoepistemic logics

Cited in

(8)

• Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
• Reasoning about mathematical fuzzy logic and its future
• The well-designed logical robot: learning and experience from observations to the Situation Calculus
• scientific article; zbMATH DE number 2208071 (Why is no real title available?)
• Three fundamental misconceptions of Artificial Intelligence
• scientific article; zbMATH DE number 568601 (Why is no real title available?)
• scientific article; zbMATH DE number 5869916 (Why is no real title available?)
• On modelling with words

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814546)