Two ways to scare a Gruffalo

DOI10.1007/978-3-031-26689-8_4OpenAlexW4321441057MaRDI QIDQ6132566

Shikha Singh, Deepak Khemani, Kamal Lodaya

Publication date: 17 August 2023

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-26689-8_4

zbMATH Keywords

deceptionforgeryepistemic planningagent-updatecompleteness and decidability

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Cites Work

• Weak, strong, and strong cyclic planning via symbolic model checking
• Logics of communication and change
• Dynamic epistemic logic
• Truth in fiction. Rethinking its logic. The Istanbul lectures
• An action language for multi-agent domains
• Quantifier-free epistemic term-modal logic with assignment operator
• Logics for epistemic programs
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• DEL Planning and Some Tractable Cases
• Dynamic logic for belief revision
• More for free: a dynamic epistemic framework for conformant planning over transition systems*
• Modelling deception using theory of mind in multi-agent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item