Pages that link to "Item:Q604908"
From MaRDI portal
The following pages link to A description logic based situation calculus (Q604908):
Displaying 4 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)