Pages that link to "Item:Q4316293"
From MaRDI portal
The following pages link to Narratives in the Situation Calculus (Q4316293):
Displaying 13 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)
- Revision and updates in possibly action-occurrence-incomplete narratives (Q2092491) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Narrative planning: compilations to classical planning (Q2905387) (← links)
- Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995) (← links)
- Occurrences and narratives as constraints in the branching structure of the situation calculus (Q4228074) (← links)
- A simple declarative language for describing narratives with actions (Q4352533) (← links)
- Situation calculus specifications for event calculus logic programs (Q5101452) (← links)
- (Q5175655) (← links)
- Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)