
You might also want to check my page on DBLP.
2018
 F. Belardinelli, W. van der Hoek, and L. B. Kuijer; Secondorder Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence. Accepted for publication.
 F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Decidable
Verification of Multiagent Systems with Bounded Private
Actions (extended abstract). Proc. of the 17th International Conference on Autonomous
Agents and Multiagent Systems (AAMAS18), Stockholm, 2018.
2017
 F. Belardinelli, U. Grandi, A. Herzig, D. Longin, E. Lorini, A. Novaro, L. Perrussel; Relaxing Exclusive Control in Boolean Games. Proc. of the 16th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK17), Liverpool, 2017.
 F. Belardinelli, H. van Ditmarsch, W. van der Hoek; A Logic for Global and Local Announcements. Proc. of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK17),
Liverpool, 2017.
 F. Belardinelli, A. Herzig; Dynamic Logic for the Verification of
Dataaware Systems: Decidability Results. Proc. of the 26th
International Conference on Artificial Intelligence (IJCAI17),
Melbourne, 2017.
 F. Belardinelli, P. Kouvaros,
A. Lomuscio; Parameterised
Verification of Dataaware Multiagent Systems. Proc. of the
26th International Conference on Artificial Intelligence (IJCAI17),
Melbourne, 2017.
 F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Verification of Broadcasting MultiAgent Systems against an Epistemic Strategy Logic. Proc. of the 26th International Conference on Artificial
Intelligence (IJCAI17), Melbourne, 2017.
 F. Belardinelli, R. Condurache, C. Dima, W. Jamroga, A. V. Jones; Bisimulations for Verifying
Strategic Abilities with an Application to ThreeBallot. Proc. of the 16th International Conference on
Autonomous Agents and Multiagent Systems (AAMAS17), Sao Paulo, 2017.
 F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Verification of Multiagent Systems with Imper
fect Information and Public Actions. Proc. of the 16th International Conference on Autonomous
Agents and Multiagent Systems (AAMAS17), Sao Paulo, 2017.
 F. Belardinelli, A. Lomuscio; Agentbased Abstractionsv for Verifying Alternatingtime Temporal
Logic with Imperfect Information. Proc. of the 16th International Conference on Autonomous Agents
and Multiagent Systems (AAMAS17), Sao Paulo, 2017.
2016
 F. Belardinelli, A. Lomuscio; A Threevalue Abstraction Technique for the Verification of Epistemic
Properties in Multiagent Systems. Proc. of the 15th European Conference on Logics in Artificial
Intelligence (JELIA16), Larnaka.
 F. Belardinelli, A. Lomuscio; Abstractionbased Verification of Infinitestate Reactive Modules. Proc.
of the 22th European Conference on Artificial Intelligence (ECAI16), The Hague.
 F. Belardinelli, A. Lomuscio, J. Michaliszyn; Agentbased refinement for predicate abstraction of
multiagent 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; Secondorder 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 Secondorder Propositional Modal
Logic. Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI16), Phoenix, AZ.
2015
 F. Belardinelli, W. van der Hoek; Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. Proc. of the 24th International Conference on Artificial Intelligence (IJCAI15),
Buenos Aires.
 F. Belardinelli, D. Grossi, N. Maudet; Formal Analysis of Dialogues on Infinite Argumentation Frameworks. Proc. of the 24th International Conference on Artificial Intelligence (IJCAI15), Buenos
Aires.
 F. Belardinelli, D. Grossi, A. Lomuscio; Finite Abstractions for the Verification of Epistemic Properties in Open MultiAgent Systems. Proc. of the 24th International Conference on Artificial Intelligence (IJCAI15), Buenos Aires.
 F. Belardinelli; A Logic of Knowledge and Strategies with Imperfect Information. Proc. of the 8th
Workshop on Logical Aspects of MultiAgent Systems (LAMAS 2015), Istanbul.
 F. Belardinelli, D. Grossi; On
the Formal Verification of Diffusion Phenomena in Open Dynamic Agent
Networks. Proc. of the 14th International Conference on
Autonomous Agents and Multia gent Systems (AAMAS15), Istanbul.
2014
2013
2012
 F. Belardinelli,
A. Lomuscio; Interactions between
Knowledge and Time in a FirstOrder Logic for MultiAgent Systems:
Completeness Results. Journal of Artificial Intelligence
Research, 45, pp. 145.
 F. Belardinelli, A. Lomuscio,
F. Patrizi; Verification of
GSMbased ArtifactCentric Systems through Finite
Abstraction. Proc. of the 10th International
Conference on Service Oriented Computing (ICSOC2012), Shanghai,
pp. 1731, Springer.
 F. Belardinelli, A. Lomuscio,
F. Patrizi; An Abstraction
Technique for the Verification of ArtifactCentric Systems.
Proc.~of the 13th International Conference on Principles of
Knowledge Representation and Reasoning (KR2012), Rome, AAAI Press.
 F. Belardinelli, A. Lomuscio,
P. Gonzalez; Automated
Verification of Quantum Protocols using MCMAS.
Proc. of the 10th Workshop on Quantitative Aspects of
Programming Languages (QAPL2012), Tallinn, pp. 4862, EPTCS.
2011
 F. Belardinelli, A. Lomuscio,
F. Patrizi. Verification of
Deployed Artifact Systems via Data Abstraction, Proc. of
the 9th International Conference on Service Oriented Computing
(ICSOC2011), Paphos, pp. 142156, Springer.
 F. Belardinelli, A. Lomuscio,
F. Patrizi. A Computationally
Grounded Semantics for Artifactcentric Systems and Abstraction
Results. Proc. of the 22nd International Joint
Conference on Artificial Intelligence (IJCAI11), Barcelona,
pp. 738743. AAAI Press.
 F. Belardinelli, A. Jones,
A. Lomuscio; Model Checking
TemporalEpistemic Logic Using Tree Automata, Fundamenta
Informaticae. 112(1), pp. 1937.
 F. Belardinelli,
A. Lomuscio; FirstOrder
Lineartime Epistemic Logic Group Knowledge: An Axiomatisation of
the Monodic Fragment, Fundamenta Informaticae. 106 (24),
pp. 175190.
2010
2009
 F. Belardinelli,
A. Lomuscio; Quantified
Epistemic Logics for Reasoning about Knowledge in
MultiAgent Systems, Artificial Intelligence,
173(910), pp. 9821013.
 F. Belardinelli,
A. Lomuscio; FirstOrder
LinearTime Epistemic Logic with Group Knowledge: An
Axiomatisation of the Monodic Fragment,
Proc. of the 16th Workshop on Logic, Language,
Information and Computation (WoLLIC09), Tokyo, pp. 140154,
Springer.
2008
 F. Belardinelli,
A. Lomuscio; A
Complete Firstorder Logic of Knowledge and
Time, Proc. of the 11th International
Conference on Principles of Knowledge Representation and
Reasoning (KR08), Sidney, pp. 705714, AAAI Press.

F. Belardinelli; Counterpart
Semantics at work: an Incompleteness Result in
Quantified Modal Logic, Advances in Modal Logic
(AiML08), Nancy.
 F. Belardinelli,
A. Lomuscio; A
Complete Quantified Epistemic Logic for Reasoning
about Message Passing Systems,
Computational Logic in MultiAgent Systems, 8th
International Workshop (CLIMAVIII), Revised
Selected and Invited Papers, Porto, pp. 248267,
Springer.
2007
 F. Belardinelli,
A. Lomuscio; A
Quantified Epistemic Logic for Reasoning about
MultiAgent Systems, Proc. of the 6th
International Joint Conference on Autonomous Agents and
Multiagent Systems (AAMAS07), Honolulu, pp. 87, ACM.
 F. Belardinelli,
A. Lomuscio; Quantified
Epistemic Logics with Flexible Terms, A Meeting
of the Minds: Proc. of the Workshop on Logic,
Rationality and Interaction (LORI07), Beijing, pp. 113128,
College Publications.
2006
2004
