| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Giuseppe De Giacomo Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Data integration under integrity constraints. Inf. Syst. 29 (2): 147-163 (2004) Diego Calvanese , Giuseppe De Giacomo, Enrico Franconi : Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 Description Logics 2003 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Paolo Naggar , Fabio Vernacotola : IBIS: Semantic Data Integration at Work. CAiSE 2003 : 79-94 Diego Calvanese , Elio Damaggio , Giuseppe De Giacomo, Maurizio Lenzerini , Riccardo Rosati : Semantic Data Integration in P2P Systems. DBISP2P 2003 : 77-90 Diego Calvanese , Giuseppe De Giacomo: Expressive Description Logics. Description Logic Handbook 2003 : 178-218 Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo: Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003 Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Massimo Mecella : e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 Diego Calvanese , Giuseppe De Giacomo, Moshe Y. Vardi : Decidable Containment of Recursive Queries. ICDT 2003 : 330-345 Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Massimo Mecella : Automatic Composition of E-services That Export Their Behavior. ICSOC 2003 : 43-58 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-based query containment. PODS 2003 : 56-67 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Query Containment Using Views. SEBD 2003 : 467-474 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Reasoning on regular path queries. SIGMOD Record 32 (4): 83-92 (2003) Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Data Integration under Integrity Constraints. CAiSE 2002 : 262-279 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002 : 41-60 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : On the Expressive Power of Data Integration Systems. ER 2002 : 338-350 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002 : 503-513 Diego Calvanese , Giuseppe De Giacomo, Moshe Y. Vardi : Reasoning about Actions and Planning in LTL Action Theories. KR 2002 : 593-602 Giuseppe De Giacomo, Yves Lespérance , Hector J. Levesque , Sebastian Sardiña : On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR 2002 : 603-614 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002 : 359-370 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Lossless Regular Views. PODS 2002 : 247-258 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002 : 161-168 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Paolo Naggar , Fabio Vernacotola : IBIS: Data Integration at Work. SEBD 2002 : 291-298 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : On the Role of Integrity Constraints in Data Integration. IEEE Data Eng. Bull. 25 (3): 39-45 (2002) Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64 (3): 443-465 (2002) Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001 : 40-61 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Ontology of Integration and Integration of Ontologies. Description Logics 2001 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. ER 2001 : 270-284 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001 : 155-160 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : A Framework for Ontology Integration. SWWS 2001 : 303-316 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : A Framework for Ontology Integration. The Emerging Semantic Web 2001 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi : Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001 : 1581-1634 Giuseppe De Giacomo, Hector J. Levesque , Sebastian Sardiña : Incremental execution of guarded theories. ACM Trans. Comput. Log. 2 (4): 495-525 (2001) Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10 (3): 237-271 (2001) Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000 : 386-391 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : What is Query Rewriting? CIA 2000 : 51-59 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Keys for Free in Description Logics. Description Logics 2000 : 79-88 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Answering Regular Path Queries Using Views. ICDE 2000 : 389-398 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : What is View-Based Query Rewriting? KRDB 2000 : 17-27 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66 Giuseppe De Giacomo, Yves Lespérance , Hector J. Levesque : ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121 (1-2): 109-169 (2000) Giuseppe De Giacomo, Fabio Massacci : Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Inf. Comput. 162 (1-2): 117-137 (2000) Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Queries and Constraints on Semi-structured Data. CAiSE 1999 : 434-438 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999 : 16 Giuseppe De Giacomo, Moshe Y. Vardi : Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999 : 226-238 Giuseppe De Giacomo, Hector J. Levesque : Projection Using Regression and Sensors. IJCAI 1999 : 160-165 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999 : 84-89 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Answering Queries Using Views in Description Logics. KRDB 1999 : 6-10 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Path Queries. SEBD 1999 : 213-224 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999 : 73-78 Giuseppe De Giacomo, Marie desJardins , Dolores Cañamero , Glenn S. Wasson , Michael L. Littman , Gerard Allwein , Kim Marriott , Bernd Meyer , Barbara Webb , Tom Con : The AAAI Fall Symposia. AI Magazine 20 (3): 87-89 (1999) Xiao Jun Chen , Giuseppe De Giacomo: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artif. Intell. 107 (1): 63-98 (1999) Giuseppe De Giacomo, Riccardo Rosati : Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3 (C): 1-18 (1999) Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9 (3): 295-318 (1999) Enrico Franconi , Giuseppe De Giacomo, Ian Horrocks , Deborah L. McGuinness , Werner Nutt , Peter F. Patel-Schneider , Christopher A. Welty : Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9 (3): 449-456 (1999) Giuseppe De Giacomo, Luca Iocchi , Daniele Nardi , Riccardo Rosati : A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. 9 (5): 759-785 (1999) Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Modeling and Querying Semi-Structured data . Networking and Information Systems 2 (2): 253-273 (1999) Diego Calvanese , Giuseppe De Giacomo, Riccardo Rosati : Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Networking and Information Systems 2 (4): 413-432 (1999) Enrico Franconi , Giuseppe De Giacomo, Robert M. MacGregor , Werner Nutt , Christopher A. Welty : Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998 Description Logics 1998 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998 : 205-210 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 Diego Calvanese , Giuseppe De Giacomo, Riccardo Rosati : A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Description Logic Framework for Information Integration. KR 1998 : 2-13 Giuseppe De Giacomo, Raymond Reiter , Mikhail Soutchanski : Execution Monitoring of High-Level Robot Programs. KR 1998 : 453-465 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : On the Decidability of Query Containment under Constraints. PODS 1998 : 149-158 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Extending Semi-Structured Data. SEBD 1998 : 87-102 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997 Giuseppe De Giacomo, Luca Iocchi , Daniele Nardi , Riccardo Rosati : Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997 Giuseppe De Giacomo, Luca Iocchi , Daniele Nardi , Riccardo Rosati : Planning with Sensing for a Mobile Robot. ECP 1997 : 156-168 Giuseppe De Giacomo, Yves Lespérance , Hector J. Levesque : Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI 1997 : 1221-1226 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Representing and Reasoning on SGML Documents. ISMIS 1997 : 540-549 Giuseppe De Giacomo, Maurizio Lenzerini : A Uniform Framework for Concept Definitions in Description Logics. JAIR 6 : 87-110 (1997) Giuseppe De Giacomo, Xiao Jun Chen : Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. AAAI/IAAI, Vol. 1 1996 : 658-663 Giuseppe De Giacomo, Fabio Massacci : Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996 : 613-627 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Representing SGML Documents in Description Logics. Description Logics 1996 : 102-106 Giuseppe De Giacomo, Francesco M. Donini , Fabio Massacci : Exptime Tableaux for ALC. Description Logics 1996 : 107-110 Giuseppe De Giacomo, Maurizio Lenzerini : TBox and ABox Reasoning in Expressive Description Logics. Description Logics 1996 : 37-48 Giuseppe De Giacomo, Luca Iocchi , Daniele Nardi , Riccardo Rosati : Moving a Robot: The KR&R Approach at Work. KR 1996 : 198-209 Giuseppe De Giacomo, Maurizio Lenzerini : TBox and ABox Reasoning in Expressive Description Logics. KR 1996 : 316-327 Giuseppe De Giacomo, Paolo Naggar : Conceptual Data Model with Structured Objects for Statistical Database. SSDBM 1996 : 168-175 Giuseppe De Giacomo: Intensional Query Answering by Partial Evaluation. J. Intell. Inf. Syst. 7 (3): 205-233 (1996) Giuseppe De Giacomo: Eliminating ``Converse'' from Converse PDL. Journal of Logic, Language and Information 5 (2): 193-208 (1996) Giuseppe De Giacomo, Maurizio Lenzerini : PDL-based framework for reasoning about actions. AI*IA 1995 : 103-114 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Structured Objects: Modeling and Reasoning. DOOD 1995 : 229-246 Giuseppe De Giacomo, Maurizio Lenzerini : What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995 : 801-807 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Increasing the Power of Structured Objects. KRDB 1995 Giuseppe De Giacomo, Maurizio Lenzerini : Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI 1994 : 205-212 Giuseppe De Giacomo, Maurizio Lenzerini : Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994 : 411-415 Giuseppe De Giacomo, Maurizio Lenzerini : Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994 : 332-346 Giuseppe De Giacomo: Intensional Query Answering: An Application of Partial Evaluation. LOPSTR 1992 : 132-150 1 [ 42 ] 2 [ 86 ] [ 88 ] [ 89 ] 3 [ 68 ] [ 72 ] [ 73 ] [ 74 ] [ 79 ] [ 80 ] [ 82 ] [ 92 ] [ 94 ] 4 [ 5 ] [ 7 ] [ 16 ] [ 20 ] [ 24 ] [ 25 ] [ 26 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 32 ] [ 33 ] [ 35 ] [ 36 ] [ 39 ] [ 43 ] [ 44 ] [ 45 ] [ 46 ] [ 47 ] [ 50 ] [ 51 ] [ 54 ] [ 55 ] [ 56 ] [ 57 ] [ 58 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 64 ] [ 65 ] [ 66 ] [ 67 ] [ 68 ] [ 69 ] [ 70 ] [ 71 ] [ 72 ] [ 73 ] [ 74 ] [ 75 ] [ 76 ] [ 78 ] [ 79 ] [ 80 ] [ 81 ] [ 82 ] [ 83 ] [ 84 ] [ 85 ] [ 86 ] [ 87 ] [ 88 ] [ 89 ] [ 90 ] [ 91 ] [ 92 ] [ 93 ] [ 94 ] 5 [ 42 ] 6 [ 18 ] [ 41 ] 7 [ 42 ] 8 [ 91 ] 9 [ 15 ] 10 [ 34 ] [ 38 ] [ 93 ] 11 [ 38 ] 12 [ 13 ] [ 22 ] [ 23 ] [ 37 ] 13 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 12 ] [ 14 ] [ 16 ] [ 19 ] [ 20 ] [ 24 ] [ 25 ] [ 26 ] [ 28 ] [ 29 ] [ 31 ] [ 32 ] [ 33 ] [ 36 ] [ 39 ] [ 43 ] [ 44 ] [ 45 ] [ 46 ] [ 47 ] [ 50 ] [ 51 ] [ 54 ] [ 55 ] [ 56 ] [ 57 ] [ 58 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 64 ] [ 65 ] [ 66 ] [ 67 ] [ 68 ] [ 69 ] [ 70 ] [ 71 ] [ 72 ] [ 73 ] [ 74 ] [ 75 ] [ 76 ] [ 79 ] [ 80 ] [ 81 ] [ 82 ] [ 83 ] [ 84 ] [ 85 ] [ 86 ] [ 88 ] [ 91 ] [ 92 ] [ 94 ] 14 [ 21 ] [ 53 ] [ 77 ] 15 [ 21 ] [ 48 ] [ 53 ] [ 63 ] [ 77 ] 16 [ 42 ] 17 [ 34 ] 18 [ 42 ] 19 [ 15 ] [ 17 ] [ 52 ] 20 [ 38 ] 21 [ 86 ] [ 88 ] 22 [ 42 ] 23 [ 11 ] [ 73 ] [ 92 ] 24 [ 13 ] [ 22 ] [ 23 ] [ 28 ] [ 31 ] [ 32 ] [ 37 ] [ 50 ] [ 62 ] [ 64 ] 25 [ 34 ] [ 38 ] 26 [ 38 ] 27 [ 27 ] 28 [ 13 ] [ 22 ] [ 23 ] [ 28 ] [ 30 ] [ 31 ] [ 32 ] [ 35 ] [ 37 ] [ 40 ] [ 50 ] [ 62 ] [ 91 ] 29 [ 63 ] [ 77 ] 30 [ 27 ] 31 [ 43 ] [ 44 ] [ 45 ] [ 49 ] [ 54 ] [ 55 ] [ 56 ] [ 57 ] [ 58 ] [ 60 ] [ 70 ] [ 71 ] [ 75 ] [ 78 ] [ 83 ] [ 84 ] [ 85 ] [ 87 ] 32 [ 73 ] [ 92 ] 33 [ 42 ] 34 [ 42 ] 35 [ 34 ] [ 38 ] 36 [ 42 ]  ©2004 Association for Computing Machinery |
