F. Belardinelli
发表
Borja G. Leon,
M. Shanahan,
F. Belardinelli,
2020,
2006.08767.
Alessio Lomuscio,
Davide Grossi,
Francesco Belardinelli,
2015,
IJCAI.
Marco Montali,
Giuseppe De Giacomo,
Dirk Fahland,
2013
.
F. Belardinelli,
2015
.
F. Belardinelli,
2017
.
F. Belardinelli,
2016
.
Francesco Belardinelli,
F. Belardinelli,
2014,
SR.
F. Belardinelli,
2006
.
F. Belardinelli,
2006
.
F. Belardinelli,
A. Lomuscio,
2007
.
F. Belardinelli,
2016
.
F. Belardinelli,
Rui Li,
Rui Li,
2022,
ArXiv.
Solofomampionona Forunat Rajaona,
F. Belardinelli,
Ioana Boureanu,
2022,
ArXiv.
Francis Rhys Ward,
F. Belardinelli,
Francesca Toni,
2022,
AAMAS.
Solofomampionona Forunat Rajaona,
F. Belardinelli,
Ioana Boureanu,
2022,
ArXiv.
F. Belardinelli,
C. Dima,
Ioana Boureanu,
2022,
ArXiv.
Francis Rhys Ward,
F. Belardinelli,
Francesca Toni,
2022,
AISafety@IJCAI.
Borja G. Leon,
M. Shanahan,
F. Belardinelli,
2022
.
Borja G. Leon,
Pierre El Mqirmi,
F. Belardinelli,
2021,
AAMAS.
Francesco Belardinelli,
Borja G. Le'on,
Borja G. Leon,
2021,
ArXiv.
Francesco Belardinelli,
Borja G. Le'on,
Borja G. Leon,
2020,
ECAI.
Borja G. Leon,
F. Belardinelli,
Peter He,
2021,
SafeAI@AAAI.
Sasha Rubin,
Francesco Belardinelli,
Aniello Murano,
2019,
PRIMA.
Alessio Lomuscio,
Aniello Murano,
Sasha Rubin,
2018,
IJCAI.
Alessio Lomuscio,
Francesco Belardinelli,
F. Belardinelli,
2009,
Artif. Intell..
Sasha Rubin,
Francesco Belardinelli,
Aniello Murano,
2020,
Artif. Intell..
Borja G. Leon,
M. Shanahan,
F. Belardinelli,
2021,
ICLR.
Alessio Lomuscio,
Francesco Belardinelli,
F. Belardinelli,
2008,
KR.
Wiebe van der Hoek,
Francesco Belardinelli,
Louwe B. Kuijer,
2018,
Artif. Intell..
Alessio Lomuscio,
Aniello Murano,
Sasha Rubin,
2017,
AAMAS.
Francis Rhys Ward,
F. Belardinelli,
Francesca Toni,
2022,
ArXiv.
Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction
Francesco Belardinelli,
F. Belardinelli,
2014,
AAMAS.
Alessio Lomuscio,
Fabio Patrizi,
Francesco Belardinelli,
2011,
IJCAI.
G. Piliouras,
F. Belardinelli,
Aamal Abbas Hussain,
2023,
AAMAS.
Francesco Belardinelli,
Emily Yu,
Alessio Lomuscio,
2020,
AAAI.
Alessio Lomuscio,
Aniello Murano,
Sasha Rubin,
2017,
IJCAI.
Francesco Belardinelli,
F. Belardinelli,
2014,
KR.
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
pdf
Alessio Lomuscio,
Francesco Belardinelli,
F. Belardinelli,
2012,
J. Artif. Intell. Res..
Alessio Lomuscio,
Francesco Belardinelli,
F. Belardinelli,
2010,
KR.
Alessio Lomuscio,
Francesco Belardinelli,
F. Belardinelli,
2009,
Fundam. Informaticae.
Alessio Lomuscio,
Francesco Belardinelli,
F. Belardinelli,
2016,
JELIA.
Alessio Lomuscio,
Fabio Patrizi,
Francesco Belardinelli,
2013,
J. Artif. Intell. Res..
Francesco Belardinelli,
Vadim Malvone,
F. Belardinelli,
2020,
ECAI.
Andreas Herzig,
Francesco Belardinelli,
A. Herzig,
2017,
IJCAI.
Aniello Murano,
Laurent Perrussel,
Francesco Belardinelli,
2022,
AAMAS.
Damian Kurpiewski,
Wojciech Jamroga,
Aniello Murano,
2019,
IJCAI.
Alessio Lomuscio,
Francesco Belardinelli,
Andrew V. Jones,
2011,
Fundam. Informaticae.
Alessio Lomuscio,
Francesco Belardinelli,
Pavel Gonzalez,
2012,
QAPL.
Alessio Lomuscio,
Fabio Patrizi,
Francesco Belardinelli,
2012,
ICSOC.
Alessio Lomuscio,
Fabio Patrizi,
Francesco Belardinelli,
2012,
KR.
Wiebe van der Hoek,
Francesco Belardinelli,
W. Hoek,
2016,
AAAI.
Wiebe van der Hoek,
Francesco Belardinelli,
W. Hoek,
2015,
IJCAI.
Nicolas Maudet,
Davide Grossi,
Francesco Belardinelli,
2015,
IJCAI.
Davide Grossi,
Francesco Belardinelli,
F. Belardinelli,
2015,
AAMAS.
Alessio Lomuscio,
Francesco Belardinelli,
F. Belardinelli,
2008,
CLIMA.
Francesco Belardinelli,
F. Belardinelli,
2007
.
F. Belardinelli,
2006
.
Francesco Belardinelli,
F. Belardinelli,
2014,
ECAI.
Umberto Grandi,
Francesco Belardinelli,
F. Belardinelli,
2019,
TARK.
Aniello Murano,
Catalin Dima,
Francesco Belardinelli,
2018,
KR.
Borja G. Leon,
F. Belardinelli,
Vadim Malvone,
2022,
ICAART.
Alessio Lomuscio,
Francesco Belardinelli,
F. Belardinelli,
2017,
AAMAS.
Wojciech Jamroga,
Francesco Belardinelli,
Rodica Condurache,
2020,
Inf. Comput..
Wojciech Jamroga,
Catalin Dima,
Francesco Belardinelli,
2017,
AAMAS.
F. Belardinelli,
2005
.
F. Belardinelli,
Alexander W. Goodall,
2023,
ArXiv.
Umberto Grandi,
Francesco Belardinelli,
F. Belardinelli,
2019,
AAMAS.
Umberto Grandi,
Francesco Belardinelli,
F. Belardinelli,
2018,
ArXiv.
Borja G. Leon,
M. Shanahan,
F. Belardinelli,
2020,
ArXiv.
F. Belardinelli,
Alexander W. Goodall,
2023,
arXiv.org.
G. Piliouras,
F. Belardinelli,
Aamal Hussain,
2023,
IJCAI.
F. Belardinelli,
Dario Paccagnan,
Aamal Hussain,
2023,
ICML.
F. Belardinelli,
W. Jamroga,
A. Murano,
2023,
IJCAI.
Alessio Lomuscio,
Fabio Patrizi,
Francesco Belardinelli,
2011,
ICSOC.
F. Belardinelli,
A. Lomuscio,
2007
.
Alessio Lomuscio,
Panagiotis Kouvaros,
Francesco Belardinelli,
2017,
IJCAI.
Francis Rhys Ward,
F. Belardinelli,
Francesca Toni,
2023,
AAMAS.
F. Belardinelli,
Vadim Malvone,
Angelo Ferrando,
2023,
Artificial Intelligence.
F. Belardinelli,
Vadim Malvone,
Angelo Ferrando,
2023,
FMAS@iFM.
Francesco Belardinelli,
Vadim Malvone,
F. Belardinelli,
2020,
KR.
Alessio Lomuscio,
Francesco Belardinelli,
Vadim Malvone,
2019,
AAAI.
Alessio Lomuscio,
Francesco Belardinelli,
Vadim Malvone,
2018,
KR.
Tom Everitt,
F. Belardinelli,
Matt MacDermott,
2023,
ArXiv.