Maurizio Lenzerini (lenzerini)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Calvanese, Diego, de Giacomo, Giuseppe, Lenzerini, Maurizio and Vardi, Moshe Y. 2000. “Containment of Conjunctive Regular Path Queries with Inverse.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 176–185. San Francisco, California: Morgan Kaufmann Publishers.
Calvanese, Marco, Lenzerini, Maurizio and Nardi, Daniele. 1994. “A Unified Framework for Class-Based Representation Formalisms.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 109–120. San Francisco, California: Morgan Kaufmann Publishers.
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele, Hollunder, Bernhard, Nutt, Werner and Spaccamela, Alberto. 1992. “The Complexity of Existential Quantification in Concept Languages.” Artificial Intelligence 53(2–3): 309–327.
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Nutt, Werner. 1991. “The Complexity of Concept Languages.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 151–162. San Francisco, California: Morgan Kaufmann Publishers.
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele, Nutt, Werner and Schaerf, Andrea. 1998. “An Epistemic Operator for Description Logics.” Artificial Intelligence 100(1–2): 225–274.
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Schaerf, Andrea. 1992. “Adding Epistemic Operators to Concept Languages.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 342–353. San Francisco, California: Morgan Kaufmann Publishers.
Donini, Francesco M., Lenzerini, Maurizio, Nardi, Daniele and Schaerf, Andrea. 1996. “Reasoning in Description Logics.” in Principles of Knowledge Representation, edited by Gerhard Brewka, pp. 191–236. Stanford, California: CSLI Publications.
de Giacomo, Giuseppe and Lenzerini, Maurizio. 1994. “Description Logics with Inverse Roles, Functional Restrictions, and n-ary Relations.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 332–346. Lecture Notes in Computer Science. Berlin: Springer.
de Giacomo, Giuseppe and Lenzerini, Maurizio. 1995. “What’s in an Aggregate: Foundations for Description Logics with Tuples and Sets.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 801–807. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe and Lenzerini, Maurizio. 1996. “TBox and ABox Reasoning in Expressive Description Logics.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 316–327. San Francisco, California: Morgan Kaufmann Publishers.
Lenzerini, Maurizio. 1998. “Description Logics and Their Applications (Abstract).” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 652. San Francisco, California: Morgan Kaufmann Publishers.