Concepedia

Giuseppe De Giacomo

GD

Statistics

Publications

183

Citations

13K

H-Index

58

Active since

1994

Affiliations

Sapienza University of Rome(Current)

Free University of Bozen-Bolzano

Rice University

York University

RMIT University

Giuseppe De Giacomo is an author at Sapienza University of Rome specializing in computer science, computing, and knowledge representation.

Publications per year

1994–2023

183

Publications

183

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

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo et al. · Journal of Automated Reasoning · 2007 · 1.4K citations

Computing, Computer Science, Mathematics +15

Reasoning on UML class diagrams

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo · Artificial Intelligence · 2005 · 538 citations · Full text

Architecture, Computer Science, Diagramming +8

ConGolog, a concurrent programming language based on the situation calculus

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque · Artificial Intelligence · 2000 · 496 citations

Computing, Computer Science, Formal Methods +7

Linear temporal logic and linear dynamic logic on finite traces

Giuseppe De Giacomo, Moshe Y. Vardi · Rice Digital Scholarship Archive (Rice University) · 2013 · 432 citations · Full text

Computing, Humanities, Computer Science +15

On the decidability of query containment under constraints

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini · 1998 · 378 citations · Full text

Computing, Computer Science, Information Systems +13

1–5 of 183