You might also want to check my page on DBLP.

2019

• F. Belardinelli, W. Jamroga, D. Kurpiewski, V. Malvone, A. Murano; Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI 2019.


• F. Belardinelli, U. Grandi; Social Choice Methods for Database Aggregation. TARK 2019.


• F. Belardinelli, S. Demri; Resource-bounded ATL: the Quest for Tractable Fragments. AAMAS 2019: 206-214.


• F. Belardinelli, U. Grandi; A Social Choice Theoretic Perspective on Database Aggregation (extended abstract). AAMAS 2019: 1817-1819.


• F. Belardinelli, I. Boureanu, C. Dima, V. Malvone; Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing (extended abstract). AAMAS 2019: 1820-1822.


• F. Belardinelli, A. Lomuscio, V. Malvone; An Abstraction-based Method for Verifying Strategic Properties in Multi-agent Systems with Imperfect Information. AAAI2019.

• F. Belardinelli, W. van der Hoek, and L. B. Kuijer; Second-order Propositional Modal Logic: Expressiveness and Completeness Results. Artificial Intelligence, 263: 3-45.


• F. Belardinelli, A. Lomuscio, V. Malvone; Approximating Perfect Recall when Model Checking Strategic Abilities. KR2018.


• F. Belardinelli, C. Dima, A. Murano: Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. KR2018, 425-434


• F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Alternating-time Temporal Logic on Finite Traces. IJCAI18.


• F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Decidable Verification of Multi-agent Systems with Bounded Private Actions (extended abstract). AAMAS18.


• F. Belardinelli, E. Argente: Multi-Agent Systems and Agreement Technologies - 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Évry, France, December 14-15, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10767, Springer 2018, ISBN 978-3-030-01712-5.

• F. Belardinelli, U. Grandi, A. Herzig, D. Longin, E. Lorini, A. Novaro, L. Perrussel; Relaxing Exclusive Control in Boolean Games. TARK17.


• F. Belardinelli, H. van Ditmarsch, W. van der Hoek; A Logic for Global and Local Announcements. TARK17.


• F. Belardinelli, A. Herzig; Dynamic Logic for the Verification of Data-aware Systems: Decidability Results. IJCAI17.


• F. Belardinelli, P. Kouvaros, A. Lomuscio; Parameterised Verification of Data-aware Multi-agent Systems. IJCAI17.


• F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI17.


• F. Belardinelli, R. Condurache, C. Dima, W. Jamroga, A. V. Jones; Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS17.


• F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Verification of Multi-agent Systems with Imper- fect Information and Public Actions. AAMAS17.


• F. Belardinelli, A. Lomuscio; Agent-based Abstractionsv for Verifying Alternating-time Temporal Logic with Imperfect Information. AAMAS17.

• F. Belardinelli, A. Lomuscio; A Three-value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. JELIA16.


• F. Belardinelli, A. Lomuscio; Abstraction-based Verification of Infinite-state Reactive Modules. ECAI16.


• F. Belardinelli, A. Lomuscio, J. Michaliszyn; Agent-based refinement for predicate abstraction of multi-agent systems. ECAI16.


• F. Belardinelli, A. Herzig; On Logics of Strategic Ability based on Propositional Control. IJCAI16.


• F. Belardinelli, H. van Ditmarsch, W. van der Hoek; Second-order Propositional Announcement Logic. AAMAS16.


• F. Belardinelli, W. van der Hoek; A Semantical Analysis of Second-order Propositional Modal Logic. AAAI16.

• F. Belardinelli, W. van der Hoek; Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. IJCAI15.


• F. Belardinelli, D. Grossi, N. Maudet; Formal Analysis of Dialogues on Infinite Argumentation Frameworks. IJCAI15.


• F. Belardinelli, D. Grossi, A. Lomuscio; Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. IJCAI15.


• F. Belardinelli; A Logic of Knowledge and Strategies with Imperfect Information. LAMAS 2015.


• F. Belardinelli, D. Grossi; On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. AAMAS15.

• F. Belardinelli, A. Lomuscio, and F. Patrizi; Verification of Agent-based Artifact Systems. Journal of Artificial Intelligence Research. 51, pp. 333-77.


• F. Belardinelli; Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. ECAI2014.


• F. Belardinelli; Satisfiability of Alternating-time Temporal Epistemic Logic through Tableaux. KR2014.


• F. Belardinelli; Verification of Non-Uniform and Unbounded Artifact-Centric Systems: Decidability through Abstraction. AAMAS14.


• F. Belardinelli; Epistemic Strategy Logic. SR2014.

• F. Belardinelli, A.V. Jones, A. Lomuscio; Model Checking Temporal-epistemic Logic using Alternating Tree Automata [slides]. Highlights of Logic, Games and Automata.


• F. Belardinelli, A. Lomuscio; Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. IJCAI13.

• F. Belardinelli, A. Lomuscio; Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. Journal of Artificial Intelligence Research, 45, pp. 1-45.


• F. Belardinelli, A. Lomuscio, F. Patrizi; Verification of GSM-based Artifact-Centric Systems through Finite Abstraction. ICSOC2012, 17-31.


• F. Belardinelli, A. Lomuscio, F. Patrizi; An Abstraction Technique for the Verification of Artifact-Centric Systems. KR2012.


• F. Belardinelli, A. Lomuscio, P. Gonzalez; Automated Verification of Quantum Protocols using MCMAS. QAPL2012, 48-62.

• F. Belardinelli, A. Lomuscio, F. Patrizi. Verification of Deployed Artifact Systems via Data Abstraction, ICSOC2011, 142-156.


• F. Belardinelli, A. Lomuscio, F. Patrizi. A Computationally Grounded Semantics for Artifact-centric Systems and Abstraction Results. IJCAI11, 738-743.


• F. Belardinelli, A. Jones, A. Lomuscio; Model Checking Temporal-Epistemic Logic Using Tree Automata, Fundamenta Informaticae. 112(1), 19-37.


• F. Belardinelli, A. Lomuscio; First-Order Linear-time Epistemic Logic Group Knowledge: An Axiomatisation of the Monodic Fragment, Fundamenta Informaticae. 106 (2-4), pp. 175-190.

• F. Belardinelli, A. Lomuscio; Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems, KR2010, 38-48.


• F. Belardinelli, A. Jones, A. Lomuscio; Model Checking Temporal-Epistemic Logic Using Tree Automata, CS&P10.

• F. Belardinelli, A. Lomuscio; Quantified Epistemic Logics for Reasoning about Knowledge in Multi-Agent Systems, Artificial Intelligence, 173(9-10), pp. 982-1013.


• F. Belardinelli, A. Lomuscio; First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment, WoLLIC09, 140-154.

• F. Belardinelli, A. Lomuscio; A Complete First-order Logic of Knowledge and Time, KR08, 705-714.


• 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, CLIMAVIII, 248-267, Springer.

• F. Belardinelli, A. Lomuscio; A Quantified Epistemic Logic for Reasoning about Multi-Agent Systems, AAMAS07, 87.


• F. Belardinelli, A. Lomuscio; Quantified Epistemic Logics with Flexible Terms, LORI07, 113-128.

• F. Belardinelli; Counterpart Semantics for Quantified Modal Logic, The LOGICA Yearbook 2006, 11-21.

• F. Belardinelli, P.Jipsen, H. Ono; Algebraic Aspects of Cut Elimination , Studia Logica, 77(2), 209-240.