Giuseppe De Giacomo

De Giacomo, Giuseppe
Dipartimento di Ingegneria Informatica, Automatica e Gestionale
Sapienza Universita' di Roma
Via Ariosto 25
00185 Roma, Italy

Tel: +39 06 77274010
Fax: +39 06 77274002

Email: "degiacomo (at) dis.uniroma1.it"
WWW: http://www.dis.uniroma1.it/~degiacomo

Teaching (in Italian)

PhD in Computing Science and Engineering

Research Interests

• Artificial Intelligence and Knowledge Representation & Reasoning
• Description Logics
• Class-based Formalisms
• Data Modeling and Database Design
• Databases and Query Processing
• Information and Data Integration
• Reasoning about Actions
• Cognitive Robotics
• Specification, Verification, and Synthesis
• Logics of Programs, Modal Logics, Fixpoint logics
• Service Composition and Integration
• Artifact-centric to Process Modeling and Reasoning

Papers (on DBLP)

Links

• Computer Science Bibliography (DBPL)
• ACM Digital Library
• Description Logics Homepage
• Reasoning about Actions Page
• Toronto Cognitive Robotics Group
• Mobile Robot Tino
• ESSLLI'98 Workshop on Reasoning about Actions: Foundations and Applications
• 1998 AAAI Fall Symposium on Cognitive Robotics (CogRob'98)
• 2nd Workshop on Cognitive Robotics (CogRob'00)
• 3rd Workshop on Cognitive Robotics (CogRob'02)
• ESSLLI'03 Course on Description Logics for Conceptual Data Modeling in UML
• 2003 International Workshop on Description Logics (DL'03)
• Tutorial @ ICSOC'04: Service Composition
• Tutorial @ WWW'05: Basis for Automatic Service Composition
• Dagstuhl Seminar 2005 on Synthesis and Planning
• Course @ ESSLLI'05: Logic-based Information Integration -- Lecture 1; Lecture 2; see also Riccardo Rosati's home page
• PhD Course @ DIS, Univ. Roma "La Sapienza", September 2005: View-based Query Processing
• Thinking Ontologies (TONES) - EU FET basic research project FP6-7603
• Amir Pnueli: PhD Course @ DIS, Univ. Roma "La Sapienza", June 2006: Temporal Verification and Synthesis of Reactive Systems
• Tutorial @ INFWEST, Tampere, Finland, June 2007: Coordination of Web Services - Models, Methods and Tools
• Bertinoro Workshop on Information Integration, September 2007
• Yves Lesperance & Sebastian Sardina: PhD Course @ DIS, Sapienza Univ. Roma, November 2007: Autonomous Agents and Multiagent Systems
• Gabriele Abermann: ERASMUS Short Course @ Sapienza Univ. Roma, January 2008: Presentation Techniques & Technical English
• Tutorial @ ISWC'08, Karlsruhe, Germany, October 2008: Reasoning for Ontology Engineering and Usage
• Tutorial @ SWAP'08, Rome, Italy, December 2008: Ontology-based Data Integration
• Bertinoro Workshop on Data and Service Integration, March 2009
• Tutorial @ SemanticDays09, Stavanger, Norway, May 2009: Ontology-based Data Integration
• Yves Lesperance & Adrian Pearce: PhD Course @ DIS, Sapienza Univ. Roma, June/July 2009: Reasoning about Action and High-Level Programs
• Terry Heath of IBM Reasearch Short Course @ DIS, Sapienza Univ. Roma, December 2009: Artifact-centric process modeling and execution in SIENA
• My student Riccardo De Masellis won the AI*IA'09 award for the best italian master thesis in AI.
• Artifact-Centric Service Interoperation (ACSI) - EU FP7 ICT-STREP research project 257593
• Hector Geffner: PhD Course @ DIS, Sapienza Univ. Roma, July 2010: Automated Planning
• W. M. Wonham: PhD Course @ DIS, Sapienza Univ. Roma, October 2011: Supervisory Control of Discrete-Event Systems
• Stavros Vassos: PhD Course @ DIS, Sapienza Univ. Roma, May 2012: Introduction to STRIPS Planning and Applications in Video-games
• 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) in Rome, Italy, June 10-14, 2012