Narratives in the Situation Calculus

DOI10.1093/logcom/4.5.513zbMath0815.68097OpenAlexW2003911169MaRDI QIDQ4316293

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)

Related Items

Reasoning about time in the situation calculus, Situation calculus specifications for event calculus logic programs, Probabilistic reasoning about epistemic action narratives, John McCarthy's legacy, Formalizing sensing actions -- a transition function based approach, Structural Analysis of Narratives with the Coq Proof Assistant, Formalizing narratives using nested circumscription, A circumscriptive calculus of events