The following pages link to (Q5282994):
Displaying 5 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Agent planning programs (Q899440) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)