Introduction: Progress in formal commonsense reasoning
From MaRDI portal
Publication:814546
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
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