Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 6.


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). 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). 854 - 860.


Belardinelli, Francesco, Ditmarsch, Hans van and Hoek, Wiebe van der
(2017) A Logic for Global and Local Announcements. .


Belardinelli, Francesco, Grossi, Davide ORCID: 0000-0002-9709-030X and ACM,
(2015) On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. .


Belardinelli, Francesco, van Ditmarsch, Hans, van der Hoek, Wiebe and Machinery, Assoc Comp
(2016) Second-order Propositional Announcement Logic. .


Belardinelli, Francesco, Van Der Hoek, Wiebe and Kuijer, Louwe B
(2018) Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence, 263. 3 - 45.

This list was generated on Sun Oct 31 02:12:34 2021 GMT.