Jens Claßen; Gerhard Lakemeyer
Tractable First-Order Golog with Disjunctive Knowledge Bases
Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 01/06/2009, Toronto, Canada, (2009)
 Export: Tagged XML BibTex   Download:  CL_TractableGolog.pdf 

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 

Jens Claßen; Viktor Engelmann; Gerhard Lakemeyer; Gabriele Röger
Integrating Golog and Planning: An Empirical Evaluation
Twelfth International Workshop on Nonmonotonic Reasoning, Sydney, Australia, (2008)
 Export: Tagged XML BibTex   Download:  integrating_empirical.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)
 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