| Code, Nr | Citation |
|---|---|
1 | NIL Maurizio Lenzerini's PublicationsBooks |
2 | NIL Fondamenti della progettazione dei programmi. princìpi, tecniche e loro applicazioni in c++ Città Studi Edizioni di UTET Libreria, Torino, 1997. Paper available on-line . |
3 | NIL Esercizi di progettazione di programmi in c++ Città Studi Edizioni di UTET Libreria, Torino, 1998. Paper available on-line . |
4 | NIL Progetto di programmi in pascal. Città Studi Edizioni, Milano, 1988. 3a edizione. |
5 | NIL Ai*ia 97: Advances in artificial intelligence. proceedings of the 5th congress of the italian association for artificial intelligence |
6 | NIL Inheritance hierarchies in knowledge representation and programming languages Journal Papers |
7 | NIL A comparative analysis of methodologies for database schema integration ACM Computing Surveys , 18(4):323-364, 1986. |
8 | NIL Survey on non-monotonic reasoning 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. |
9 | NIL Reasoning in expressive description logics In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning . Elsevier Science Publishers (North-Holland), Amsterdam, 1998. To appear. |
10 | NIL Conceptual language for statistical data modeling Data and Knowledge Engineering , 17(2):93-125, 1995. |
11 | NIL Representing and using interschema knowledge in cooperative information systems Journal of Intelligent and Cooperative Information Systems , 2(4):375-398, 1993. |
12 | NIL The complexity of propositional closed world reasoning and circumscription Journal of Computer and System Sciences , 48:255-310, 1994. Shorter version in the proceedings of AAAI-90. |
13 | NIL Description logics for conceptual data modeling 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 . |
14 | NIL A uniform framework for concept definitions in description logics Journal of Artificial Intelligence Research , 6:87-110, 1997. |
15 | NIL Deductive entity-relationship modeling IEEE Transactions on Knowledge and Data Engineering , 5(3):439-450, 1993. |
16 | NIL Using terminological reasoning in hybrid systems AI Communications_The European Journal for Artificial Intelligence , 3(3):128-138, 1990. |
17 | NIL Nonmonotonic reasoning Artificial Intelligence Review , 4:163-210, 1990. |
18 | NIL Ragionamento non monotono Rivista di Informatica , XXI(1):5-42, 1991. |
19 | NIL The complexity of existential quantification in concept languages Artificial Intelligence , 53:309-327, 1992. |
20 | NIL Queries, rules and definitions as epistemic sentences in concept languages 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. |
21 | NIL An epistemic operator for description logics Artificial Intelligence , 100(1-2):225-274, 1998. |
22 | NIL The complexity of concept languages Information and Computation , 134:1-58, 1997. |
23 | NIL Deduction in concept languages: From subsumption to instance checking Journal of Logic and Computation , 4(4):423-452, 1994. Revised version of [? ]. |
24 | NIL Reasoning in description logics In Gerhard Brewka, editor, Foundation of Knowledge Representation , pages 191-236. CSLI-Publications, 1996. |
25 | NIL AL-log: integrating datalog and description logics Journal of Intelligent Information Systems , (10):227-252, 1998. |
26 | NIL Careful closure of inheritance networks In M. Lenzerini, D. Nardi, and M. Simi, editors, Inheritance Hierarchies in Knowledge Representation and Programming Languages , pages 97-111. John Wiley & Sons, 1991. |
27 | NIL Type data bases with incomplete information Information Sciences , 53:61-87, 1991. |
28 | NIL On the satisfiability of dependency constraints in entity-relationship schemata Information Systems , 15(4):453-461, 1990. Conference Papers |
29 | NIL Knowledge-based access to the network In Proceedings of WWW5 Workshop on Artificial Intelligence-based tools to help W3 users , 1996. Paper available on-line . |
30 | NIL Knowledge-based access to the web In Proceedings of the Fifth AI*IA Symposium , 1996. Paper available on-line . |
31 | NIL Increasing the power of structured objects In KRDB-95: Reasoning about Structured Objects: Knowledge Representation meets Databases , Bielefeld (Germany), 1995. |
32 | NIL Structured objects: Modeling and resoning 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 . |
33 | NIL Representing SGML documents in Description Logics In Proceedings of the 1996 Description Logic Workshop (DL-96) , 1996. |
34 | NIL Conjunctive query containment in Description Logics with n-ary relations In Proceedings of the 1997 Description Logic Workshop (DL-97) , pages 5-9, 1997. Paper available on-line . |
35 | NIL Representing and reasoning on SGML documents In Proceedings of the Tenth International Symposium on Methodologies for Intelligent Systems (ISMIS-97) , 1997. Paper available on-line . |
36 | NIL On the decidability of query containment under constraints In Proceedings of the Seventeenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS-98) , 1998. Paper available on-line . |
37 | NIL What can knowledge representation do for semi-structured data? In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98) , 1998. Paper available on-line . |
38 | NIL Description logic framework for information integration In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR-98) , 1998. To appear. Paper available on-line . |
39 | NIL Knowledge representation approach to information integration In Proc. of AAAI Workshop on AI and Information Integration , 1998. |
40 | NIL Source integration in data warehousing In Proc. of Workshop on Data Warehouse Design and OLAP Technology (DWDOT-98) , 1998. To appear. Paper available on-line . |
41 | NIL Information integration: Conceptual modeling and reasoning support In Proceedings of the Sixth International Conference on Cooperative Information Systems (CoopIS-98) , 1998. To appear. |
42 | NIL Concept description language for statistical data modeling In Very Large Data Bases, VLDB-90 , 1990. |
43 | NIL The complexity of propositional closed world reasoning and circumscription In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90) , pages 550-555, 1990. |
44 | NIL Making object-oriented schemas more expressive 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 . |
45 | NIL On the interaction between ISA and cardinality constraints 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 . |
46 | NIL A unified framework for class based representation formalisms 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 . |
47 | NIL Datalog and description logics: Expressive power. Preliminary report In Proceedings of the 1996 Description Logic Workshop (DL-96) , pages 97-101, 1996. |
48 | NIL Datalog and description logics: Expressive power 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 . |
49 | NIL Boosting the correspondence between description logics and propositional dynamic logics In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94) , pages 205-212. AAAI-Press/the MIT-Press, 1994. |
50 | NIL Concept language with number restrictions and fixpoints, and its relationship with mu-calculus In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94) , pages 411-415. John Wiley and Sons, 1994. |
51 | NIL Description logics with inverse roles, functional restrictions, and n-ary relations 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. |
52 | NIL On the correspondence between description logics and logics of programs (position paper) In Proceedings of the 1994 Description Logic Workshop (DL-94) , pages 1-4, 1994. |
53 | NIL Enhanced propositional dynamic logic for reasoning about concurrent actions (extended abstract) In Proceedings of AAAI 1995 Spring Symposium on Extending Theories of Action: Formal and Practical Applications , pages 62-67, 1995. |
54 | NIL Making CAT S out of kittens: description logics with aggregates In Proceedings of the 1995 Description Logic Workshop (DL-95) , pages 85-88, 1995. |
55 | NIL PDL-based framework for reasoning about actions 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. |
56 | NIL What's in an aggregate: foundations for description logics with tuples and sets In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95) , pages 801-80762-67, 1995. |
57 | NIL Tbox and abox reasoning in expressive description logics In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96) , pages 316-327. Morgan Kaufmann Publishers, 1996. |
58 | NIL Object-modeling based on logic In Entity-Relatioship Approach, ER-88 , 1988. |
59 | NIL A deductive method for entity-relationship modeling In Very Large Data Bases, VLDB-89 , 1989. |
60 | NIL An efficient method for hybrid deduction In Luigia Carlucci Aiello, editor, 9th European Conference on Artificial Intelligence ECAI-90 , pages 246-252. Pitman, 1990. |
61 | NIL Adding epistemic operators to concept languages 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. |
62 | NIL The complexity of concept languages 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. |
63 | NIL Tractable concept languages In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91) , pages 458-463, Sidney, 1991. Best Paper Award. |
64 | NIL A hybrid system with datalog and concept languages 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 . |
65 | NIL Instance checking is not computationally equivalent to subsumption In Proceedings of the AAAI-92 Workshop on Tractable Reasoning , pages 47-50, 1992. |
66 | NIL Covering and disjointness constraints in type networks In Proceedings of the Third IEEE International Conference on Data Engineering (ICDE-87) , pages 386-393, Los Angeles, 1987. IEEE Computer. |
67 | NIL Concept languages as query languages In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91) , pages 471-476, 1991. |
68 | NIL Querying concept-based knowledge bases In Proceedings of the International Workshop on Processing Declarative Knwoledge (PDK-91) , pages 107-123. Lecture Notes in Artificial Intelligence, Springer-Verlag, 1991. |
69 | NIL Information system analysis: A formal model for the specification of behavioural and structural class properties. In Proceedings of 4th International Conference on Information System Development - ISD94, Bled (Slovenia) , pages 63-72, September 1994. Technical Reports |
70 | NIL Database integration for data warehousing (a survey) Technical Report DWQ-UNIROMA-001, DWQ Consortium, March 1997. |
71 | NIL Source integration in data warehousing Technical Report DWQ-UNIROMA-002, DWQ Consortium, October 1997. Paper available on-line . |
72 | NIL Queries and constraints on semi-structured data Submitted for publication, 1998. |
73 | NIL Formal properties of ISA and cardinality constraints in data modeling Submitted to an international journal, 1996. |
74 | NIL Reasoning on object-oriented schemas for data reeingeneering Technical Report PROGRESS-002, PROGRESS Consortium, July 1997. |
75 | NIL Foundations of class based representation formalisms In preparation, 1996. |
76 | NIL A C++ framework for combinatorial search algorithms Submitted to an International Conference, 1998. |
77 | NIL Deductive entity-relationship modeling 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. |
78 | NIL Converse, local determinism, and graded nondeterminism in propositional dynamic logics Technical Report 11-94, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", June 1994. |
79 | NIL Adding epistemic operators to description logics 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. |
80 | NIL The complexity of concept languages Technical Report RR-95-07, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), 1995. Appeared on Information and Computation. Paper available on-line . |
81 | NIL From subsumption to instance checking 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. |
82 | NIL International workshop on description logics Last update: Thursday, 10-Sep-98 15:20:52 MET DST |