Publications

Export 102 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Lakemeyer, Gerhard  [Clear All Filters]
1994
Lakemeyer, G., "Limited Reasoning in first-order knowledge bases", Artificial Intelligence, vol. 71, pp. 1--42, 1994.  Download: lakemeyer1994.pdf (377.78 KB)
1995
Halpern, J. Y., and G. Lakemeyer, "Levesque's axiomatization of only knowing is incomplete", Artificial Intelligence, vol. 74, no. 2, pp. 381--387, 1995.  Download: halpern1995.pdf (147.74 KB)
1996
Lakemeyer, G., "Limited Reasoning in first-order knowledge bases with full introspection", Artificial Intelligence, vol. 84, pp. 209--255, 1996.  Download: lakemeyer1996_2.pdf (428.47 KB)
Lakemeyer, G., "Only knowing in the situation calculus", Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-96), 1996.  Download: lakemeyer1996.pdf (216.25 KB)
1998
Burgard, W., A. B. Cremers, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun, "The Interactive Museum Tour-Guide Robot", Proceedings of the National Conference on Artificial Intelligence (AAAI-98), pp. 11-18, 1998.  Download: burgard1998.pdf (518.96 KB)
Lakemeyer, G., and H. J. Levesque, "AOL: a logic of acting, sensing, knowing, and only knowing", Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 1998.  Download: lakemeyer1998.pdf (148.61 KB)
1999
Lakemeyer, G., "On Sensing and Offline-Interpreting in Golog", Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter, Berlin, Springer, pp. 173--187, 1999.  Download: lakemeyer1999_2.pdf (225.19 KB)
Lakemeyer, G., and Levesque, "Query Evaluation and Progression in AOL Knowledge Bases", International Joint Conference on Artificial Intelligence (IJCAI-99), 1999.  Download: lakemeyer1999.pdf (147.47 KB)
2000
Dylla, F., and G. Lakemeyer, "A Speech Interface for a Mobile Robot controlled by GOLOG", Proc. of the 2nd International Cognitive Robotics Workshop (CogRob-00) at the European Conference on Artificial Intelligence (ECAI-00), 2000.  Download: Dylla2000A.pdf (236.37 KB)
Grosskreutz, H., and G. Lakemeyer, "Towards more realistic logic-based robot controllers in the GOLOG framework", Themenheft "Autonome mobile Systeme" der Zeitschrift KI, vol. 4, 2000.  Download: Grosskreutz2000Towards.pdf (100.3 KB)
Grosskreutz, H., and G. Lakemeyer, "Turning High-Level Plans into Robot Programs in Uncertain Domains", ECAI-00, 2000.  Download: grosskreutz2000_4.pdf (132.29 KB)
Grosskreutz, H., and G. Lakemeyer, "cc-Golog: Towards More Realistic Logic-Based Robot Controllers", Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR-00), 2000.  Download: grosskreutz2000_2.pdf (257.47 KB)
Grosskreutz, H., and G. Lakemeyer, "cc-Golog: Towards More Realistic Logic-Based Robot Controllers", Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence (AAAI-00): AAAI Press, 2000.  Download: grosskreutz2000_3.pdf (144.51 KB)
2001
Levesque, and G. Lakemeyer, The Logic of Knowledge Bases, : MIT Press, 2001.
Grosskreutz, H., and G. Lakemeyer, "Belief Update in the pGOLOG Framework", KI 2001: Advances in Artificial Intelligence, pp. 213--228, 2001.  Download: grosskreutz2001_2.pdf (164.24 KB)
Gans, G., M. Jarke, S. Kethers, and G. Lakemeyer, "Modeling the Impact of Trust and Distrust in Agent Networks", AOIS-01 at CAiSE-01, 2001.  Download: Gans2001Modeling.pdf (602.69 KB)
Halpern, and G. Lakemeyer, "Multi-Agent Only Knowing", Journal of Logic and Computation, 2001.  Download: halpern2001.pdf (345.75 KB)
Grosskreutz, H., and G. Lakemeyer, "On-Line Execution of cc-Golog Plans", Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), vol. 1, 2001.  Download: grosskreutz2001.pdf (144.56 KB)
Gans, G., M. Jarke, S. Kethers, G. Lakemeyer, L. Ellrich, C. Funken, and M. Meister, "Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach", RE-01, 2001.  Download: Gans2001Requirements.pdf (1.3 MB)
Gans, G., M. Jarke, S. Kethers, G. Lakemeyer, L. Ellrich, C. Funken, and M. Meister, "Towards (Dis)Trust-Based Simulations of Agent Networks", Workshop at Agents-01, 2001.  Download: Gans2001Towards.pdf (555.84 KB)
2002
Dylla, F., A. Ferrein, and G. Lakemeyer, "Acting and Deliberating using Golog in Robotic Soccer -- A Hybrid Architecture", 3rd International Cognitive Robotics Workshop (CogRob02): AAAI Press, 2002.  Download: Dylla2002Acting.pdf (172.66 KB)
Lakemeyer, G., and H. J. Levesque, "Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases", International Conference Principles of Knowledge Representation and Reasoning (KR-02), pp. 73--81, 2002.  Download: lakemeyer2002.pdf (142.29 KB)
Iwan, G., and G. Lakemeyer, "What Observations Really Tell Us", 3rd International Cognitive Robotics Workshop (CogRob02) at AAAI-02, 2002.
Gans, G., M. Jarke, G. Lakemeyer, and T. Vits, "SNet}: A Modeling and Simulation Environment for Agent Networks Based on i* and {ConGolog", CAiSE02, Canada, Toronto, Springer, pp. 328--343, May, 2002.  Download: Gans2002SNet.pdf (415.8 KB)
2003
Gans, G., M. Jarke, G. Lakemeyer, and D. Schmitz, "Deliberation in a Modeling and Simulation Environment for Inter-Organizational Networks", CAISE2003, 2003.  Download: Gans2003Deliberation.pdf (322.03 KB)