Marco Cadoli (cadoli)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo and Schaerf, Marco. 1996. “Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 364–374. San Francisco, California: Morgan Kaufmann Publishers.
Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo and Schaerf, Marco. 1999. “The Size of a revised Knowledge Base.” Artificial Intelligence 115(1): 25–64.
Cadoli, Marco, Donini, Francesco M. and Schaerf, Marco. 1994. “Is Intractability of Non-Monotonic Logic a Real Drawback?” in AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, edited by Barbara Hayes-Roth and Richard E. Korf, pp. 946–951. Menlo Park, California: The AAAI Press.
Cadoli, Marco, Donini, Francesco M. and Schaerf, Marco. 1996. “Is Intractability of Nonmonotonic Reasoning a Real Drawback?” Artificial Intelligence 88(1–2): 215–251.
Cadoli, Marco, Eiter, Thomas and Gottlob, Georg. 1992. “An Efficient Method for Eliminating Varying Predicates from a Circumscription.” Artificial Intelligence 54(3): 397–410.
Cadoli, Marco, Eiter, Thomas and Gottlob, Georg. 1994. “Default Logic as a Query Language.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 99–108. San Francisco, California: Morgan Kaufmann Publishers.
Cadoli, Marco and Scarcello, Francesco. 2000. “Semantical and Computational Aspects of Horn Approximations.” Artificial Intelligence 119(1–2): 1–17.
Cadoli, Marco and Schaerf, Marco. 1992a. “Approximate Reasoning and Non-Omniscient Agents.” in TARK 1992. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference, edited by Yoram Moses, pp. 169–183. San Francisco, California: Morgan Kaufmann Publishers.
Cadoli, Marco and Schaerf, Marco. 1992b. “Approximation in Concept Description Languages.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 330–341. San Francisco, California: Morgan Kaufmann Publishers.
Cadoli, Marco and Schaerf, Marco. 1996. “On the Complexity of Entailment in Propositional Multivalued Logics.” Annals of Mathematics and Artificial Intelligence 18(1): 29–50.