Revising event calculus theories to recover from unexpected observations

DOI10.1007/s10472-019-09663-5OpenAlexW2968651552WikidataQ127391611 ScholiaQ127391611MaRDI QIDQ2029718

Dimitris Plexousakis, Giorgos Flouris, Nikoleta Tsampanaki, Theodore Patkos

Publication date: 4 June 2021

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-019-09663-5

zbMATH Keywords

belief revisionanswer set programmingevent calculusaction theories

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Uses Software

• Potassco

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Minimal change: relevance and recovery revisited
• A logic-based calculus of events
• Iterated belief change in the situation calculus
• Stable models and circumscription
• Incremental learning of event definitions with inductive logic programming
• Knowledge, action, and the frame problem
• On the logic of iterated belief revision
• Belief revision and projection in the epistemic situation calculus
• Conflict-driven answer set solving: from theory to practice
• Foundations for a probabilistic event calculus
• Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
• Answer Set Programming’s Contributions to Classical Logic
• On the logic of theory change: Partial meet contraction and revision functions
• A probabilistic logic programming event calculus
• Online learning of event definitions
• Formalizing sensing actions -- a transition function based approach