Modular- E and the role of elaboration tolerance in solving the qualification problem
From MaRDI portal
Publication:543579
DOI10.1016/J.ARTINT.2010.04.008zbMATH Open1216.68268OpenAlexW2052908243WikidataQ62615102 ScholiaQ62615102MaRDI QIDQ543579FDOQ543579
Authors: Loizos Michael, Rob Miller, A. C. Kakas 
Publication date: 17 June 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.008
Recommendations
- Logic Programming and Nonmonotonic Reasoning
- scientific article; zbMATH DE number 1784994
- A Modal Logic for Multiple-Source Tolerance Approximation Spaces
- scientific article; zbMATH DE number 770149
- On the Complexity of Quantifier Elimination: the Structural Approach
- scientific article; zbMATH DE number 5526522
- scientific article; zbMATH DE number 934500
- Error-tolerant reasoning in the description logic \(\mathcal{EL}\)
Cites Work
- Nonmonotonic causal theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Circumscription - a form of non-monotonic reasoning
- An abductive event calculus planner
- Title not available (Why is that?)
- Preferred answer sets for extended logic programs
- Title not available (Why is that?)
- Reasoning about action. II: The qualification problem
- Nonmonotonic logic and temporal projection
- The qualification problem: A solution to the problem of anomalous models
- A simple declarative language for describing narratives with actions
- Event Calculus Planning Through Satisfiability
- Title not available (Why is that?)
- CHICA, An Abductive Planning System Based on Event Calculus
- Logic Programming and Nonmonotonic Reasoning
Cited In (5)
Uses Software
This page was built for publication: \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543579)
