Minimizing agents' state corruption resulting from leak-free epistemic communication modeling

DOI10.1007/978-3-031-56940-1_9MaRDI QIDQ6630194

Roman Kuznets, Giorgio Cignarale, Thomas Schlögl

Publication date: 30 October 2024

zbMATH Keywords

distributed systemsdynamic epistemic logicupdate synthesis

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic
• Observable models
• Arrow update synthesis
• Logics of public communications
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Arbitrary Action Model Logic and Action Model Synthesis

This page was built for publication: Minimizing agents' state corruption resulting from leak-free epistemic communication modeling

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