An abductive event calculus planner

DOI10.1016/S0743-1066(99)00077-1MaRDI QIDQ4484729zbMATH OpenWikidataFDO

Authors Murray Shanahan

Publication date 25 May 2000

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(99)00077-1

zbMATH Keywords

abductive logic programmingplanningtheorem proving

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• CHICA, An Abductive Planning System Based on Event Calculus
• Event Calculus Planning Through Satisfiability
• A new deductive approach to planning
• Advances in Artificial Intelligence – SBIA 2004
• scientific article; zbMATH DE number 1882043

Cited in

(19)

• An executable specification of a formal argumentation protocol
• Event calculus and temporal action logics compared
• Formalizing the specification and execution of workflows using the event calculus
• Planning with natural actions in the situation calculus
• Super-Solutions
• Probabilistic Rule Learning in Nonmonotonic Domains
• Completing causal networks by meta-level abduction
• Applying the mu-calculus in planning and reasoning about action
• Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
• Event Calculus Planning Through Satisfiability
• scientific article; zbMATH DE number 1882043 (Why is no real title available?)
• CHICA, An Abductive Planning System Based on Event Calculus
• Modeling and reasoning in event calculus using goal-directed constraint answer set programming
• Advances in Artificial Intelligence – SBIA 2004
• John McCarthy's legacy
• \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
• Computational Logic in Multi-Agent Systems
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
• Answer set planning: a survey

This page was built for publication: An abductive event calculus planner

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