Personal information
United Kingdom
Activities
Employment (3)
2022-08-01
to
present
|
Imperial College Research Fellow
(Department of Computing)
Employment
Source:
Francesco Leofante
2020-05-14
to
2022-07-31
|
Research Associate
(Department of Computing)
Employment
Source:
Francesco Leofante
2019-10-28
to
2020-05-14
|
Research Assistant
(Computing)
Employment
Source:
Francesco Leofante
Education and qualifications (4)
2015
to
2019
|
Ph.D.
(Department of Computer Science)
Education
Source:
Francesco Leofante
2013
to
2015
|
MSc in Robotics Engineering
Education
Source:
Francesco Leofante
2013
to
2015
|
MRes in Advanced Robotics
Education
Source:
Francesco Leofante
2010
to
2013
|
BSc in Electrical Engineering
Education
Source:
Francesco Leofante
Funding (1)
2022-08
to
2026-07
|
Award
Imperial College London
(London, GB)
Source:
Francesco Leofante
Works (29)
Artificial Intelligence
2024-11
|
Journal article
Contributors:
Junqi Jiang;
Francesco Leofante;
Antonio Rago;
Francesca Toni
Source:
check_circle
Crossref
Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February
7-14, 2023
2023
|
Conference paper
URI:
https://ojs.aaai.org/index.php/AAAI/article/view/26740
Contributors:
Junqi Jiang and
Francesco Leofante and
Antonio Rago and
Francesca Toni;
Brian Williams and
Yiling Chen and
Jennifer Neville
Source:
Francesco Leofante
J. Satisf. Boolean Model. Comput.
2023
|
Journal article
Contributors:
Francesco Leofante
Source:
Francesco Leofante
2023
|
Book chapter
Contributors:
Francesco Leofante;
Alessio Lomuscio
Source:
check_circle
Crossref
Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May
2023 - 2 June 2023
2023
|
Conference paper
Contributors:
Francesco Leofante and
Alessio Lomuscio;
Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh
Source:
Francesco Leofante
Source:
check_circle
Crossref
The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
2022-07-14
|
Conference paper
Contributors:
Stefan Schupp;
Francesco Leofante;
Leander Behr;
Erika Ábrahám;
Armando Taccella
Source:
Francesco Leofante
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
2022-04-25
|
Conference paper
Contributors:
Patrick Henriksen;
Francesco Leofante;
Alessio Lomuscio
Source:
Francesco Leofante
Formal Methods - 24th International Symposium, FM 2021, Virtual
Event, November 20-26, 2021, Proceedings
2021
|
Conference paper
Source:
Francesco Leofante
IJCAI International Joint Conference on Artificial Intelligence
2020
|
Conference paper
EID:
2-s2.0-85097351267
Contributors:
Leofante, F.;
Giunchiglia, E.;
Ábrahám, E.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
Frontiers in Artificial Intelligence and Applications
2020
|
Book
EID:
2-s2.0-85091758042
Contributors:
Guidotti, D.;
Leofante, F.;
Pulina, L.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
Proceedings - European Council for Modelling and Simulation, ECMS
2019
|
Conference paper
EID:
2-s2.0-85068796678
Contributors:
Leofante, F.;
Schupp, S.;
Abraham, E.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
IEEE Transactions on Neural Systems and Rehabilitation Engineering
2019
|
Journal article
EID:
2-s2.0-85064611838
Contributors:
Guidotti, D.;
Leofante, F.;
Tacchella, A.;
Castellini, C.
Source:
Francesco Leofante
via
Scopus - Elsevier
CEUR Workshop Proceedings
2019
|
Conference paper
EID:
2-s2.0-85073263456
Contributors:
Guidotti, D.;
Leofante, F.
Source:
Francesco Leofante
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
|
Book
EID:
2-s2.0-85066871841
Contributors:
Guidotti, D.;
Leofante, F.;
Castellini, C.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
|
Book
EID:
2-s2.0-85068612445
Contributors:
Bit-Monnot, A.;
Leofante, F.;
Pulina, L.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
Advances and Trends in Artificial Intelligence. From Theory to Practice
- 32nd International Conference on Industrial, Engineering and Other
Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz,
Austria, July 9-11, 2019, Proceedings
2019
|
Conference paper
Contributors:
Arthur Bit-Monnot and
Francesco Leofante and
Luca Pulina and
Armando Tacchella;
Franz Wotawa and
Gerhard Friedrich and
Ingo Pill and
Roxane Koitz-Hristov and
Moonis Ali
Source:
Francesco Leofante
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
|
Book
EID:
2-s2.0-85076768274
Contributors:
Guidotti, D.;
Leofante, F.;
Pulina, L.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
Information Systems Frontiers
2019-02-19
|
Journal article
Contributors:
Francesco Leofante;
Erika Ábrahám;
Tim Niemueller;
Gerhard Lakemeyer;
Armando Tacchella
Source:
check_circle
Crossref
grade
Preferred source
(of
2)
arXiv
2018
|
Other
EID:
2-s2.0-85093773921
Contributors:
Leofante, F.;
Narodytska, N.;
Pulina, L.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
32nd AAAI Conference on Artificial Intelligence, AAAI 2018
2018
|
Conference paper
EID:
2-s2.0-85055686917
Contributors:
Leofante, F.
Source:
Francesco Leofante
via
Scopus - Elsevier
IJCAI International Joint Conference on Artificial Intelligence
2018
|
Conference paper
EID:
2-s2.0-85055680798
Contributors:
Leofante, F.
Source:
Francesco Leofante
via
Scopus - Elsevier
CEUR Workshop Proceedings
2018
|
Conference paper
EID:
2-s2.0-85053802260
Contributors:
Leofante, F.
Source:
Francesco Leofante
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
|
Book
EID:
2-s2.0-85053111266
Contributors:
Leofante, F.;
Ábrahám, E.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
CEUR Workshop Proceedings
2017
|
Conference paper
EID:
2-s2.0-85019644378
Contributors:
Arnaldi, N.;
Barone, C.;
Fusco, F.;
Leofante, F.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
Proceedings - 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017
2017
|
Conference paper
EID:
2-s2.0-85044225592
Contributors:
Leofante, F.;
Ábrahám, E.;
Niemueller, T.;
Lakemeyer, G.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
|
Book
EID:
2-s2.0-84993990117
Contributors:
Leofante, F.;
Vuotto, S.;
Ábrahám, E.;
Tacchella, A.;
Jansen, N.
Source:
Francesco Leofante
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
|
Book
EID:
2-s2.0-85006077954
Contributors:
Leofante, F.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier
CEUR Workshop Proceedings
2016
|
Conference paper
EID:
2-s2.0-85006321356
Contributors:
Leofante, F.;
Pulina, L.;
Tacchella, A.
Source:
Francesco Leofante
via
Scopus - Elsevier