Pages that link to "Item:Q4369865"
From MaRDI portal
The following pages link to Provably correct theories of action (Q4369865):
Displaying 6 items.
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Complexity results for structure-based causality. (Q1852862) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- Situation calculus specifications for event calculus logic programs (Q5101452) (← links)
