Journal and Conference Papers

You might also want to check my page on DBLP.

2016

  • F. Belardinelli, A. Lomuscio; A Three-value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. Proc. of the 15th European Conference on Logics in Artificial Intelligence (JELIA16), Larnaka.

  • F. Belardinelli, A. Lomuscio; Abstraction-based Verification of Infinite-state Reactive Modules. Proc. of the 22th European Conference on Artificial Intelligence (ECAI16), The Hague.

  • F. Belardinelli, A. Lomuscio, J. Michaliszyn; Agent-based refinement for predicate abstraction of multi-agent systems. Proc. of the 22th European Conference on Artificial Intelligence (ECAI16), The Hague.

  • F. Belardinelli, A. Herzig; On Logics of Strategic Ability based on Propositional Control. Proc. of the 25th International Conference on Artificial Intelligence (IJCAI16), New York.

  • F. Belardinelli, H. van Ditmarsch, W. van der Hoek; Second-order Propositional Announcement Logic. Proc. of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS16), Singapore.

  • F. Belardinelli, W. van der Hoek; A Semantical Analysis of Second-order Propositional Modal Logic. Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI16), Phoenix, AZ.

2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2004