Publications

Export 166 results:
Sort by: Author Title Type [ Year  (Asc)]
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
Beetz, M., and H. Grosskreutz, "Causal Models of Mobile Service Robot Behavior", Fourth International Conference on AI Planning Systems (AIPS-98), 1998.  Download: Beetz1998Causal.pdf (266.8 KB)
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)
Beetz, M., M. Bennewitz, and H. Grosskreutz, "Probabilistic Prediction-based Schedule Debugging for Autonomous Robot Office Couriers", LNAI, KI-99: Advances in Artificial Intelligence, vol. 1701: Springer, pp. 698--698, 1999.  Download: Beetz1999Probabilistic.pdf (314.04 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
Iwan, G., "Explaining What Went Wrong in Dynamic Domains", Proc. of the 2nd International Cognitive Robotics Workshop at European Conference on Artificial Intelligence (ECAI-00), 2000.
Beetz, M., and H. Grosskreutz, "Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior", Proceedings of the Fifth International Conference on AI Planning Systems (AIPS-2000), 2000.  Download: Beetz2000Probabilistic.pdf (375.53 KB)
Grosskreutz, H., "Probabilistic Projection and Belief Update in the pGOLOG Framework", Proc. of the 2nd International Cognitive Robotics Workshop (CogRob-00) at the European Conference on Artificial Intelligence (ECAI-00), 2000.  Download: grosskreutz2000.pdf (249.45 KB)
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, "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