Proving properties of states in the situation calculus
From MaRDI portal
Publication:1313962
DOI10.1016/0004-3702(93)90109-OzbMATH Open0788.68139OpenAlexW1971925101MaRDI QIDQ1313962FDOQ1313962
Authors: Raymond Reiter 
Publication date: 9 June 1994
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(93)90109-o
Recommendations
- Proving entailment between conceptual state specifications
- scientific article; zbMATH DE number 1418373
- Proof tactics for a theory of state machines in a graphical environment
- Reasoning About States of Probabilistic Sequential Programs
- scientific article; zbMATH DE number 4055617
- Property persistence in the situation calculus
- Propositional statecharts for agent interaction protocols
- scientific article; zbMATH DE number 1302017
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- State Constraints Revisited
- Title not available (Why is that?)
- What should a database know?
- On specifying database updates
- Title not available (Why is that?)
- Provably correct theories of action
- Title not available (Why is that?)
Cited In (20)
- A survey on temporal logics for specifying and verifying real-time systems
- First-order logical filtering
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- Knowledge, action, and the frame problem
- What robots can do: robot programs and effective achievability
- Property persistence in the situation calculus
- Temporal representation and reasoning in artificial intelligence: A review
- How to progress a database
- Reasoning about time in the situation calculus
- Knowledge assimilation in domains of actions: a possible causes approach
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- Title not available (Why is that?)
- Event calculus and temporal action logics compared
- Existential assertions and quantum levels on the tree of the situation calculus
- Progression of decomposed local-effect action theories
- Planning from second principles
- ConGolog, a concurrent programming language based on the situation calculus
- Asynchronous knowledge with hidden actions in the situation calculus
- Propositional statecharts for agent interaction protocols
- Heuristic planning: A declarative approach based on strategies for action selection
This page was built for publication: Proving properties of states in the situation calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1313962)
