Research
Interests
Logic Programming and Nonmonotonic Reasoning
Knowledge Representation and Reasoning
Answer Set Programming
Datalog
Deductive Database Systems
Semantic Web
Main Topics
Instantiation
Stream Reasoning
Query Answering
Data Intensive Reasoning
Computational Ontology
Awards
Co-author of "I-DLV: the new Intelligent Grounder of DLV", Best Paper Award at AI*IA 2016
I-DLV coupled with different solvers achieved both the 1st and 2nd place in the 7th ASP Competition at LPNRM 2017
Co-author of "Optimizing Answer Set Computation via Heuristic-Based Decomposition", Most Practical Paper Award at PADL 2018
Mention for the Ph.D. thesis "Design and Implementation of a Modern ASP Grounder" from GULP in 2019
Win at the Stream Reasoning Hackathon at Stream Reasoning 2021
Organization of Workshops and Conferences
Program chair of ASPOCP 2020
Program chair of ASPOCP 2021
Program chair of ASPOCP 2022
Publicity chair of LPNMR 2022
Publicity chair of Datalog 2.0 2022
Publicity chair of RCRA 2022
Member of the organization committee of ICLP 2020
Member of the organization committee of AI*IA 2019
Member of the organization committee of JELIA 2019
Program Committee
2024
AAAI - PC member of the main conference (38th AAAI Conference on Artificial Intelligence)
KR - PC member of the main conference (21th International Conference on Principles of Knowledge Representation and Reasoning)
PADL - PC member (26th International Symposium on Practical Aspects of Declarative Languages)
RULE ML+RR - PC member (8th International Joint Conference on Rules and Reasoning)
NRM- PC member (22nd International Workshop on Non-Monotonic Reasoning)
2023
AAAI - PC member of the main conference (37th AAAI Conference on Artificial Intelligence)
AAAI - PC member of the Special Programs and Tracks (37th AAAI Conference on Artificial Intelligence)
IJCAI - PC member of the main conference (32th International Joint Conference on Artificial Intelligence)
IJCAI - PC member of the Multi-Year Track On AI And Social Good (32th International Joint Conference on Artificial Intelligence)
ECAI PC - PC member of the main conference (26th European Conference on Artificial Intelligence)
KR - PC member of the main conference (20th International Conference on Principles of Knowledge Representation and Reasoning)
KR - PC member of the Recently Published Research Track (20th International Conference on Principles of Knowledge Representation and Reasoning)
JELIA - PC member (8th edition of the European Conference on Logics in Artificial Intelligence)
RULE ML+RR - PC member (7th International Joint Conference on Rules and Reasoning)
ASPOCP - PC member (16th Workshop on Answer Set Programming and Other Computing Paradigms)
Doctoral Consortium of ICLP - PC member (39th International Conference on Logic Programming)
2022
IJCAI - PC member of the main conference (31th International Joint Conference on Artificial Intelligence)
ECAI - PC member of the main conference (25th European Conference on Artificial Intelligence)
KR - PC member of the main conference (19th International Conference on Principles of Knowledge Representation and Reasoning)
AAAI - PC member of the Special Programs and Tracks (36th AAAI Conference on Artificial Intelligence)
Doctoral Consortium of ICLP - PC member (38th International Conference on Logic Programming)
NMR - PC member (20th International Workshop on Non-Monotonic Reasoning)
HYDRA - PC member (1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning)
2021
IJCAI - PC member of the main conference (30th International Joint Conference on Artificial Intelligence)
KR - PC member of the main conference (18th International Conference on Principles of Knowledge Representation and Reasoning)
AAAI - PC member of the Special Programs and Tracks (35th AAAI Conference on Artificial Intelligence)
Doctoral Consortium of ICLP - PC member (37th International Conference on Logic Programming)
2020
IJCAI - PC member of the main conference (29th International Joint Conference on Artificial Intelligence)
ECAI - PC member of the main conference (24th European Conference on Artificial Intelligence)
Editorial Boards
Topical Advisory Panel Member of Mathematics for the topic Mathematics and Computer Science
Journal Reviewer
Artificial Intelligence (Elsevier)
Theory and Practice of Logic Programming (Cambridge University Press)
Computers & Operations Research (Elsevier)
Artificial Intelligence in Medicine (Elsevier)
Scientific African (Elsevier)
Sub-Reviewer
AAAI (AAAI Conference on Artificial Intelligence)
IJCAI (International Joint Conference on Artificial Intelligence)
KR (International Conference on Principles of Knowledge Representation and Reasoning)
ECAI (European Conference on Artificial Intelligence)
ICLP (International Conference on Logic Programming)
LPNMR (International Conference on Logic Programming and Nonmonotonic Reasoning)
JELIA (European Conference on Logics in Artificial Intelligence)
PADL (International Symposium on Practical Aspects of Declarative Programming)
AI*IA (International Conference of the Italian Association for Artificial Intelligence)
PAoASP (International Workshop on Practical Aspects of Answer Set Programming)
GTTV (LPNMR Workshop on Grounding, Transforming, and Modularizing Theories with Variables)
RCRA (International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion)