Pages that link to "Item:Q4316293"
From MaRDI portal
The following pages link to Narratives in the Situation Calculus (Q4316293):
Displayed 8 items.
- John McCarthy's legacy (Q543573) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- A circumscriptive calculus of events (Q1855238) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995) (← links)
- Situation calculus specifications for event calculus logic programs (Q5101452) (← links)
- Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)