G
Giuseppe De Giacomo
Researcher at Sapienza University of Rome
Publications - 383
Citations - 18961
Giuseppe De Giacomo is an academic researcher from Sapienza University of Rome. The author has contributed to research in topics: Description logic & Decidability. The author has an hindex of 69, co-authored 355 publications receiving 17920 citations. Previous affiliations of Giuseppe De Giacomo include Rice University.
Papers
More filters
Book ChapterDOI
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces
TL;DR: It is shown that LDF f is able to capture, in the logic itself, not only the constraints to be monitored, but also the de-facto standard RV-LTL monitors, which makes it possible to declaratively capture monitoring metaconstraints.
Proceedings Article
Higher-order description logics for domain metamodeling
TL;DR: An investigation of the computational complexity of satisfiability and conjunctive query answering in DLs extended with higher-order capabilities, based on Henkin-style semantics shows that adding domain metamodeling capabilities to SHIQ has no impact on the complexity of the various reasoning tasks.
Proceedings Article
Projection Using Regression and Sensors
TL;DR: This paper characterize conditions on action theories, sequences of actions, and sensing information that are sufficient to guarantee that regression can be used, and presents a provably correct regressionbased procedure in Prolog for performing the task.
Proceedings Article
Situation calculus-based programs for representing and reasoning about game structures
TL;DR: A logical framework for specifying these types of problems/games based on the situation calculus and ConGolog is developed, which incorporates game-theoretic path quantifiers as in ATL.
Reasoning on UML Class Diagrams using Description Logic Based Systems
Gunther Gorz,Volker Haarslev,Carsten Lutz,Ralf Möller,Daniela Berardi,Diego Calvanese,Giuseppe De Giacomo,Sebastian Brandt,Anni-Yasmin Turhan,Kerstin Bücher,Yves Forkl,Martin Klarner,Bernd Ludwig,Bertrand de Beuvron,Martina Kullmann,François Rous,Eugenio Di Sciascio,Francesco Maria Donini,Marina Mongiello,G. Piscitelli,Malte Gabsdil,Alexander Koller,Kristina Striegnitz,Javier González-Castillo,David Trastour,Claudio Bartolini,Bo Hu,Ernesto Compatangelo,Inés Arana,Michael Knorr +29 more
TL;DR: The primary focus of this workshop was on applications of description logics, and Ian Horrocks gives a tutorial-style talk about latest developments in description logic research.