From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
From MaRDI portal
Publication:1606307
DOI10.1016/S0004-3702(99)00033-8zbMath0996.68193OpenAlexW2088979754WikidataQ114657135 ScholiaQ114657135MaRDI QIDQ1606307
Publication date: 24 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00033-8
Related Items (15)
Bounded situation calculus action theories ⋮ A family of dynamic description logics for representing and reasoning about actions ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Probabilistic Event Calculus for Event Recognition ⋮ Epistemic planning: perspectives on the special issue ⋮ Event calculus and temporal action logics compared ⋮ Multivalued action languages with constraints in CLP(FD) ⋮ Simulation of Action Theories and an Application to General Game-Playing Robots ⋮ John McCarthy's legacy ⋮ A unifying action calculus ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ First-order logical filtering ⋮ A probabilistic interval-based event calculus for activity recognition ⋮ A Semantical Account of Progression in the Presence of Defaults ⋮ The qualification problem: A solution to the problem of anomalous models
Uses Software
This page was built for publication: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
