Event Calculus Planning Through Satisfiability

DOI10.1093/LOGCOM/14.5.731MaRDI QIDQ4659507zbMATH OpenOpenAlexFDO

Authors Murray Shanahan, Mark Witkowski

Publication date 21 March 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4bc072e66f4027598cac270c6d2a1b49529a08df

zbMATH Keywords

satisfiability planning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Event Calculus Reasoning Through Satisfiability
• An abductive event calculus planner
• CHICA, An Abductive Planning System Based on Event Calculus
• Planning as satisfiability: parallel plans and algorithms for plan search
• Friends or foes? On planning as satisfiability and abstract CNF encodings

Cited in

(4)

• An abductive event calculus planner
• Event Calculus Reasoning Through Satisfiability
• CHICA, An Abductive Planning System Based on Event Calculus
• \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem

This page was built for publication: Event Calculus Planning Through Satisfiability

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