Welcome to D
SIGMOD 2004
PODS 2004
SIGMOD RECOR
CIKM 2004
DASFAA 2004
DBPL 2003
DE-BULLETIN
DEBS 2004
DMKD 2004
DMSN 2004
DOLAP 2004
DPDJ 2004
EDBT 2004
ER 2003
GIS 2004
HDP 2004
HYPERTEXT 20
ICDE 2004
ICDT 2003
JCDL 2004
MDM
MIR 2004
MIS 2004
MMDB 2004
MOBIDE 2003
RIDE 2004
SBBD 2003
SIGIR FORUM
SIGIR 2004
SIGKDD EXPLO
SIGKDD 2004
SSDBM 2004
SSTD 2003
TIME 2004
TODS 2004
VLDB 2004
VLDB Journal
WEBDB 2004
WIDM 2004
XIME-P 2004
Footer

Maurizio Lenzerini

Papers on DiSC'04


Logical Foundations of Peer-To-Peer Data Integration

Publications


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