Searching for authors named "Giuseppe De Giacomo" – sorted by Relevance.
91 documents found, showing 1 through 10.
Next 10 →
-
Reconciling Different Semantics for Concept Definition (Extended Abstract)
- …Reconciling Different Semantics for Concept Definition (Extended Abstract) Giuseppe De Giacomo…
- Add To MetaCart
-
A Note on the Exhaustiveness of SLDNF-Resolution for Normal Programs
- …A NOTE ON THE EXHAUSTIVENESS OF SLDNF-RESOLUTION FOR NORMAL PROGRAMS Giuseppe De Giacomo…
- Add To MetaCart
-
Description Logics: Modal Logics for Class-Based Modeling
- …Description Logics: Modal Logics for Class-Based Modeling Giuseppe De Giacomo Dipartimento di…
- Add To MetaCart
-
Intensional Query Answering by Partial Evaluation
- …, Boston. Manufactured in The Netherlands. Intensional Query Answering by Partial Evaluation GIUSEPPE DE…
- Cited by 5 (0 self) – Add To MetaCart
-
Scaling Up Reasoning About Actions Using Relational Database Technology
- … (www.aaai.org). All rights reserved. Giuseppe De Giacomo and Toni Mancini Dipartimento di Informatica e…
- Cited by 4 (0 self) – Add To MetaCart
-
Decidability of Class-Based Knowledge Representation Formalisms
- … Decidability of Class-Based Knowledge Representation Formalisms Giuseppe De Giacomo PhD Thesis 1995 Author…
- Cited by 56 (8 self) – Add To MetaCart
-
Eliminating "Converse" from Converse PDL
- …Eliminating "Converse" from Converse PDL Giuseppe De Giacomo Dipartimento di Informatica e…
- Cited by 7 (1 self) – Add To MetaCart
-
Reasoning about High-Level Robot Behaviors by Model Checking and Local Validity Tests
- … from the Robot-Tino Project at the University of Rome "La Sapienza" (De Giacomo et al. 1996; 1997…
- Add To MetaCart
-
Progression and Regression Using Sensors
- …Progression and Regression Using Sensors Giuseppe De Giacomo Dipartimento di Informatica e…
- Cited by 6 (3 self) – Add To MetaCart
-
Two Approaches To Efficient Open-World Reasoning
- …Chapter 1 TWO APPROACHES TO EFFICIENT OPEN-WORLD REASONING Giuseppe De Giacomo Dipartimento di…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
