Kurt Konolige (konolige)

Contributions to Philosophie.ch

Bibliography

Appelt, Douglas E. and Konolige, Kurt. 1988. “A Practical Nonmonotonic Theory for Reasoning about Speech Acts.” in ACL-88. Proceedings of the 26th Meeting of the Association for Computational Linguistics, edited by Robert C. Berwick, pp. 170–178. Morristown, New Jersey: Association for Computational Linguistics.
Brazdil, Pavel B. and Konolige, Kurt, eds. 1990. Machine Learning, Meta-Reasoning, and Logics. Boston, Massachusetts: Kluwer Academic Publishers.
Brewka, Gerhard, Dix, Jürgen and Konolige, Kurt. 1997. Nonmonotonic Reasoning: An Overview. Stanford, California: CSLI Publications.
Brewka, Gerhard and Konolige, Kurt. 1993. “An Abductive Framework for General Logic Programs and Other Nonmonotonic Systems.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 9–15. San Francisco, California: Morgan Kaufmann Publishers.
Geissler, Christopher and Konolige, Kurt. 1986. “A Resolution Method for Quantified Modal Logics of Knowledge and Belief.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 309–324. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Junker, Ulrich and Konolige, Kurt. 1990. “Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System.” in AAAI-90. Proceedings of the Eighth National Conference on Artificial Intelligence, edited by Thomas G. Dietterich and William R. Swartout, pp. 278–283. Menlo Park, California: The AAAI Press.
de Kleer, Johan and Konolige, Kurt. 1989. “Eliminating the Fixed Predicates from a Circumscription.” Artificial Intelligence 39(3): 391–398.
Konolige, Kurt. 1983. “A Deductive Model of Belief.” 294. Menlo Park, California: SRI International.
Konolige, Kurt. 1986a. A Deduction Model of Belief. San Francisco, California: Morgan Kaufmann Publishers.
Konolige, Kurt. 1986b. “What Awareness Isn’t: A Sentential View of Implicit and Explicit Belief.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 241–250. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Konolige, Kurt. 1986c. “Resolution and Quantified Epistemic Logic.” in CADE-8.Proceedings of the 8th International Conference on Automated Deduction, edited by Jörg H. Siekmann, pp. 199–208. Lecture Notes in Computer Science n. 230. Berlin: Springer.
Konolige, Kurt. 1988a. “Hierarchic Autoepistemic Logic for Nonmonotonic Reasoning.” in AAAI-88. Proceedings of the Seventh National Conference on Artificial Intelligence, edited by Tom M. Mitchell and Reid G. Smith, pp. 439–443. Menlo Park, California: The AAAI Press.
Konolige, Kurt. 1988b. “On the Relation Between Default and Autoepistemic Logic.” Artificial Intelligence 35(3): 343–382. See also erratum, Artificial Intelligence 41(1): 115; also published in Ginsberg (1987, 195–226).
Konolige, Kurt. 1990a. “Intention, Commitment and Preference.” Unpublished manuscript.
Konolige, Kurt. 1990b. “On the Relation between Default Theories and Autoepistemic Logic (Erratum).” Artificial Intelligence 41(1): 115.
Konolige, Kurt. 1990c. “A General Theory of Abduction.” in AAAI-92. Working Notes, AAAI Spring Symposium on Automated Abduction, edited by P. O’Rorke, pp. 62–66. Menlo Park, California: The AAAI Press.
Konolige, Kurt. 1990d. “Explanatory Belief Ascription.” in TARK 1990. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third Conference, edited by Rohit Parikh, pp. 85–96. San Francisco, California: Morgan Kaufmann Publishers.
Konolige, Kurt. 1991. “Quantification in Autoepistemic Logic.” Fundamenta Informaticae 15(3–4): 275–300.
Konolige, Kurt. 1992a. “Using Default and Causal Reasoning in Diagnosis.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 509–520. San Francisco, California: Morgan Kaufmann Publishers.
Konolige, Kurt. 1992b. “Abduction Versus Closure in Causal Theories.” Artificial Intelligence 53(2–3): 255–272.
Konolige, Kurt. 1994a. “Easy to be Hard: Difficult Problems for Greedy Algorithms.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 374–378. San Francisco, California: Morgan Kaufmann Publishers.
Konolige, Kurt. 1994b. “Autoepistemic Logic.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 217–295. Oxford: Oxford University Press.
Konolige, Kurt. 1996a. “What’s Happening? Elements of Commonsense Causation.” in Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning. Proceedings of the Second International Colloquium on Cognitive Science, edited by Andy Clark, Jesús Ezquerro, and Jesús M. Larrazabal, pp. 197–220. Philosophical Studies Series n. 69. Dordrecht: Kluwer Academic Publishers.
Konolige, Kurt. 1996b. “Abductive Theories in Artificial Intelligence.” in Principles of Knowledge Representation, edited by Gerhard Brewka, pp. 129–152. Stanford, California: CSLI Publications.
Konolige, Kurt, Brewka, Gerhard and Dix, Jürgen. 1996. A Tutorial on Nonmonotonic Reasoning. Cambridge: Cambridge University Press.
Konolige, Kurt and Pollack, Martha E. 1993. “A Representationalist Theory of Intention.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Mellish and Perrault (1995, 390–395).
Myers, Karen L. and Konolige, Kurt. 1992. “Reasoning with Analogical Representations.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 189–200. San Francisco, California: Morgan Kaufmann Publishers.
Saffiotti, Alessandro, Konolige, Kurt and Ruspini, Enrique H. 1995. “A Multivalued Logic Approach to Integrating Planning and Control.” Artificial Intelligence 76(1–2): 481–526.

Further References

Ginsberg, Matthew L., ed. 1987. Readings in Nonmonotonic Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
Mellish, Christopher S. and Perrault, C. Raymond, eds. 1995. IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence. San Francisco, California: Morgan Kaufmann Publishers.