| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Giuseppe De Giacomo 62 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Data Integration under Integrity Constraints. CAiSE 2002 : 262-279 61 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002 : 41-60 60 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002 : 503-513 59 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Lossless Regular Views. PODS 2002 : 247-258 58 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. JCSS 64 (3): 443-465 (2002) 57 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Ontology of Integration and Integration of Ontologies. Description Logics 2001 56 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. ER 2001 : 270-284 55 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi : Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001 : 1581-1634 54 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001 : 155-160 53 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Data Integration in Data Warehousing. IJCIS 10 (3): 237-271 (2001) 52 Giuseppe De Giacomo, Hector J. Levesque , Sebastian Sardiña : Incremental execution of guarded theories. TOCL 2 (4): 495-525 (2001) 51 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000 : 386-391 50 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : What is Query Rewriting? CIA 2000 : 51-59 49 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Keys for Free in Description Logics. Description Logics 2000 : 79-88 48 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Answering Regular Path Queries Using Views. ICDE 2000 : 389-398 47 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185 46 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : What is View-Based Query Rewriting? KRDB 2000 : 17-27 45 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371 44 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66 43 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) 42 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) 41 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Queries and Constraints on Semi-structured Data. CAiSE 1999 : 434-438 40 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 39 Giuseppe De Giacomo, Moshe Y. Vardi : Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999 : 226-238 38 Giuseppe De Giacomo, Hector J. Levesque : Projection Using Regression and Sensors. IJCAI 1999 : 160-165 37 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999 : 84-89 36 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Answering Queries Using Views in Description Logics. KRDB 1999 : 6-10 35 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204 34 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Path Queries. SEBD 1999 : 213-224 33 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 32 Xiao Jun Chen , Giuseppe De Giacomo: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artificial Intelligence 107 (1): 63-98 (1999) 31 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) 30 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) 29 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) 28 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : Modeling and Querying Semi-Structured data . Networking and Information Systems 2 (2): 253-273 (1999) 27 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) 26 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini : What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998 : 205-210 25 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 24 Diego Calvanese , Giuseppe De Giacomo, Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 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'02 © 2003 Association for Computing Machinery |
