Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
From MaRDI portal
Publication:2887086
DOI10.1613/jair.3489zbMath1246.68210arXiv1401.4607OpenAlexW2115872603MaRDI QIDQ2887086
Publication date: 16 May 2012
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.4607
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55)
Related Items (10)
Combining event calculus and description logic reasoning via logic programming ⋮ Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) ⋮ Incremental Event Calculus for Run-Time Reasoning ⋮ Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming ⋮ Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming ⋮ Approximate postdictive reasoning with answer set programming ⋮ An event calculus production rule system for reasoning in dynamic and uncertain domains ⋮ ASP for flexible payroll management ⋮ Simulation of Action Theories and an Application to General Game-Playing Robots ⋮ Revising event calculus theories to recover from unexpected observations
Uses Software
This page was built for publication: Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
