Gerhard Lakemeyer (lakemeyer)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Halpern, Joseph Y. and Lakemeyer, Gerhard. 1995. “Levesque’s Axiomatization of Only Knowing is Incomplete.” Artificial Intelligence 74(2): 381–387.
Halpern, Joseph Y. and Lakemeyer, Gerhard. 1996. “Multi-Agent Only Knowing.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 251–265. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard. 1986. “Steps towards a First-Order Logic of Explicit and Implicit Belief.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 325–340. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Lakemeyer, Gerhard. 1987. “Tractable Meta-Reasoning in Propositional Logics of Belief.” in IJCAI-87. Proceedings of the 10th International Joint Conference on Artificial Intelligence, edited by John McDermott, pp. 402–408. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard. 1992a. “On Perfect Introspection with Quantifying-In.” in TARK 1992. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference, edited by Yoram Moses, pp. 199–213. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard. 1992b. “All You Ever Wanted to Know about Tweety (But Were Afraid to Ask).” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 639–648. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard. 1993. “All They Know: A Study in Autoepistemic Logic.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 376–381. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard. 1994. “Limited Reasoning in First-Order Knowledge Bases.” Artificial Intelligence 71(2): 213–255.
Lakemeyer, Gerhard. 1995a. “A Logical Account of Relevance.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 853–861. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard. 1995b. “Relevance in a Logic of Only Knowing about and Its Axiomatization.” in Knowledge and Belief in Philosophy and Artificial Intelligence, edited by Armin Laux and Heinrich Theodor Wansing, pp. 163–173. Berlin: Akademie Verlag.
Lakemeyer, Gerhard. 1996a. “Only Knowing in the Situation Calculus.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 14–25. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard. 1996b. “Limited Reasoning in First-Order Knowledge Bases with Full Introspection.” Artificial Intelligence 84(1–2): 209–255.
Lakemeyer, Gerhard. 1997. “Relevance from an Epistemic Perspective.” Artificial Intelligence 97(1–2): 137–167.
Lakemeyer, Gerhard and Levesque, Hector J. 1988. “A Tractable Knowledge Representation Service with Full Introspection.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 145–159. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard and Levesque, Hector J. 1998. “\({\cal AOL}\) A Logic of Acting, Sensing, Knowing, and Only Knowing.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 316–327. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard and McIlraith, Sheila A., eds. 2011. Knowing, Reasoning, and Action. Essays in Honour of Hector J. Levesque. Tributes n. 16. London: King’s College Publications.
Lakemeyer, Gerhard and Meyer, Susanne. 1994. “Enhancing the Power of a Decidable First-Order Reasoner.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 403–413. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard and Nebel, Bernhard, eds. 1994. Foundations of Knowledge Representation and Reasoning. Berlin: Springer.