Riccardo Rosati (rosati-r)
Beiträge zu 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.
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.
Rosati, Riccardo. 1998. “Minimal Knowledge States in Nonmonotonic Modal Logics.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 173–187. Stanford, California: CSLI Publications.
Rosati, Riccardo. 1999. “Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.” Journal of Logic, Language, and Information 8(2): 187–203.
Rosati, Riccardo. 2000. “On the Decidability and Complexity of Reasoning about Only Knowing.” Artificial Intelligence 116(1–2): 191–215.
Rosati, Riccardo. 2001. “A Sound and Complete Tableau Calculus for Reasoning about Only Knowing and Knowing at Most.” Studia Logica: An International Journal for Symbolic Logic 69(1): 171–191.