 | Up a level |
Belardinelli, Francesco and van der Hoek, Wiebe
(2015)
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results.
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015-J.
pp. 2748-2754.
Belardinelli, Francesco, Grossi, Davide 
ORCID: 0000-0002-9709-030X and Lomuscio, Alessio
(2015)
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems.
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015-J.
pp. 854-860.
Belardinelli, Francesco, van Ditmarsch, Hans and van der Hoek, Wiebe
(2017)
A Logic for Global and Local Announcements.
In: Theoretical Aspects of Rationality and Knowledge (TARK), 2017-7-24 - 2017-7-26, Liverpool.
Belardinelli, Francesco and Grossi, Davide ORCID: 0000-0002-9709-030X
(2015)
On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks.
In: AAMAS 2015.
Belardinelli, Francesco, van Ditmarsch, Hans and van der Hoek, Wiebe
(2016)
Second-order Propositional Announcement Logic.
In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), 2016-5-9 - 2016-5-13, Singapore.
Belardinelli, Francesco, Van Der Hoek, Wiebe and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2018)
Second-order Propositional Modal Logic: Expressiveness and Completeness Results.
Artificial Intelligence, 263.
pp. 3-45.