Pages that link to "Item:Q991025"
From MaRDI portal
The following pages link to Property persistence in the situation calculus (Q991025):
Displaying 6 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Existential assertions and quantum levels on the tree of the situation calculus (Q2457629) (← links)