Francesco Belardinelli
Francesco Belardinelli
Université d'Evry
Geverifieerd e-mailadres voor ibisc.fr - 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
772012
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77 (2), 209-240, 2004
622004
Reasoning about knowledge and strategies: Epistemic strategy logic
F Belardinelli
arXiv preprint arXiv:1404.0837, 2014
55*2014
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
512012
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 agent-based artifact systems
F Belardinelli, A Lomuscio, F Patrizi
Journal of Artificial Intelligence Research 51, 333-376, 2014
492014
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
402017
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
332017
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
F Belardinelli, A Lomuscio
Artificial Intelligence 173 (9-10), 982-1013, 2009
282009
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
262012
Cooperative monitoring to diagnose multiagent plans
R Micalizio, P Torasso
Journal of Artificial Intelligence Research 51, 1-70, 2014
222014
Quantified modal logic and the ontology of physical objects
F Belardinelli
Ph. D. thesis, Scuola Normale Superiore of Pisa, 2006
182006
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
172017
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
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems.
F Belardinelli, A Lomuscio, J Michaliszyn
ECAI, 286-294, 2016
132016
A Complete First-Order Logic of Knowledge and Time.
F Belardinelli, A Lomuscio
KR, 705-714, 2008
122008
Epistemic quantified boolean logic: Expressiveness and completeness results
F Belardinelli, W Van Der Hoek
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
112015
A logic of knowledge and strategies with imperfect information
F Belardinelli
LAMAS 15, 1-15, 2015
112015
Interactions between time and knowledge in a first-order logic for multi-agent systems
F Belardinelli, A Lomuscio
Twelfth International Conference on the Principles of Knowledge …, 2010
102010
A Semantical Analysis of Second-Order Propositional Modal Logic.
F Belardinelli, W Van Der Hoek
AAAI, 886-892, 2016
92016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20