Publications
A
Dylla, Frank; Ferrein, Alexander; Lakemeyer, Gerhard; Murray, Jan; Obst, Oliver; Röfer, Thomas; Schiffer, Stefan; Stolzenburg, Frieder; Visser, Ubbo; Wagner, Thomas
Approaching a formal soccer theory from behaviour specifications in robotic soccer
Computer in Sports, p.161 - 185, (2008)
Export: Tagged XML BibTex
Jens Claßen; Gerhard Lakemeyer
A Logic for Non-Terminating Golog Programs
11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, (2008)
Export: Tagged XML BibTex Download: nonterminating.pdf
B
C
Levesque, Hector; Lakemeyer, Gerhard
Cognitive Robotics
Handbook of Knowledge Representation, (2007)
Notes: to appear
Export: Tagged XML BibTex Download: CogRobKRHandbook.pdf
Gans, Günter; Jarke, Matthias; Kethers, Stefanie; Lakemeyer, Gerhard
Continuous Requirements Management for Organization Networks: A (Dis)Trust-Based Approach
Requirements Engineering Journal, Selected Papers from RE'01, Springer, Feb., Volume 8, Number 1, p.4-22, (2003)
Export: Tagged XML BibTex
D
|