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 14 items.
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- John McCarthy's legacy (Q543573) (← links)
- A unifying action calculus (Q543584) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- A description logic based situation calculus (Q604908) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
- Existential assertions and quantum levels on the tree of the situation calculus (Q2457629) (← links)
- Some contributions to the metatheory of the situation calculus (Q3158539) (← links)
- Regression in Modal Logic (Q3647207) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- On the progression of belief (Q6136086) (← links)