Modular- E and the role of elaboration tolerance in solving the qualification problem

DOI10.1016/J.ARTINT.2010.04.008MaRDI QIDQ543579zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

reasoning about actionsdefault reasoningelaboration tolerancequalification problem

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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

• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1926646 (Why is no real title available?)
• scientific article; zbMATH DE number 2090517 (Why is no real title available?)
• scientific article; zbMATH DE number 1418282 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A simple declarative language for describing narratives with actions
• An abductive event calculus planner
• CHICA, An Abductive Planning System Based on Event Calculus
• Circumscription - a form of non-monotonic reasoning
• Event Calculus Planning Through Satisfiability
• Logic Programming and Nonmonotonic Reasoning
• Nonmonotonic causal theories
• Nonmonotonic logic and temporal projection
• Preferred answer sets for extended logic programs
• Reasoning about action. II: The qualification problem
• The qualification problem: A solution to the problem of anomalous models

Cited in

(5)

• Probabilistic reasoning about epistemic action narratives
• scientific article; zbMATH DE number 1784994 (Why is no real title available?)
• A general first-order solution to the ramification problem with cycles
• The qualification problem: A solution to the problem of anomalous models
• Logic Programming and Nonmonotonic Reasoning

Describes a project that uses

Uses Software

• CCalc

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)