Jens Claßen

Personal

Short Bio

• Since July 2005 I am a Ph.D. candidate and research assistant at the Knowledge-based Systems Group.
• I received my Diploma degree of Computer Science in May 2005 from RWTH Aachen University.

I work in the PLATAS project funded by the German Science Foundation (DFG). My research interests include planning, reasoning about actions and change and epistemic logics.

• Jens Claßen and Gerhard Lakemeyer:
  Tractable First-Order Golog with Disjunctive Knowledge Bases.
  In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009),
  Toronto, Canada, 2009.
  [PDF]

• Jens Claßen and Gerhard Lakemeyer:
  A Logic for Non-Terminating Golog Programs.
  In Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008),
  Sydney, Australia, 2008.
  [PDF]

• Jens Claßen, Viktor Engelmann, Gerhard Lakemeyer and Gabriele Röger:
  Integrating Golog and Planning: An Empirical Evaluation.
  In Proceedings of the 12th International Workshop on Nonmonotonic Reasoning (NMR 2008),
  Sydney, Australia, 2008.
  [PDF]

• Jens Claßen, Yuxiao Hu, and Gerhard Lakemeyer:
  A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
  In Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI 2007),
  Vancouver, Canada, 2007.
  [PDF]

• Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, and Bernhard Nebel:
  Towards an Integration of Planning and Golog.
  In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007),
  Hyderabad, India, 2007.
  [PDF]

• Patrick Eyerich, Bernhard Nebel, Jens Claßen, and Gerhard Lakemeyer:
  Golog and PDDL: What is the Relative Expressiveness?
  In Proceedings of the 2006 International Symposium on Practical Cognitive Agents and Robots (PCAR 2006),
  Perth, Australia, 2006.
  [PDF]

• Jens Claßen and Gerhard Lakemeyer:
  A Semantics for ADL as Progression in the Situation Calculus.
  In Proceedings of the 11th Workshop on Nonmonotonic Reasoning (NMR 2006),
  Windermere, England, 2006.
  [PDF]

• Jens Claßen and Gerhard Lakemeyer:
  Foundations for Knowledge-Based Programs using ES.
  In Proceedings of the 10th Conference on Principles of Knowledge Representation and Reasoning (KR 2006),
  Windermere, England, 2006.
  [PDF]

[my publications on the KBSG website]

• WS 2009/2010 - Introduction to Artificial Intelligence (Tutorials)

• SS 2009 - The Logic of Knowledge Bases (Tutorials)

WS 2008/2009 - Introduction to Artificial Intelligence (Tutorials)
• SS 2008 - Introduction to Knowledge Representation (Tutorials)

• WS 2007/2008 - Introduction to Artificial Intelligence (Tutorials)

• SS 2007 - Introduction to Knowledge Representation (Tutorials)

• SS 2007 - Rechnerstrukturen (Tutorials)

• WS 2006/2007 - Introduction to Artificial Intelligence (Tutorials)

• WS 2006/2007 - Anwendungssoftware und Internet (Tutorials)

• SS 2006 - Rechnerstrukturen (Tutorials)

• WS 2005/2006 - Logic-based Knowlegde Representation (Seminar)

Bachelor/Diploma/Master Theses

Current

• Master's Thesis, Zhu Ziquan. Title: Incorporating Domain-Dependent Knowledge into Golog - An Empirical Evaluation

• Bachelor Thesis, Marius Grysla. Title: Implementation and Evaluation of an ES-based Golog System

Finished

• Bachelor Thesis, Bernhard Ern. Title: Implementation and Evaluation of a General Game Player
  (finished 09/2009)

• Diploma Thesis, Jihyoung Han. Title: A Declarative Semantics for a Subset of PDDL with Constraints, Preferences and Derived Predicates
  (finished 02/2009)

• Master's Thesis, Yuxiao Hu. Title: A Declarative Semantics for a Subset of PDDL with Time and Concurrency
  (finished 11/2006)

• Diploma Thesis, Dominique Ziegelmayer. Title: Decision-Theoretic Planning in the Dynamic Logic ES
  (finished 07/2006)

Job Offers

I am currently looking for student helpers for Prolog software development within the Platas project. More information can be found here.

The easiest way to reach me is via eMail: classencsrwth-aachende. In case you want to use encrypted communication, please use this GPG key of mine.