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
Proceedings Article
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
TL;DR: A formal definition in the situation calculus of such a programming language is presented and illustrated with a detailed example that differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situations calculus.
Book ChapterDOI
IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents
TL;DR: IndiGolog is arogramming language for autonomous agents that sense their environment and do planning and supports concurrentprogramming and the language, its implementation, and application have been realized with it.
Journal ArticleDOI
Combining deduction and model checking into Tableaux and algorithms for converse-PDL
TL;DR: The correctness and completeness of the calculus is proved and the transformation of the tableaux method (naively NEXPTIME) into an EXPTIME algorithm is discussed.
Journal ArticleDOI
Conjunctive query containment and answering under description logic constraints
TL;DR: In this paper, the problem of query containment and query answering under description logic constraints is studied, and it is shown that the problem is undecidable in the case where inequalities in the right-hand-side query are allowed.
Book ChapterDOI
Description Logics for Information Integration
TL;DR: This chapter illustrates how a logic of the Description Logics family is used to model a mediated schema of an integration system, to specify the semantics of the data sources, and finally to support the query answering process by means of the associated reasoning methods.