| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Giuseppe De Giacomo 77 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Paolo Naggar , Fabio Vernacotola : IBIS: Semantic Data Integration at Work. CAiSE 2003 : 79-94 76 Diego Calvanese , Giuseppe De Giacomo, Moshe Y. Vardi : Decidable Containment of Recursive Queries. ICDT 2003 : 330-345 75 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-based query containment. PODS 2003 : 56-67 74 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Data Integration under Integrity Constraints. CAiSE 2002 : 262-279 73 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002 : 41-60 72 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : On the Expressive Power of Data Integration Systems. ER 2002 : 338-350 71 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002 : 503-513 70 Diego Calvanese , Giuseppe De Giacomo, Moshe Y. Vardi : Reasoning about Actions and Planning in LTL Action Theories. KR 2002 : 593-602 69 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 68 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002 : 359-370 67 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Lossless Regular Views. PODS 2002 : 247-258 66 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002 : 161-168 65 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Paolo Naggar , Fabio Vernacotola : IBIS: Data Integration at Work. SEBD 2002 : 291-298 64 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : On the Role of Integrity Constraints in Data Integration. IEEE Data Engineering Bulletin 25 (3): 39-45 (2002) 63 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. JCSS 64 (3): 443-465 (2002) 62 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001 : 40-61 61 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Ontology of Integration and Integration of Ontologies. Description Logics 2001 60 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. ER 2001 : 270-284 59 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi : Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001 : 1581-1634 58 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001 : 155-160 57 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Data Integration in Data Warehousing. IJCIS 10 (3): 237-271 (2001) 56 Giuseppe De Giacomo, Hector J. Levesque , Sebastian Sardiña : Incremental execution of guarded theories. TOCL 2 (4): 495-525 (2001) 55 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000 : 386-391 54 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : What is Query Rewriting? CIA 2000 : 51-59 53 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Keys for Free in Description Logics. Description Logics 2000 : 79-88 52 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Answering Regular Path Queries Using Views. ICDE 2000 : 389-398 51 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185 50 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : What is View-Based Query Rewriting? KRDB 2000 : 17-27 49 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371 48 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66 47 Giuseppe De Giacomo, Yves Lespérance , Hector J. Levesque : ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121 (1-2): 109-169 (2000) 46 Giuseppe De Giacomo, Fabio Massacci : Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Information and Computation 162 (1-2): 117-137 (2000) 45 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Queries and Constraints on Semi-structured Data. CAiSE 1999 : 434-438 44 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 43 Giuseppe De Giacomo, Moshe Y. Vardi : Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999 : 226-238 42 Giuseppe De Giacomo, Hector J. Levesque : Projection Using Regression and Sensors. IJCAI 1999 : 160-165 41 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999 : 84-89 40 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Answering Queries Using Views in Description Logics. KRDB 1999 : 6-10 39 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204 38 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Path Queries. SEBD 1999 : 213-224 37 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 36 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) 35 Xiao Jun Chen , Giuseppe De Giacomo: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artificial Intelligence 107 (1): 63-98 (1999) 34 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Representing and Reasoning on XML Documents: A Description Logic Approach. Journal of Logic and Computation 9 (3): 295-318 (1999) 33 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). Journal of Logic and Computation 9 (3): 449-456 (1999) 32 Giuseppe De Giacomo, Luca Iocchi , Daniele Nardi , Riccardo Rosati : A Theory and Implementation of Cognitive Mobile Robots. Journal of Logic and Computation 9 (5): 759-785 (1999) 31 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Modeling and Querying Semi-Structured data . Networking and Information Systems 2 (2): 253-273 (1999) 30 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) 29 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998 : 205-210 28 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 27 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 26 Diego Calvanese , Giuseppe De Giacomo, Riccardo Rosati : A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 25 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 24 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998 23 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Description Logic Framework for Information Integration. KR 1998 : 2-13 22 Giuseppe De Giacomo, Raymond Reiter , Mikhail Soutchanski : Execution Monitoring of High-Level Robot Programs. KR 1998 : 453-465 21 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : On the Decidability of Query Containment under Constraints. PODS 1998 : 149-158 20 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Extending Semi-Structured Data. SEBD 1998 : 87-102 19 Giuseppe De Giacomo, Luca Iocchi , Daniele Nardi , Riccardo Rosati : Planning with Sensing for a Mobile Robot. ECP 1997 : 156-168 18 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 17 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Representing and Reasoning on SGML Documents. ISMIS 1997 : 540-549 16 Giuseppe De Giacomo, Maurizio Lenzerini : A Uniform Framework for Concept Definitions in Description Logics. JAIR 6 : 87-110 (1997) 15 Giuseppe De Giacomo, Xiao Jun Chen : Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. AAAI/IAAI, Vol. 1 1996 : 658-663 14 Giuseppe De Giacomo, Fabio Massacci : Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996 : 613-627 13 Giuseppe De Giacomo, Luca Iocchi , Daniele Nardi , Riccardo Rosati : Moving a Robot: The KR&R Approach at Work. KR 1996 : 198-209 12 Giuseppe De Giacomo, Maurizio Lenzerini : TBox and ABox Reasoning in Expressive Description Logics. KR 1996 : 316-327 11 Giuseppe De Giacomo, Paolo Naggar : Conceptual Data Model with Structured Objects for Statistical Database. SSDBM 1996 : 168-175 10 Giuseppe De Giacomo: Intensional Query Answering by Partial Evaluation. JIIS 7 (3): 205-233 (1996) 9 Giuseppe De Giacomo: Eliminating ``Converse'' from Converse PDL. Journal of Logic, Language and Information 5 (2): 193-208 (1996) 8 Giuseppe De Giacomo, Maurizio Lenzerini : PDL-based framework for reasoning about actions. AI*IA 1995 : 103-114 7 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Structured Objects: Modeling and Reasoning. DOOD 1995 : 229-246 6 Giuseppe De Giacomo, Maurizio Lenzerini : What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995 : 801-807 5 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Increasing the Power of Structured Objects. KRDB 1995 4 Giuseppe De Giacomo, Maurizio Lenzerini : Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI 1994 : 205-212 3 Giuseppe De Giacomo, Maurizio Lenzerini : Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994 : 411-415 2 Giuseppe De Giacomo, Maurizio Lenzerini : Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994 : 332-346 1 Giuseppe De Giacomo: Intensional Query Answering: An Application of Partial Evaluation. LOPSTR 1992 : 132-150  DiSC'03 © 2003 Association for Computing Machinery |
