Gerhard Lakemeyer
Identifiers
- Open LibraryOL5366389A
Top Subjects
- Artificial intelligence (2)
- Knowledge, Theory of (1)
- Logic, symbolic and mathematical (1)
- Knowledge representation (information theory) (1)
- Expert systems (computer science) (1)
- Soccer (1)
- Robotics (1)
Books by Gerhard Lakemeyer
Total count: 7
-
Decidable reasoning in first-order knowledge bases with perfect introspectionUniversity of Toronto, Computer Science Dept.1990-01-01
-
Logic of Knowledge BasesMIT Press2000-01-01
-
Exploring Artificial Intelligence in the New MillenniumElsevier Science & Technology Books2002-01-01
-
KI 2002 : Advances in Artificial Intelligence25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002. ProceedingsSpringer2003-01-01
-
RoboCup 2006Robot Soccer World Cup XSpringer London, Limited2007-01-01
-
Knowing, Reasoning, and ActingCollege Publications2011-07-04
-
Proceedings of the 19th International Conference on Principles of Knowledge Representation and ReasoningIJCAI2022-01-01