2026 Giuseppe De Giacomo: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	84	867	836	7	7	372	23320

Research.com Recognitions

2026 - Research.com Computer Science in Italy Leader Award
2025 - Research.com Computer Science in Italy Leader Award
2023 - Research.com Computer Science in Italy Leader Award
2022 - Research.com Computer Science in Italy Leader Award
2016 - Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) For significant contributions to the field of knowledge representation and reasoning, and applications to data integration, ontologies, planning, and process synthesis and verification.
2015 - ACM Fellow For contributions to description logics, data management, and verification of data-driven processes

Overview

Giuseppe De Giacomo is affiliated with Sapienza University of Rome in Italy. Their research contributions primarily focus on computer science, with an emphasis on artificial intelligence and computational theory.

Their work spans several subfields including:

Artificial Intelligence
Computational Theory and Mathematics
Software
Management Information Systems
Information Systems

Key topics covered in their research are:

Formal Methods in Verification
Logic, Reasoning, and Knowledge
Logic, programming, and type systems
Semantic Web and Ontologies
AI-based Problem Solving and Planning
Model-Driven Software Engineering Techniques
Business Process Modeling and Analysis

Some of Giuseppe De Giacomo's recent papers include:

"Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata," 2021, Proceedings of the International Conference on Automated Planning and Scheduling
"Digital twin composition in smart manufacturing via Markov decision processes," 2023, Computers in Industry
"Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces," 2022, ACM Transactions on Software Engineering and Methodology

Other significant papers associated with their frequent collaborators include:

"AI-augmented Business Process Management Systems: A Research Manifesto," 2023, ACM Transactions on Management Information Systems
"LTLƒ Synthesis with Fairness and Stability Assumptions," 2020, Proceedings of the AAAI Conference on Artificial Intelligence

They have collaborated frequently with researchers such as Shufang Zhu, Marco Favorito, Fabio Patrizi, Moshe Y. Vardi, and Francesco Fuggitti.

Their publications frequently appear in venues including:

arXiv (Cornell University)
Proceedings of the AAAI Conference on Artificial Intelligence
Proceedings of the International Conference on Automated Planning and Scheduling
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Artificial Intelligence

Giuseppe De Giacomo has received recognition as a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) in 2016 for contributions to knowledge representation, reasoning, data integration, ontologies, planning, and process synthesis and verification.

They were also named an ACM Fellow in 2015 for work in description logics, data management, and verification of data-driven processes.

Best Publications

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Diego Calvanese;Giuseppe Giacomo;Domenico Lembo;Maurizio Lenzerini

1731
Citations
Linking data to ontologies

Antonella Poggi;Domenico Lembo;Diego Calvanese;Giuseppe De Giacomo

1050
Citations
ConGolog , a concurrent programming language based on the situation calculus

Giuseppe de Giacomo;Yves Lespérance;Hector J. Levesque

777
Citations
Reasoning on UML class diagrams

Daniela Berardi;Diego Calvanese;Giuseppe De Giacomo

772
Citations
Automatic Composition of E-services That Export Their Behavior

Daniela Berardi;Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini

574
Citations
Data complexity of query answering in description logics

Diego Calvanese;Giuseppe De Giacomo;Domenico Lembo;Maurizio Lenzerini

570
Citations
Linear temporal logic and linear dynamic logic on finite traces

Giuseppe De Giacomo;Moshe Y. Vardi

544
Citations
DL-Lite: tractable description logics for ontologies

Diego Calvanese;Giuseppe De Giacomo;Domenico Lemho;Maurizio Lenzerini

510
Citations
On the decidability of query containment under constraints

Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini

480
Citations
Data complexity of query answering in description logics

Diego Calvanese;Giuseppe De Giacomo;Domenico Lembo;Maurizio Lenzerini

410
Citations
Data integration under integrity constraints

Andrea Calì;Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini

407
Citations
Automatic composition of transition-based semantic web services with messaging

Daniela Berardi;Diego Calvanese;Giuseppe De Giacomo;Richard Hull

381
Citations
The MASTRO system for ontology-based data access

Diego Calvanese;Giuseppe De Giacomo;Domenico Lembo;Maurizio Lenzerini

376
Citations
Description logic framework for information integration

Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini;Daniele Nardi

363
Citations
A framework for ontology integration

Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini

353
Citations
TBox and ABox reasoning in expressive description logics

Giuseppe De Giacomo;Maurizio Lenzerini

293
Citations
Logical foundations of peer-to-peer data integration

Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini;Riccardo Rosati

291
Citations
AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTIONS

Daniela Berardi;Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini

282
Citations
Ontologies and Databases: The DL-Lite Approach

Diego Calvanese;Giuseppe Giacomo;Domenico Lembo;Maurizio Lenzerini

268
Citations
Rewriting of regular expressions and regular path queries

Diego Calvanese;Giuseppe De Giacomo;Maurizio Lenzerini;Moshe Y. Vardi

265
Citations
The MASTRO system for ontology-based data

Thomas Lukasiewicz;Diego Calvanese;Giuseppe De Giacomo;Domenico Lembo

2
Citations

Frequent Co-Authors

Diego Calvanese Free University of Bozen-Bolzano

Maurizio Lenzerini Sapienza University of Rome

Riccardo Rosati Sapienza University of Rome

Domenico Lembo Sapienza University of Rome

Moshe Y. Vardi Rice University

Massimo Mecella Sapienza University of Rome

Marco Montali Free University of Bozen-Bolzano

Hector J. Levesque University of Toronto

Luca Iocchi Sapienza University of Rome

Daniele Nardi Sapienza University of Rome

External Links

Personal website of Giuseppe De Giacomo Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring online degrees and career pathways can help students maximize both flexibility and marketability in the ever-evolving field of Computer Science. Whether you’re aiming for swift entry into the workforce or seeking advanced expertise, several options are available to match your goals and schedule.

For those seeking a quick start in tech, 1 year associate degree programs online offer foundational skills and fast-track job readiness without a long-term commitment. Alternatively, individuals looking to boost their qualifications in the shortest time may consider the quickest online masters degree programs. These accelerated tracks enable graduates to increase earning potential and assume specialized roles sooner.

Pursuing graduate degrees that are worth it remains a strong option for those aiming at advanced career opportunities, leadership, or research positions. Additionally, gaining certifications that pay well can sharpen your skills in high-demand areas and significantly enhance your employability—even if you’re not ready for a full degree.

With these diverse online pathways, students can find the approach that best fits their ambitions and lifestyle, all while positioning themselves for rewarding careers in Computer Science.