 | 2012 |
| 6 |  | Jens Claßen,
Gabriele Röger,
Gerhard Lakemeyer,
Bernhard Nebel:
Platas - Integrating Planning and the Action Language Golog.
KI 26(1): 61-67 (2012) |
| 2010 |
| 5 |  | Jens Claßen,
Gerhard Lakemeyer:
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.
ECAI 2010: 887-892 |
| 2008 |
| 4 |  | Jens Claßen,
Gerhard Lakemeyer:
A Logic for Non-Terminating Golog Programs.
KR 2008: 589-599 |
| 2007 |
| 3 |  | Jens Claßen,
Yuxiao Hu,
Gerhard Lakemeyer:
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
AAAI 2007: 956-961 |
| 2 |  | Jens Claßen,
Patrick Eyerich,
Gerhard Lakemeyer,
Bernhard Nebel:
Towards an Integration of Golog and Planning.
IJCAI 2007: 1846-1851 |
| 2006 |
| 1 |  | Jens Claßen,
Gerhard Lakemeyer:
Foundations for Knowledge-Based Programs using ES.
KR 2006: 318-318 |