Pages that link to "Item:Q286407"
From MaRDI portal
The following pages link to Bounded situation calculus action theories (Q286407):
Displaying 11 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)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Lifted model checking for relational MDPs (Q2102421) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- Action Theories over Generalized Databases with Equality Constraints (Q2938514) (← links)
