Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207MaRDI QIDQ5473972zbMATH OpenOpenAlexFDO

Authors Loizos Michael, Rob Miller, A. C. Kakas

Publication date 23 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11546207

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
• Reasoning about action. II: The qualification problem
• Ramifications: An Extension and Correspondence Result for the Event Calculus
• scientific article; zbMATH DE number 2084418
• scientific article; zbMATH DE number 5046357

Cited in

(4)

• Metatheory of actions: beyond consistency
• A general first-order solution to the ramification problem with cycles
• \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
• A description logic based situation calculus

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

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