Pages that link to "Item:Q286407"
From MaRDI portal
The following pages link to Bounded situation calculus action theories (Q286407):
Displaying 3 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
