-
2Announcements to Attentive AgentsJournal of Logic, Language and Information 25 (1): 1-35. 2016.In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of p…Read more
-
19Epistemic planning: Perspectives on the special issueArtificial Intelligence 316 (C): 103842. 2023.
-
Centre National de la Recherche ScientifiqueInstitut de Recherche En Informatique de Toulouse (IRIT)Regular Faculty
Universiti Paul Sabatier
PhD, 1989
Areas of Specialization
Science, Logic, and Mathematics |
Areas of Interest
Science, Logic, and Mathematics |
Doxastic and Epistemic Logic |
Action Theory |
Intentions |
Agency |