![]() ![]() ![]() | ![]() |
|
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Maurizio Lenzerini Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT 2005 : 321-336 Maurizio Lenzerini: Logical Foundations for Data Integration. SOFSEM 2005 : 38-40 Maurizio Lenzerini, Michele Missikoff : Ontologies for Interoperability. CAiSE Workshops (3) 2004 : 100 Maurizio Lenzerini: Principles of P2P Data Integration. DIWeb 2004 : 7-21 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Riccardo Rosati , Guido Vetere : DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Riccardo Rosati , Guido Vetere : Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW 2004 : 144-157 Daniela Berardi , Giuseppe De Giacomo , Maurizio Lenzerini, Massimo Mecella , Diego Calvanese : Synthesis of underspecified composite e -services based on automated reasoning. ICSOC 2004 : 105-114 Maurizio Lenzerini: Quality-aware data Integration in Peer-to-Peer Systems. IQIS 2004 : 1 Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini, Riccardo Rosati : Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004 : 27-34 Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini, Riccardo Rosati : What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004 : 469-478 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Riccardo Rosati : Logical Foundations of Peer-To-Peer Data Integration. PODS 2004 : 241-251 Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini, Riccardo Rosati : Query Reformulation over Ontology-based Peers. SEBD 2004 : 418-425 Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Massimo Mecella : : A Tool for Automatic Composition ofServices Based on Logics of Programs. TES 2004 : 80-94 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Data integration under integrity constraints. Inf. Syst. 29 (2): 147-163 (2004) 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 Alexander Borgida , Maurizio Lenzerini, Riccardo Rosati : Description Logics for Databases. Description Logic Handbook 2003 : 462-484 Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Massimo Mecella : e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 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 Daniela Berardi , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Massimo Mecella : A Foundational Vision of e-Services. WES 2003 : 28-40 Andrea Calì , Domenico Lembo , Maurizio Lenzerini, Riccardo Rosati : Source Integration for Data Warehousing. Multidimensional Databases 2003 : 361-392 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Reasoning on regular path queries. SIGMOD Record 32 (4): 83-92 (2003) Diego Calvanese , Maurizio Lenzerini, Rajeev Motwani : Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings Springer 2002 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 Maurizio Lenzerini: Incompleteness and inconsistency in information integration. Description Logics 2002 Domenico Lembo , Maurizio Lenzerini, Riccardo Rosati : Source inconsistency and incompleteness in data integration. Description Logics 2002 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 Maurizio Lenzerini: Incompleteness and inconsistency in information integration. KRDB 2002 Domenico Lembo , Maurizio Lenzerini, Riccardo Rosati : Source inconsistency and incompleteness in data integration. KRDB 2002 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002 : 359-370 Maurizio Lenzerini: Data Integration: A Theoretical Perspective. PODS 2002 : 233-246 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 Domenico Lembo , Maurizio Lenzerini, Riccardo Rosati : Integrating Inconsistent and Incomplete Data Sources. SEBD 2002 : 299-306 Diego Calvanese , Tiziana Catarci , Maurizio Lenzerini, Giuseppe Santucci : The multilingual thesaurus of LAURIN. SEKE 2002 : 83-90 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) Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Dan Suciu : Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001 Technical University of Aachen (RWTH) 2001 Maurizio Lenzerini: Data Integration Is Harder than You Thought. CoopIS 2001 : 22-26 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 Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Dan Suciu : Preface. KRDB 2001 Maurizio Lenzerini: Data Integration Needs Reasoning. LPNMR 2001 : 54-61 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 Mokrane Bouzeghoub , Maurizio Lenzerini: Introduction to the special issue on data extraction, cleaning, and reconciliation. Inf. Syst. 26 (8): 535-536 (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) Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Dan Suciu : Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB). SIGMOD Record 30 (4): 92-93 (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 Andrea Calì , Diego Calvanese , Maurizio Lenzerini: Semistructured data schemas with expressive constraints. KRDB 2000 : 3-16 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 Andrea Calì , Diego Calvanese , Maurizio Lenzerini: Local constraint in semistructured data schemas. SEBD 2000 : 65-78 Matthias Jarke , Christoph Quix , Diego Calvanese , Maurizio Lenzerini, Enrico Franconi , Spyros Ligoudistianos , Panos Vassiliadis , Yannis Vassiliou : Concept Based Design of Data Warehouses: The DWQ Demonstrators. SIGMOD Conference 2000 : 591 Andrea Schaerf , Marco Cadoli , Maurizio Lenzerini: LOCAL++: A C++ framework for local search algorithms. Softw., Pract. Exper. 30 (3): 233-257 (2000) Patrick Lambrix , Alexander Borgida , Maurizio Lenzerini, Ralf Möller , Peter F. Patel-Schneider : Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999 Description Logics 1999 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 Maurizio Lenzerini: Description Logics and Their Relationships with Databases. ICDT 1999 : 32-38 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 Stefano Trisolini , Maurizio Lenzerini, Daniele Nardi : Data Integration and Warehousing in Telecom Italia. SIGMOD Conference 1999 : 538-539 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 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. (JAIR) 11 : 199-240 (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) 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 , 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 , 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 Maurizio Lenzerini: Description Logics and their Applications. KR 1998 : 652 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998 : 229-263 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 St. De Francisci , Oliver Günther , Hans-Joachim Lenz , Maurizio Lenzerini, Arie Shoshani : OLAP and Data Warehousing in Statistical Databases (Panel). SSDBM 1998 : 167 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Andrea Schaerf : An Epistemic Operator for Description Logics. Artif. Intell. 100 (1-2): 225-274 (1998) Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf : AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10 (3): 227-252 (1998) Maurizio Lenzerini: AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings Springer 1997 Marco Cadoli , Luigi Palopoli , Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. APPIA-GULP-PRODE 1997 : 333-344 Marco Cadoli , Luigi Palopoli , Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. DBPL 1997 : 281-298 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997 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 CoRR cs.AI/9703101 : (1997) Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : The Complexity of Concept Languages. Inf. Comput. 134 (1): 1-58 (1997) Giuseppe De Giacomo , Maurizio Lenzerini: A Uniform Framework for Concept Definitions in Description Logics. J. Artif. Intell. Res. (JAIR) 6 : 87-110 (1997) Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Representing SGML Documents in Description Logics. Description Logics 1996 : 102-106 Giuseppe De Giacomo , Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. Description Logics 1996 : 37-48 Marco Cadoli , Luigi Palopoli , Maurizio Lenzerini: Datalog and Description Logics: Expressive Power - Preliminary Report. Description Logics 1996 : 97-101 Giuseppe De Giacomo , Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. KR 1996 : 316-327 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 Tiziana Catarci , Giovanna D'Angiolini , Maurizio Lenzerini: Conceptual Language for Statistical Data Modeling. Data Knowl. Eng. 17 (2): 93-125 (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 Diego Calvanese , Maurizio Lenzerini: On the Interaction Between ISA and Cardinality Constraints. ICDE 1994 : 204-213 Giuseppe De Giacomo , Maurizio Lenzerini: Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994 : 332-346 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : A Unified Framework for Class-Based Representation Formalisms. KR 1994 : 109-120 Maurizio Lenzerini: Description Logics for Schema Level Reasoning in Databases (Abstract). KRDB 1994 Diego Calvanese , Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994 : 243-254 Marco Cadoli , Maurizio Lenzerini: The Complexity of Propositional Closed World Reasoning and Circumscription. J. Comput. Syst. Sci. 48 (2): 255-310 (1994) Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf : Deduction in Concept Languages: From Subsumption to Instance Checking. J. Log. Comput. 4 (4): 423-452 (1994) Tiziana Catarci , Maurizio Lenzerini: Interschema Knowledge in Cooperative Information Systems. CoopIS 1993 : 55-62 Giuseppe Di Battista , Maurizio Lenzerini: Deductive Entity-Relationship Modeling. IEEE Trans. Knowl. Data Eng. 5 (3): 439-450 (1993) Tiziana Catarci , Maurizio Lenzerini: Representing and Using Interschema Knowledge in Cooperative Information Systems. Int. J. Cooperative Inf. Syst. 2 (4): 375-398 (1993) Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Andrea Schaerf : Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992 : 113-132 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf , Werner Nutt : Adding Epistemic Operators to Concept Languages. KR 1992 : 342-353 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Bernhard Hollunder , Werner Nutt , Alberto Marchetti-Spaccamela : The Complexity of Existential Quantification in Concept Languages. Artif. Intell. 53 (2-3): 309-327 (1992) Maurizio Lenzerini, Andrea Schaerf : Concept Languages as Query Languages. AAAI 1991 : 471-476 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf : A Hybrid System with Datalog and Concept Languages. AI*IA 1991 : 88-97 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : Tractable Concept Languages. Description Logics 1991 : 39-42 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : The Complexity of Concept Languages (Extended Abstract). Description Logics 1991 : 87-90 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : Tractable Concept Languages. IJCAI 1991 : 458-465 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : The Complexity of Concept Languages. KR 1991 : 151-162 Maurizio Lenzerini, Andrea Schaerf : Querying Concept-based Knowledge Bases. PDK 1991 : 107-123 Maurizio Lenzerini: Type data bases with incomplete information. Inf. Sci. 53 (1-2): 61-87 (1991) Marco Cadoli , Maurizio Lenzerini: The Complexity of Closed World Reasoning and Circumscription. AAAI 1990 : 550-555 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi : An Efficient Method for Hybrid Deduction. ECAI 1990 : 246-252 Tiziana Catarci , Giovanna D'Angiolini , Maurizio Lenzerini: Concept Description Language for Statistical Data Modeling. VLDB 1990 : 722-729 Maurizio Lenzerini, Paolo Nobili : On the satisfiability of dependency constraints in entity-relationship schemata. Inf. Syst. 15 (4): 453-461 (1990) Giuseppe Di Battista , Maurizio Lenzerini: A Deductive Method for Entity-Relationship Modeling. VLDB 1989 : 13-21 Maurizio Lenzerini, Daniele Nardi : Belief Revision as Meta-Reasoning. ECAI 1988 : 577-579 Giuseppe Di Battista , Maurizio Lenzerini: Object Modeling Based on Logic. ER 1988 : 207-225 Francesco M. Donini , Maurizio Lenzerini: TermLog: a Logic for Terminological Knowledge. ISMIS 1988 : 408-417 Maurizio Lenzerini: Class Hierarchies and Their Complexity. DBPL 1987 : 43-65 Maurizio Lenzerini: Covering and Disjointness Constraints in Type Networks. ICDE 1987 : 386-393 Maurizio Lenzerini: Formal Treatment of Incomplete Information in Type Data Bases. ISMIS 1987 : 167-174 Maurizio Lenzerini, Paolo Nobili : On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata. VLDB 1987 : 147-154 Carlo Batini , Maurizio Lenzerini, Shamkant B. Navathe : A Comparative Analysis of Methodologies for Database Schema Integration. ACM Comput. Surv. 18 (4): 323-364 (1986) Maurizio Lenzerini: SERM: Semantic Entity-Relationship Model. ER 1985 : 270-278 Carlo Batini , Maurizio Lenzerini: A Methodology for Data Schema Integration in the Entity Relationship Model. IEEE Trans. Software Eng. 10 (6): 650-664 (1984) Carlo Batini , Maurizio Lenzerini: A Methodology for Data Schema Integration in the Entity-Relationship Model. ER 1983 : 413-420 Maurizio Lenzerini, Gaetano Santucci : Cardinality Constraints in the Entity-Relationship Model. ER 1983 : 529-549 Paolo Atzeni , Carlo Batini , Enzo Carboni , Valeria De Antonellis , Maurizio Lenzerini, Fulvio Villanelli , Bruna Zonta : INCOD-DTE: A System for Interative Conceptual Design of Data, Transactions and Events. Methodology and Tools for Data Base Design 1983 : 205-228 Carlo Batini , Maurizio Lenzerini, Marina Moscarini : Views Integration. Methodology and Tools for Data Base Design 1983 : 57-84 Carlo Batini , Maurizio Lenzerini, Gaetano Santucci : A computer-aided methodology for conceptual data-base design. Inf. Syst. 7 (3): 265-280 (1982) Paolo Atzeni , Carlo Batini , Maurizio Lenzerini, Fulvio Villanelli : INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model. ER 1981 : 375-410 1 [ 4 ] 2 [ 1 ] [ 4 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 6 ] [ 7 ] [ 9 ] 4 [ 15 ] [ 17 ] [ 34 ] 5 [ 133 ] [ 136 ] [ 137 ] [ 142 ] [ 148 ] 6 [ 86 ] [ 138 ] 7 [ 101 ] 8 [ 21 ] [ 37 ] [ 51 ] [ 59 ] [ 60 ] [ 87 ] 9 [ 89 ] [ 92 ] [ 108 ] [ 114 ] [ 117 ] [ 118 ] [ 124 ] [ 125 ] [ 129 ] [ 132 ] [ 140 ] [ 141 ] 10 [ 38 ] [ 40 ] [ 42 ] [ 46 ] [ 48 ] [ 53 ] [ 57 ] [ 58 ] [ 65 ] [ 66 ] [ 67 ] [ 69 ] [ 70 ] [ 71 ] [ 72 ] [ 73 ] [ 74 ] [ 75 ] [ 76 ] [ 77 ] [ 79 ] [ 80 ] [ 81 ] [ 82 ] [ 84 ] [ 85 ] [ 88 ] [ 89 ] [ 90 ] [ 91 ] [ 92 ] [ 93 ] [ 94 ] [ 95 ] [ 96 ] [ 97 ] [ 98 ] [ 100 ] [ 102 ] [ 103 ] [ 104 ] [ 107 ] [ 108 ] [ 109 ] [ 110 ] [ 113 ] [ 114 ] [ 115 ] [ 117 ] [ 118 ] [ 119 ] [ 121 ] [ 124 ] [ 125 ] [ 128 ] [ 129 ] [ 130 ] [ 131 ] [ 133 ] [ 134 ] [ 135 ] [ 136 ] [ 137 ] [ 139 ] [ 140 ] [ 141 ] [ 142 ] [ 143 ] [ 144 ] [ 145 ] [ 148 ] [ 149 ] [ 150 ] [ 154 ] 11 [ 4 ] 12 [ 19 ] [ 33 ] [ 35 ] [ 45 ] [ 115 ] 13 [ 19 ] [ 45 ] 14 [ 139 ] 15 [ 14 ] [ 20 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 30 ] [ 31 ] [ 32 ] [ 36 ] [ 55 ] [ 62 ] [ 63 ] 16 [ 64 ] 17 [ 88 ] 18 [ 41 ] [ 43 ] [ 44 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] [ 53 ] [ 54 ] [ 56 ] [ 57 ] [ 58 ] [ 65 ] [ 66 ] [ 69 ] [ 70 ] [ 71 ] [ 72 ] [ 73 ] [ 74 ] [ 75 ] [ 77 ] [ 79 ] [ 80 ] [ 81 ] [ 82 ] [ 84 ] [ 85 ] [ 90 ] [ 91 ] [ 93 ] [ 94 ] [ 95 ] [ 96 ] [ 97 ] [ 98 ] [ 100 ] [ 102 ] [ 103 ] [ 104 ] [ 107 ] [ 108 ] [ 109 ] [ 110 ] [ 113 ] [ 114 ] [ 117 ] [ 118 ] [ 119 ] [ 121 ] [ 124 ] [ 125 ] [ 128 ] [ 129 ] [ 131 ] [ 133 ] [ 134 ] [ 135 ] [ 136 ] [ 137 ] [ 139 ] [ 140 ] [ 141 ] [ 142 ] [ 143 ] [ 144 ] [ 145 ] [ 146 ] [ 148 ] [ 149 ] [ 150 ] [ 154 ] 19 [ 64 ] 20 [ 30 ] 21 [ 88 ] 22 [ 86 ] 23 [ 116 ] [ 122 ] [ 126 ] [ 132 ] [ 143 ] [ 145 ] [ 146 ] 24 [ 64 ] 25 [ 88 ] 26 [ 30 ] 27 [ 133 ] [ 136 ] [ 137 ] [ 142 ] [ 148 ] 28 [ 152 ] 29 [ 86 ] 30 [ 3 ] 31 [ 130 ] 32 [ 117 ] [ 140 ] 33 [ 16 ] [ 20 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 30 ] [ 31 ] [ 32 ] [ 36 ] [ 40 ] [ 55 ] [ 62 ] [ 63 ] [ 67 ] [ 69 ] [ 71 ] [ 72 ] [ 76 ] [ 78 ] [ 84 ] [ 99 ] [ 100 ] [ 102 ] [ 106 ] [ 112 ] 34 [ 9 ] 35 [ 10 ] [ 18 ] 36 [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 30 ] [ 31 ] [ 32 ] [ 55 ] [ 63 ] [ 99 ] [ 106 ] [ 112 ] 37 [ 51 ] [ 59 ] [ 60 ] 38 [ 86 ] 39 [ 88 ] 40 [ 69 ] [ 71 ] [ 72 ] [ 84 ] [ 100 ] [ 116 ] [ 122 ] [ 126 ] [ 132 ] [ 138 ] [ 139 ] [ 143 ] [ 144 ] [ 145 ] [ 146 ] [ 149 ] [ 150 ] 41 [ 2 ] [ 5 ] 42 [ 115 ] 43 [ 23 ] [ 28 ] [ 29 ] [ 31 ] [ 32 ] [ 36 ] [ 62 ] [ 63 ] [ 87 ] 44 [ 64 ] 45 [ 99 ] [ 106 ] [ 112 ] 46 [ 78 ] 47 [ 77 ] [ 79 ] [ 80 ] [ 90 ] [ 91 ] [ 93 ] [ 94 ] [ 95 ] [ 97 ] [ 110 ] [ 113 ] [ 119 ] [ 131 ] [ 134 ] [ 135 ] [ 154 ] 48 [ 88 ] 49 [ 88 ] 50 [ 117 ] [ 140 ] 51 [ 149 ] [ 150 ] 52 [ 1 ] [ 4 ] 53 [ 4 ] ![]() ©2005 Association for Computing Machinery |