Pages that link to "Item:Q4484729"
From MaRDI portal
The following pages link to An abductive event calculus planner (Q4484729):
Displaying 16 items.
- Completing causal networks by meta-level abduction (Q374193) (← links)
- John McCarthy's legacy (Q543573) (← links)
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Formalizing the specification and execution of workflows using the event calculus (Q2499063) (← links)
- Planning with natural actions in the situation calculus (Q2734938) (← links)
- Super-Solutions (Q2946725) (← links)
- Probabilistic Rule Learning in Nonmonotonic Domains (Q3092307) (← links)
- Applying the mu-calculus in planning and reasoning about action (Q4209292) (← links)
- Event Calculus Planning Through Satisfiability (Q4659507) (← links)
- CHICA, An Abductive Planning System Based on Event Calculus (Q4849646) (← links)
- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (Q5097632) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311243) (← links)
- Computational Logic in Multi-Agent Systems (Q5706841) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)