Pages that link to "Item:Q991025"
From MaRDI portal
The following pages link to Property persistence in the situation calculus (Q991025):
Displaying 4 items.
- Bounded situation calculus action theories (Q286407) (← 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)
