Obserwuj
Francesco Belardinelli
Francesco Belardinelli
Imperial College London
Zweryfikowany adres z imperial.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
832012
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77, 209-240, 2004
752004
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
712017
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
562017
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
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
462012
Reasoning about knowledge and strategies: Epistemic strategy logic
F Belardinelli
arXiv preprint arXiv:1404.0837, 2014
452014
Systematic generalisation through task temporal logic and deep reinforcement learning
BG León, M Shanahan, F Belardinelli
arXiv preprint arXiv:2006.08767, 2020
372020
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
F Belardinelli, A Lomuscio
Artificial Intelligence 173 (9-10), 982-1013, 2009
362009
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
Verification of multi-agent systems with public actions against strategy logic
F Belardinelli, A Lomuscio, A Murano, S Rubin
Artificial Intelligence 285, 103302, 2020
302020
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
302019
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
282023
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
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
272022
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
F Belardinelli, A Lomuscio, V Malvone
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
232018
Honesty is the best policy: defining and mitigating AI deception
F Ward, F Toni, F Belardinelli, T Everitt
Advances in Neural Information Processing Systems 36, 2024
222024
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20