Narratives in the Situation Calculus
From MaRDI portal
Publication:4316293
DOI10.1093/LOGCOM/4.5.513zbMATH Open0815.68097OpenAlexW2003911169MaRDI QIDQ4316293FDOQ4316293
Authors: Rob Miller, Murray Shanahan 
Publication date: 5 July 1995
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/048d071a06ee113819c8f0955d63a8ad7f09e9fc
Recommendations
- Occurrences and narratives as constraints in the branching structure of the situation calculus
- Formalizing narratives using nested circumscription
- A simple declarative language for describing narratives with actions
- scientific article; zbMATH DE number 1926646
- The situation calculus: a case for modal logic
Cited In (14)
- Probabilistic reasoning about epistemic action narratives
- Occurrences and narratives as constraints in the branching structure of the situation calculus
- John McCarthy's legacy
- Some aspects of narrative method
- Narrative planning: compilations to classical planning
- Formalizing sensing actions -- a transition function based approach
- Formalizing narratives using nested circumscription
- Structural analysis of narratives with the Coq proof assistant
- Situation calculus specifications for event calculus logic programs
- A circumscriptive calculus of events
- Reasoning about time in the situation calculus
- Title not available (Why is that?)
- An implemented representation and reasoning system for creating and exploiting large knowledge bases of ``narrative information
- Revision and updates in possibly action-occurrence-incomplete narratives
This page was built for publication: Narratives in the Situation Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4316293)
