Classical logic event calculus as answer set programming

MaRDI QIDQ3100244zbMATH OpenFDO

Authors Joohyung Lee, Ravi Palla

Publication date 23 November 2011

Full work available at URL https://www.mat.unical.it/ASPOCP08/

zbMATH Keywords

\(\text{RASPL}^M\)circumscriptionfirst-order sentencesstable model

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Translating first-order causal theories into answer set programming
• Stable models and circumscription
• Situation calculus specifications for event calculus logic programs
• Event Calculus Reasoning Through Satisfiability

This page was built for publication: Classical logic event calculus as answer set programming

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