Follow
Francesco Belardinelli
Francesco Belardinelli
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
An abstraction technique for the verification of artifact-centric systems
F Belardinelli, A Lomuscio, F Patrizi
Thirteenth international conference on the principles of knowledge …, 2012
772012
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77 (2), 209-240, 2004
762004
Verification of agent-based artifact systems
F Belardinelli, A Lomuscio, F Patrizi
Journal of Artificial Intelligence Research 51, 333-376, 2014
612014
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
572017
Verification of GSM-based artifact-centric systems through finite abstraction
F Belardinelli, A Lomuscio, F Patrizi
International Conference on Service-Oriented Computing, 17-31, 2012
562012
Verification of deployed artifact systems via data abstraction
F Belardinelli, A Lomuscio, F Patrizi
International conference on service-oriented computing, 142-156, 2011
512011
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
452017
Reasoning about knowledge and strategies: Epistemic strategy logic
F Belardinelli
arXiv preprint arXiv:1404.0837, 2014
432014
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
F Belardinelli, A Lomuscio
Journal of Artificial Intelligence Research 45, 1-45, 2012
352012
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
F Belardinelli, A Lomuscio
Artificial Intelligence 173 (9-10), 982-1013, 2009
332009
Bisimulations for verifying strategic abilities with an application to threeballot
F Belardinelli, R Condurache, C Dima, W Jamroga, AV Jones
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
232017
Quantified modal logic and the ontology of physical objects
F Belardinelli
Ph. D. thesis, Scuola Normale Superiore of Pisa, 2006
202006
Systematic generalisation through task temporal logic and deep reinforcement learning
BG León, M Shanahan, F Belardinelli
arXiv preprint arXiv:2006.08767, 2020
162020
A computationally-grounded semantics for artifact-centric systems and abstraction results
F Belardinelli, A Lomuscio, F Patrizi
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
152011
Strategy logic with simple goals: Tractable reasoning about strategies
F Belardinelli, W Jamroga, V Malvone, A Murano
28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019
132019
An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect information
F Belardinelli, A Lomuscio, V Malvone
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6030-6037, 2019
132019
Approximating perfect recall when model checking strategic abilities
F Belardinelli, A Lomuscio, V Malvone
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
132018
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems.
F Belardinelli, A Lomuscio, J Michaliszyn
ECAI, 286-294, 2016
132016
A semantical analysis of second-order propositional modal logic
F Belardinelli, W Van Der Hoek
Thirtieth AAAI Conference on Artificial Intelligence, 2016
132016
Epistemic quantified boolean logic: Expressiveness and completeness results
F Belardinelli, W Van Der Hoek
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
132015
The system can't perform the operation now. Try again later.
Articles 1–20