Marco Cadoli (cadoli)
Contributions to 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.