Pages that link to "Item:Q4528038"
From MaRDI portal
The following pages link to A dynamic logic for acting, sensing, and planning (Q4528038):
Displayed 4 items.
- Propositional dynamic logic with quantification over regular computation sequences (Q2151417) (← links)
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- Common-sense reasoning as proto-scientific agent activity (Q2565606) (← links)
- A planning language for embedded systems (Q4421244) (← links)