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 

Claßen, Jens; Hu, Yuxiao; Lakemeyer, Gerhard
A Situation-Calculus Semantics for an Expressive Fragment of PDDL
Twenty-Second Conference on Artificial Intelligence (AAAI-07), (2007)  Notes: to appear
 Export: Tagged XML BibTex   Download:  ClassenHuLakemeyer2007PDDL.pdf 

Claßen, Jens; Eyerich, Patrick; Lakemeyer, Gerhard; Nebel, Bernhard
Towards an Integration of Golog and Planning
20th International Joint Conference on Artificial Intelligence (IJCAI-07), (2007)
 Export: Tagged XML BibTex   Download:  ClaEyeLakNeb2007GologPlanning.pdf 

Claßen, Jens; Lakemeyer, Gerhard
A Semantics for ADL as Progression in the Situation Calculus
Proceedings of the 11th Workshop on Nonmonotonic Reasoning, (2006)
 Export: Tagged XML BibTex   Download:  ClaLak06ADLSemantics.pdf 

Claßen, Jens; Lakemeyer, Gerhard
Foundations for Knowledge-Based Programs using ES
10th Conf. on Principles of Knowledge Representation and Reasoning (KR2006), (2006)
 Export: Tagged XML BibTex   Download:  ClassenLakemeyer06Foundations.pdf 

Eyerich, Patrick; Nebel, Bernhard; Lakemeyer, Gerhard; Claßen, Jens
Golog and PDDL: What is the Relative Expressiveness?
Proc. of International Symposium on Practical Cognitive Agents and Robots, Perth, Australia, (2006)
 Export: Tagged XML BibTex   Download:  ENLC06RelExp.pdf