Event Calculus Planning Through Satisfiability

DOI10.1093/LOGCOM/14.5.731zbMATH Open1062.68119OpenAlexW2160833893MaRDI QIDQ4659507FDOQ4659507

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

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

zbMATH Keywords

satisfiability planning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (4)

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

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)