Volgen
Francesco Belardinelli
Francesco Belardinelli
Imperial College London
Geverifieerd e-mailadres voor imperial.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
822012
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77, 209-240, 2004
742004
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
692017
Verification of agent-based artifact systems
F Belardinelli, A Lomuscio, F Patrizi
Journal of Artificial Intelligence Research 51, 333-376, 2014
652014
Verification of GSM-based artifact-centric systems through finite abstraction
F Belardinelli, A Lomuscio, F Patrizi
Service-Oriented Computing: 10th International Conference, ICSOC 2012 …, 2012
622012
Verification of broadcasting multi-agent systems against an epistemic strategy logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
552017
Verification of deployed artifact systems via data abstraction
F Belardinelli, A Lomuscio, F Patrizi
Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011
552011
Reasoning about knowledge and strategies: Epistemic strategy logic
F Belardinelli
arXiv preprint arXiv:1404.0837, 2014
452014
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
452012
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
352019
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
F Belardinelli, A Lomuscio
Artificial Intelligence 173 (9-10), 982-1013, 2009
352009
Systematic generalisation through task temporal logic and deep reinforcement learning
BG León, M Shanahan, F Belardinelli
arXiv preprint arXiv:2006.08767, 2020
332020
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
292019
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
282017
Verification of multi-agent systems with public actions against strategy logic
F Belardinelli, A Lomuscio, A Murano, S Rubin
Artificial Intelligence 285, 103302, 2020
272020
Quantified modal logic and the ontology of physical objects
F Belardinelli
Ph. D. thesis, Scuola Normale Superiore of Pisa, 2006
262006
Approximating perfect recall when model checking strategic abilities: Theory and applications
F Belardinelli, A Lomuscio, V Malvone, E Yu
Journal of Artificial Intelligence Research 73, 897-932, 2022
252022
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
F Belardinelli, A Ferrando, V Malvone
Artificial Intelligence 316, 103847, 2023
242023
Approximating perfect recall when model checking strategic abilities
F Belardinelli, A Lomuscio, V Malvone
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
222018
Extended markov games to learn multiple tasks in multi-agent reinforcement learning
BG León, F Belardinelli
ECAI 2020, 139-146, 2020
182020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20