Maurizio Lenzerini Online DBLP entries are available for Maurizio Lenzerini and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.) Diego Calvanese, Giuseppe de Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291 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 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: An Epistemic Operator for Description Logics. Artificial Intelligence 100(1-2): 225-274 (1998) Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: AL-log: Integrating Datalog and Description Logics. JIIS 10(3): 227-252 (1998) Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. DBPL 1997: 0- Diego Calvanese, Giuseppe de Giacomo, Maurizio Lenzerini: Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. Information and Computation 134(1): 1-58 (1997) Giuseppe de Giacomo, Maurizio Lenzerini: A Uniform Framework for Concept Definitions in Description Logics. JAIR 6: 87-110 (1997) Giuseppe de Giacomo, Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. KR 1996: 316-327 Diego Calvanese, Giuseppe de Giacomo, Maurizio Lenzerini: Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246 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. DKE 17(2): 93-125 (1995) Giuseppe de Giacomo, Maurizio Lenzerini: Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI, Vol. 1 1994: 205-212 Diego Calvanese, Maurizio Lenzerini: On the Interaction Between ISA and Cardinality Constraints. ICDE 1994: 204-213 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. JCSS 48(2): 255-310 (1994) Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: Deduction in Concept Languages: From Subsumption to Instance Checking. Journal of Logic and Computation 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. TKDE 5(3): 439-450 (1993) 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. Artificial Intelligence 53(2-3): 309-327 (1992) Maurizio Lenzerini, Andrea Schaerf: Concept Languages as Query Languages. AAAI, Vol.1 1991: 471-476 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: The Complexity of Concept Languages. KR 1991: 151-162 Maurizio Lenzerini, Andrea Schaerf: Querying Concept-based Knowledge Bases. PDK 1991: 107-123 Marco Cadoli, Maurizio Lenzerini: The Complexity of Closed World Reasoning and Circumscription. AAAI 1990: 550-555 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 entityrelationship schemata. IS 15(4): 453-461 (1990) Giuseppe Di Battista, Maurizio Lenzerini: A Deductive Method for Entity-Relationship Modeling. VLDB 1989: 13-21 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 Disjontness 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. Computing Surveys 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. TSE 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-550 Carlo Batini, Maurizio Lenzerini, Gaetano Santucci: A computer-aided methodology for conceptual data-base design. IS 7(3): 265-280 (1982) Paolo Atzeni, Carlo Batini, Maurizio Lenzerini, F. Villanelli: INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model. ER 1981: 375-410 DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).