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-8zbMATH Open0996.68193OpenAlexW2088979754WikidataQ114657135 ScholiaQ114657135MaRDI QIDQ1606307FDOQ1606307
Authors: Michael Thielscher 
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
Recommendations
- scientific article; zbMATH DE number 1748588
- scientific article; zbMATH DE number 1418373
- Proving properties of states in the situation calculus
- scientific article; zbMATH DE number 89002
- From Situation Calculus to Dynamic Epistemic Logic
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- Reconciling the event calculus with the situation calculus
- Representing actions in logic programs and default theories a situation calculus approach
- scientific article; zbMATH DE number 2085243
- scientific article; zbMATH DE number 6747990
Cited In (20)
- Title not available (Why is that?)
- First-order logical filtering
- John McCarthy's legacy
- Title not available (Why is that?)
- Bounded situation calculus action theories
- Multivalued action languages with constraints in \(CLP(FD)\)
- A unifying action calculus
- The qualification problem: A solution to the problem of anomalous models
- A probabilistic interval-based event calculus for activity recognition
- Probabilistic event calculus for event recognition
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- The concurrent, continuous fluent calculus
- Event calculus and temporal action logics compared
- Belief revision and projection in the epistemic situation calculus
- A family of dynamic description logics for representing and reasoning about actions
- Epistemic planning: perspectives on the special issue
- Title not available (Why is that?)
- A Semantical Account of Progression in the Presence of Defaults
- Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond
- Simulation of action theories and an application to general game-playing robots
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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606307)
