2026-07-29T10:45:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:21209 2024-10-22T05:39:58Z ddc:004 open_access

Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk) Pinchinat, Sophie Strategic reasoning Imperfect information chain-MSO Automatic structures Dynamic Epistemic Logic is a modal logic dedicated to specifying epistemic property changes along the dynamic behavior of a multi-agent system. The models that underlie this logic are (epistemic) states together with transitions caused by events, the occurrence of which may modify the current state. We first develop a setting where the entire dynamics of the system starting from an initial state is captured by a single infinite tree, in a way similar to what has been considered for Epistemic Temporal Logic, and second go through the current state-of-the-art regarding strategic reasoning, with a focus on planning problems in this infinite structure. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Sophie Pinchinat 2024 Is Part Of LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2024.2 urn:nbn:de:0030-drops-212093 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.2 eng https://creativecommons.org/licenses/by/4.0/legalcode