Daniele Nardi (nardi-d)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Calvanese, Diego, de Giacomo, Giuseppe, Lenzarini, Maurizio, Nardi, Daniele and Rosati, Riccardo. 1998. “Description Logic Framework for Knowledge Integration.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 2–13. 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.
Donini, Francesco M., Massacci, Fabio, Nardi, Daniele and Rosati, Riccardo. 1996. “A Uniform Tableaux Method for Nonmonotonic Modal Logics.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 87–103. Berlin: Springer.
de Giacomo, Giuseppe, Iocchi, Luca, Nardi, Daniele and Rosati, Riccardo. 1996. “Moving a Robot: The KR&R Approach at Work.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 198–209. San Francisco, California: Morgan Kaufmann Publishers.
Iocchi, Luca, Nardi, Daniele and Rosati, Riccardo. 2000. “Planning with Sensing, Concurrency, and Exogenous Events: Logical Framework and Implementation.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 678–689. San Francisco, California: Morgan Kaufmann Publishers.