Introduction: Progress in formal commonsense reasoning
From MaRDI portal
Publication:814546
DOI10.1016/J.ARTINT.2003.09.001zbMATH Open1085.68682OpenAlexW2037341072MaRDI QIDQ814546FDOQ814546
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
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the logic of theory change: Partial meet contraction and revision functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic-based calculus of events
- Deep Blue
- Answer set programming and plan generation
- Intention is choice with commitment
- Representing action and change by logic programs
- Title not available (Why is that?)
- A logic for default reasoning
- Non-monotonic logic. I
- Semantical considerations on nonmonotonic logic
- Title not available (Why is that?)
- Another perspective on default reasoning
- On the relation between default and autoepistemic logic
- Uniform semantic treatment of default and autoepistemic logics
- Nonmonotonic logic and temporal projection
- Ramification and causality
- Title not available (Why is that?)
- Title not available (Why is that?)
- Non-monotonic reasoning with logic programming
- An overview of nonmonotonic reasoning and logic programming
- Title not available (Why is that?)
- Two approaches to the formalisation of defeasible deontic reasoning
Cited In (8)
- On modelling with words
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- Title not available (Why is that?)
- Reasoning about mathematical fuzzy logic and its future
- Title not available (Why is that?)
- Three fundamental misconceptions of Artificial Intelligence
- Title not available (Why is that?)
- Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
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)
