Gerhard Lakemeyer
· 10 obras en el catálogo
Obras
Decidable reasoning in first-order knowledge bases with perfect introspection
1990

KI 2002

Foundations of knowledge representation and reasoning

Exploring artificial intelligence in the new millennium

RoboCup 2006: Robot Soccer World Cup X
