Narratives in the Situation Calculus

DOI10.1093/LOGCOM/4.5.513MaRDI QIDQ4316293zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

temporal reasoningsituation calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)

• Revision and updates in possibly action-occurrence-incomplete narratives
• Occurrences and narratives as constraints in the branching structure of the situation calculus
• An implemented representation and reasoning system for creating and exploiting large knowledge bases of ``narrative information
• Probabilistic reasoning about epistemic action narratives
• scientific article; zbMATH DE number 6407500 (Why is no real title available?)
• Narrative planning: compilations to classical planning
• Situation calculus specifications for event calculus logic programs
• John McCarthy's legacy
• Some aspects of narrative method
• Structural analysis of narratives with the Coq proof assistant
• Reasoning about time in the situation calculus
• A circumscriptive calculus of events
• Formalizing narratives using nested circumscription
• Formalizing sensing actions -- a transition function based approach

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)