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 ArticleDOI
Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains.
TL;DR: TFONDs are introduced which are non-Markovian Nondeterministic Fully Observable Planning Domains where conditions on the history are succinctly and declaratively specified using the linear-time temporal logic on finite traces LTLf and its extension LDLf .
Proceedings Article
Verifying ConGolog programs on bounded situation calculus theories
TL;DR: This work reformulates the transition semantics of ConGolog to keep the bindings of "pick variables" into a separate variable environment whose size is naturally bounded by the number of variables.
Book ChapterDOI
Automated Service Composition Based on Behaviors: The Roman Model
TL;DR: This chapter discusses the so-called “Roman model”, in which services are abstracted as transition systems and the objective is to obtain a composite service that preserves a desired interaction, expressed as a (virtual) target service.
Proceedings Article
LTL f and LDL f synthesis under partial observability
TL;DR: It is shown that the usual "belief-state construction" used in planning under partial observability works also for general LTLf/LDLf synthesis, though with a jump in computational complexity from 2EXPTIME to 3EXPTime, and it is proved that the problem remains 2 EXPTIME-complete.