Two ways to scare a Gruffalo

DOI10.1007/978-3-031-26689-8_4MaRDI QIDQ6132566zbMATH OpenOpenAlexFDO

Authors Shikha Singh, Kamal Lodaya, Deepak Khemani

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)

Recommendations

• scientific article; zbMATH DE number 1537935
• scientific article
• Endogenizing epistemic actions
• Logics for epistemic programs
• Dynamics of lying

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3672245 (Why is no real title available?)
• scientific article; zbMATH DE number 3313863 (Why is no real title available?)
• A qualitative theory of dynamic interactive belief revision
• An action language for multi-agent domains
• DEL planning and some tractable cases
• Dynamic epistemic logic
• Dynamic logic for belief revision
• Logics for epistemic programs
• Logics of communication and change
• Modelling deception using theory of mind in multi-agent systems
• More for free: a dynamic epistemic framework for conformant planning over transition systems
• One hundred prisoners and a light bulb
• Quantifier-free epistemic term-modal logic with assignment operator
• The logic of public announcements, common knowledge, and private suspicions
• Truth in fiction. Rethinking its logic. The Istanbul lectures
• Weak, strong, and strong cyclic planning via symbolic model checking

Cited in

(1)

• scientific article; zbMATH DE number 6488034 (Why is no real title available?)

This page was built for publication: Two ways to scare a Gruffalo

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