Property persistence in the situation calculus

DOI10.1016/J.ARTINT.2010.05.003MaRDI QIDQ991025zbMATH OpenOpenAlexFDO

Authors Ryan F. Kelly, Adrian R. Pearce

Publication date 2 September 2010

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2010.05.003

zbMATH Keywords

automated reasoningproperty persistencesituation calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Some contributions to the metatheory of the situation calculus
• Proving properties of states in the situation calculus
• Existential assertions and quantum levels on the tree of the situation calculus
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• scientific article; zbMATH DE number 67449

Cites work

• A logical theory of coordination and joint ability
• Constructive versions of Tarski's fixed point theorems
• Existential assertions and quantum levels on the tree of the situation calculus
• GOLOG: A logic programming language for dynamic domains
• How to progress a database
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1249653 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Knowledge, action, and the frame problem
• On first-order definability and computability of progression for local-effect actions and beyond
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• On the verification of very expressive temporal properties of non-terminating Golog programs
• Proving properties of states in the situation calculus
• Some contributions to the metatheory of the situation calculus
• State Constraints Revisited
• The tree of knowledge in action: towards a common perspective
• What robots can do: robot programs and effective achievability

Cited in

(6)

• Proving properties of states in the situation calculus
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• Non-terminating processes in the situation calculus
• Asynchronous knowledge with hidden actions in the situation calculus
• Existential assertions and quantum levels on the tree of the situation calculus
• Bounded situation calculus action theories

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Property persistence in the situation calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q991025)