Asynchronous knowledge with hidden actions in the situation calculus

DOI10.1016/j.artint.2014.12.005zbMath1328.68213OpenAlexW2120943658MaRDI QIDQ2344356

Ryan F. Kelly, Adrian R. Pearce

Publication date: 15 May 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

knowledgesituation calculusepistemic reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

A logical theory of localization

Uses Software

• GOLOG
• leanTAP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A unifying action calculus
• Iterated belief change in the situation calculus
• Knowledge, action, and the frame problem
• Logics of communication and change
• Property persistence in the situation calculus
• A guide to completeness and complexity for modal logics of knowledge and belief
• What robots can do: robot programs and effective achievability
• Proving properties of states in the situation calculus
• How to progress a database
• Ability and knowing how in the situation calculus
• lean\(T^ AP\): Lean tableau-based deduction
• Existential assertions and quantum levels on the tree of the situation calculus
• Intention is choice with commitment
• Some contributions to the metatheory of the situation calculus
• Knowledge and common knowledge in a distributed environment
• State Constraints Revisited
• GOLOG: A logic programming language for dynamic domains
• lean TAP revisited
• Goal Change in the Situation Calculus

This page was built for publication: Asynchronous knowledge with hidden actions in the situation calculus