|
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.
2018
- 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.
2017
- 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.
2016
2015
2014
2013
2012
- 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.
2011
- 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.
2010
2009
2008
2007
2006
2004
|