Property persistence in the situation calculus

DOI10.1016/j.artint.2010.05.003zbMath1205.68398OpenAlexW1995136447MaRDI QIDQ991025

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 reasoningsituation calculusproperty persistence

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (4)

Bounded situation calculus action theories ⋮ Non-terminating processes in the situation calculus ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation ⋮ Asynchronous knowledge with hidden actions in the situation calculus

Uses Software

• GOLOG

Cites Work

• On the semantics of deliberation in IndiGolog -- from theory to implementation
• Knowledge, action, and the frame problem
• Constructive versions of Tarski's fixed point theorems
• What robots can do: robot programs and effective achievability
• Proving properties of states in the situation calculus
• How to progress a database
• Existential assertions and quantum levels on the tree of the situation calculus
• Some contributions to the metatheory of the situation calculus
• State Constraints Revisited
• GOLOG: A logic programming language for dynamic domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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