Pages that link to "Item:Q543586"
From MaRDI portal
The following pages link to A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586):
Displaying 8 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- John McCarthy's legacy (Q543573) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- On the progression of belief (Q6136086) (← links)
