Pages that link to "Item:Q4286222"
From MaRDI portal
The following pages link to How to Do Things with Worlds: on Formalizing Actions and Plans (Q4286222):
Displaying 17 items.
- Conditional logic of actions and causation (Q814610) (← links)
- Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
- Miracles in formal theories of action (Q1264002) (← links)
- Ramification and causality (Q1399132) (← links)
- Specifying causality in action theories: A default logic approach (Q1575839) (← links)
- Propositional belief base update and minimal change (Q1978472) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- In defense of PDDL axioms (Q2457650) (← links)
- Exploring the action landscape via trial world-lines (Q3012323) (← links)
- Turning an Action Formalism Into a Planner—a Case Study (Q4316296) (← links)
- A methodology for iterated theory change (Q4632297) (← links)
- Actions, Belief Update, and DDL (Q4982659) (← links)
- A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- Completeness and decidability results for a logic of contrary-to-duty conditionals (Q5300583) (← links)
- Reasoning about action and change (Q6602230) (← links)
- An abductive proof procedure for reasoning about actions in modal logic programming (Q6623797) (← links)