Incorporating Action Models into the Situation Calculus

DOI10.1007/978-3-319-06025-5_21zbMath1344.03018OpenAlexW209568097MaRDI QIDQ5249683

Yong-Mei Liu, Hector J. Levesque

Publication date: 11 May 2015

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06025-5_21

zbMATH Keywords

dynamic epistemic logicsituation calculusmulti-agent extensions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

Epistemic planning: perspectives on the special issue

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• McCarthy variations in a modal key
• Knowledge, action, and the frame problem
• Logics of communication and change
• Reasoning about noisy sensors and effectors in the situation calculus
• Logics for epistemic programs
• Logics of public communications
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• From Situation Calculus to Dynamic Epistemic Logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• GOLOG: A logic programming language for dynamic domains

This page was built for publication: Incorporating Action Models into the Situation Calculus