Maurizio Lenzerini's Publications

Books

Fondamenti della progettazione dei programmi. princìpi, tecniche e loro applicazioni in c++: Marco Cadoli, Maurizio Lenzerini, Paolo Naggar, and Andrea Schaerf
Città Studi Edizioni di UTET Libreria, Torino, 1997. Paper available on-line .
Esercizi di progettazione di programmi in c++: Marco Cadoli, Maurizio Lenzerini, Emanuele Panizzi, and Andrea Schaerf
Città Studi Edizioni di UTET Libreria, Torino, 1998. Paper available on-line .
Progetto di programmi in pascal.: Maurizio Lenzerini and Paolo Atzeni
Città Studi Edizioni, Milano, 1988. 3a edizione.
Ai*ia 97: Advances in artificial intelligence. proceedings of the 5th congress of the italian association for artificial intelligence: Maurizio Lenzerini, editor Number 1321 in Lecture Notes In Artificial Intelligence. Springer-Verlag, 1997.
Inheritance hierarchies in knowledge representation and programming languages: Maurizio Lenzerini, Daniele Nardi, and Maria Simi, editors John Wiley & Sons, Chichester, 1991.

Journal Papers

A comparative analysis of methodologies for database schema integration: Carlo Batini, Maurizio Lenzerini, and Sham B. Navathe
ACM Computing Surveys , 18(4):323-364, 1986.
Survey on non-monotonic reasoning: Luigia Carlucci Aiello, Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, and Marco Schaerf
In Zbigniew W. Ras and Maria Zemankova, editors, Intelligent Systems: State of the Art and Future Directions , series in Artificial Intelligence, pages 120-151. Elsevier, 1990.
Reasoning in expressive description logics: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi
In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning . Elsevier Science Publishers (North-Holland), Amsterdam, 1998. To appear.
Conceptual language for statistical data modeling: Tiziana Catarci, Giovanna D'Angiolini, and Maurizio Lenzerini
Data and Knowledge Engineering , 17(2):93-125, 1995.
Representing and using interschema knowledge in cooperative information systems: Tiziana Catarci and Maurizio Lenzerini
Journal of Intelligent and Cooperative Information Systems , 2(4):375-398, 1993.
The complexity of propositional closed world reasoning and circumscription: Marco Cadoli and Maurizio Lenzerini
Journal of Computer and System Sciences , 48:255-310, 1994. Shorter version in the proceedings of AAAI-90.
Description logics for conceptual data modeling: Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems , pages 229-264. Kluwer Academic Publisher, 1998. Paper available on-line .
A uniform framework for concept definitions in description logics: Giuseppe De Giacomo and Maurizio Lenzerini
Journal of Artificial Intelligence Research , 6:87-110, 1997.
Deductive entity-relationship modeling: Giuseppe Di Battista and Maurizio Lenzerini
IEEE Transactions on Knowledge and Data Engineering , 5(3):439-450, 1993.
Using terminological reasoning in hybrid systems: Francesco M. Donini, Maurizio Lenzerini, and Daniele Nardi
AI Communications_The European Journal for Artificial Intelligence , 3(3):128-138, 1990.
Nonmonotonic reasoning: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, and Marco Schaerf
Artificial Intelligence Review , 4:163-210, 1990.
Ragionamento non monotono: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, and Marco Schaerf
Rivista di Informatica , XXI(1):5-42, 1991.
The complexity of existential quantification in concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, and Alberto Marchetti Spaccamela
Artificial Intelligence , 53:309-327, 1992.
Queries, rules and definitions as epistemic sentences in concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, and Andrea Schaerf
In Gerhard Lakemeyer and Bernhard Nebel, editors, Theoretical Foundations of Knowledge Representation and Reasoning , number 810 in Lecture Notes In Artificial Intelligence. Springer-Verlag, 1994.
An epistemic operator for description logics: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, and Werner Nutt
Artificial Intelligence , 100(1-2):225-274, 1998.
The complexity of concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
Information and Computation , 134:1-58, 1997.
Deduction in concept languages: From subsumption to instance checking: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
Journal of Logic and Computation , 4(4):423-452, 1994. Revised version of [? ].
Reasoning in description logics: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
In Gerhard Brewka, editor, Foundation of Knowledge Representation , pages 191-236. CSLI-Publications, 1996.
AL-log: integrating datalog and description logics: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
Journal of Intelligent Information Systems , (10):227-252, 1998.
Careful closure of inheritance networks: Maurizio Lenzerini
In M. Lenzerini, D. Nardi, and M. Simi, editors, Inheritance Hierarchies in Knowledge Representation and Programming Languages , pages 97-111. John Wiley & Sons, 1991.
Type data bases with incomplete information: Maurizio Lenzerini
Information Sciences , 53:61-87, 1991.
On the satisfiability of dependency constraints in entity-relationship schemata: Maurizio Lenzerini and Paolo Nobili
Information Systems , 15(4):453-461, 1990.

Conference Papers

Knowledge-based access to the network: Cinzia Barcaroli, Luca Iocchi, Maurizio Lenzerini, and Daniele Nardi
In Proceedings of WWW5 Workshop on Artificial Intelligence-based tools to help W3 users , 1996. Paper available on-line .
Knowledge-based access to the web: Diego Calvanese, Giuseppe De Giacomo, Luca Iocchi, Maurizio Lenzerini, and Daniele Nardi
In Proceedings of the Fifth AI*IA Symposium , 1996. Paper available on-line .
Increasing the power of structured objects: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In KRDB-95: Reasoning about Structured Objects: Knowledge Representation meets Databases , Bielefeld (Germany), 1995.
Structured objects: Modeling and resoning: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases (DOOD-95) , number 1013 in Lecture Notes in Computer Science, pages 229-246, 1995. Paper available on-line .
Representing SGML documents in Description Logics: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the 1996 Description Logic Workshop (DL-96) , 1996.
Conjunctive query containment in Description Logics with n-ary relations: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the 1997 Description Logic Workshop (DL-97) , pages 5-9, 1997. Paper available on-line .
Representing and reasoning on SGML documents: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Tenth International Symposium on Methodologies for Intelligent Systems (ISMIS-97) , 1997. Paper available on-line .
On the decidability of query containment under constraints: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS-98) , 1998. Paper available on-line .
What can knowledge representation do for semi-structured data?: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98) , 1998. Paper available on-line .
Description logic framework for information integration: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR-98) , 1998. To appear. Paper available on-line .
Knowledge representation approach to information integration: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
In Proc. of AAAI Workshop on AI and Information Integration , 1998.
Source integration in data warehousing: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
In Proc. of Workshop on Data Warehouse Design and OLAP Technology (DWDOT-98) , 1998. To appear. Paper available on-line .
Information integration: Conceptual modeling and reasoning support: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
In Proceedings of the Sixth International Conference on Cooperative Information Systems (CoopIS-98) , 1998. To appear.
Concept description language for statistical data modeling: Tiziana Catarci, Giovanna D'Angiolini, and Maurizio Lenzerini
In Very Large Data Bases, VLDB-90 , 1990.
The complexity of propositional closed world reasoning and circumscription: Marco Cadoli and Maurizio Lenzerini
In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90) , pages 550-555, 1990.
Making object-oriented schemas more expressive: Diego Calvanese and Maurizio Lenzerini
In Proceedings of the Thirteenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS-94) , pages 243-254, Minneapolis, 1994. ACM Press and Addison Wesley. Paper available on-line .
On the interaction between ISA and cardinality constraints: Diego Calvanese and Maurizio Lenzerini
In Proceedings of the Tenth IEEE International Conference on Data Engineering (ICDE-94) , pages 204-213. IEEE Computer Society Press, 1994. Paper available on-line .
A unified framework for class based representation formalisms: Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
In J. Doyle, E. Sandewall, and P. Torasso, editors, Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR-94) , pages 109-120, Bonn, 1994. Morgan Kaufmann, Los Altos. Paper available on-line .
Datalog and description logics: Expressive power. Preliminary report: Marco Cadoli, Luigi Palopoli, and Maurizio Lenzerini
In Proceedings of the 1996 Description Logic Workshop (DL-96) , pages 97-101, 1996.
Datalog and description logics: Expressive power: Marco Cadoli, Luigi Palopoli, and Maurizio Lenzerini
In Proceedings of the Sixth International Workshop on Database Programming Languages (DBPL-97) , number 1369 in Lecture Notes in Computer Science. Springer-Verlag, 1998. Paper available on-line .
Boosting the correspondence between description logics and propositional dynamic logics: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) , pages 205-212. AAAI-Press/the MIT-Press, 1994.
Concept language with number restrictions and fixpoints, and its relationship with mu-calculus: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94) , pages 411-415. John Wiley and Sons, 1994.
Description logics with inverse roles, functional restrictions, and n-ary relations: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Fourth European Workshop on Logics in Artificial Intelligence (JELIA-94) , volume 838 of Lecture Notes In Artificial Intelligence , pages 332-346. Springer-Verlag, 1994.
On the correspondence between description logics and logics of programs (position paper): Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the 1994 Description Logic Workshop (DL-94) , pages 1-4, 1994.
Enhanced propositional dynamic logic for reasoning about concurrent actions (extended abstract): Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of AAAI 1995 Spring Symposium on Extending Theories of Action: Formal and Practical Applications , pages 62-67, 1995.
Making CAT S out of kittens: description logics with aggregates: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the 1995 Description Logic Workshop (DL-95) , pages 85-88, 1995.
PDL-based framework for reasoning about actions: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Fourth Conference of the Italian Association for Artificial Intelligence (AI*IA-95) , volume 992 of Lecture Notes In Artificial Intelligence , pages 103-114, 1995.
What's in an aggregate: foundations for description logics with tuples and sets: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95) , pages 801-80762-67, 1995.
Tbox and abox reasoning in expressive description logics: Giuseppe De Giacomo and Maurizio Lenzerini
In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96) , pages 316-327. Morgan Kaufmann Publishers, 1996.
Object-modeling based on logic: Giuseppe Di Battista and Maurizio Lenzerini
In Entity-Relatioship Approach, ER-88 , 1988.
A deductive method for entity-relationship modeling: Giuseppe Di Battista and Maurizio Lenzerini
In Very Large Data Bases, VLDB-89 , 1989.
An efficient method for hybrid deduction: Francesco M. Donini, Maurizio Lenzerini, and Daniele Nardi
In Luigia Carlucci Aiello, editor, 9th European Conference on Artificial Intelligence ECAI-90 , pages 246-252. Pitman, 1990.
Adding epistemic operators to concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, and Werner Nutt
In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of the Third International Conference on the Principles of Knowledge Representation and Reasoning (KR-92) , pages 342-353. Morgan Kaufmann, 1992. Appeared also in the Proceedings of the ECAI Workshop on the Theoretical Foundations of Knowledge Representation and Reasoning.
The complexity of concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
In James Allen, Richard Fikes, and Erik Sandewall, editors, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91) , pages 151-162. Morgan Kaufmann, Los Altos, 1991.
Tractable concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91) , pages 458-463, Sidney, 1991. Best Paper Award.
A hybrid system with datalog and concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
In E. Ardizzone, S. Gaglio, and F. Sorbello, editors, Proceedings of the Second Conference of the Italian Association for Artificial Intelligence (AI*IA-91) , volume LNAI 549, pages 88-97. Springer Verlag, 1991. An extended version appeared also in the Working Notes of the AAAI Fall Symposium "Principles of Hybrid Reasoning", pp. 13-19, 1991. Paper available on-line .
Instance checking is not computationally equivalent to subsumption: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
In Proceedings of the AAAI-92 Workshop on Tractable Reasoning , pages 47-50, 1992.
Covering and disjointness constraints in type networks: Maurizio Lenzerini
In Proceedings of the Third IEEE International Conference on Data Engineering (ICDE-87) , pages 386-393, Los Angeles, 1987. IEEE Computer.
Concept languages as query languages: Maurizio Lenzerini and Andrea Schaerf
In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91) , pages 471-476, 1991.
Querying concept-based knowledge bases: Maurizio Lenzerini and Andrea Schaerf
In Proceedings of the International Workshop on Processing Declarative Knwoledge (PDK-91) , pages 107-123. Lecture Notes in Artificial Intelligence, Springer-Verlag, 1991.
Information system analysis: A formal model for the specification of behavioural and structural class properties.: Giovanni Rumolo and Maurizio Lenzerini
In Proceedings of 4th International Conference on Information System Development - ISD94, Bled (Slovenia) , pages 63-72, September 1994.

Technical Reports

Database integration for data warehousing (a survey): Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
Technical Report DWQ-UNIROMA-001, DWQ Consortium, March 1997.
Source integration in data warehousing: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati
Technical Report DWQ-UNIROMA-002, DWQ Consortium, October 1997. Paper available on-line .
Queries and constraints on semi-structured data: Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
Submitted for publication, 1998.
Formal properties of ISA and cardinality constraints in data modeling: Diego Calvanese and Maurizio Lenzerini
Submitted to an international journal, 1996.
Reasoning on object-oriented schemas for data reeingeneering: Diego Calvanese and Maurizio Lenzerini
Technical Report PROGRESS-002, PROGRESS Consortium, July 1997.
Foundations of class based representation formalisms: Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi
In preparation, 1996.
A C++ framework for combinatorial search algorithms: Marco Cadoli, Maurizio Lenzerini, and Andrea Schaerf
Submitted to an International Conference, 1998.
Deductive entity-relationship modeling: Giuseppe Di Battista and Maurizio Lenzerini
Technical Report RAP.01.90, Università di Roma La Sapienza, Dipartimento di Informatica e Sistemistica, September 1990. To appear in IEEE Transactions on Knowledge and Data Engineering.
Converse, local determinism, and graded nondeterminism in propositional dynamic logics: Giuseppe De Giacomo and Maurizio Lenzerini
Technical Report 11-94, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", June 1994.
Adding epistemic operators to description logics: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, and Werner Nutt
Technical Report 16-96, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1996. A modified version has been accepted for publication Artificial Intelligence.
The complexity of concept languages: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt
Technical Report RR-95-07, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), 1995. Appeared on Information and Computation. Paper available on-line .
From subsumption to instance checking: Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf
Technical Report RAP.15.92, Università di Roma La Sapienza, Dipartimento di Informatica e Sistemistica, September 1992. Appeared in the Journal of Logic and Computation.
International workshop on description logics: Technical Report 07.95, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", May 1995. Rome, June 2-3, 1995.

Last update: Thursday, 10-Sep-98 15:20:52 MET DST