Gerhard Lakemeyer

• Exploring artificial intelligence in the new millennium
• Foundations of knowledge representation and reasoning
• KI 2002
• Logic of Knowledge Bases
• RoboCup 2006: Robot Soccer World Cup X
• Decidable reasoning in first-order knowledge bases with perfect introspection
• KI 2002 : Advances in Artificial Intelligence
• Knowing, Reasoning, and Acting
• Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning
• RoboCup 2006