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 Research Foundation (DFG).

My research interests include planning, reasoning about actions and change and epistemic logics.

• Jens Claßen, Gabriele Röger, Gerhard Lakemeyer and Bernhard Nebel:
  PLATAS – Integrating Planning and the Action Language Golog.
  In KI – Künstliche Intelligenz, Volume 26, Number 1,
  pages 61-67, Springer, 2012.
  Springerlink PDF Bibtex

• Jens Claßen and Gerhard Lakemeyer:
  On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.
  In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010),
  pages 887-892, IOS Press, 2010.
  PDF Bibtex

• 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),
  pages 27–33, UTSePress, 2009.
  PDF Bibtex

• 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),
  pages 589–599, AAAI Press, 2008.
  PDF Bibtex

• 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),
  UNSW Tech Report UNSW-CSE-TR-0819, pages 10–18, 2008.
  PDF Bibtex

• 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),
  pages 956–961, AAAI Press, 2007.
  PDF Bibtex

• 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),
  pages 1846–1851, AAAI Press, 2007.
  PDF Bibtex

• Patrick Eyerich, Bernhard Nebel, Gerhard Lakemeyer, and Jens Claßen:
  Golog and PDDL: What is the Relative Expressiveness?
  In Proceedings of the 2006 International Symposium on Practical Cognitive Agents and Robots (PCAR 2006),
  pages 93–104, University of Western Australia Press, 2006.
  PDF Bibtex

• 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),
  pages 334–341, Institut für Informatik, TU Clausthal, 2006.
  PDF Bibtex

• 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),
  pages 318–328, AAAI Press, 2006.
  PDF Bibtex

[my publications on the KBSG website]

[a single bibtex file with all my publications]

• SS 2013 - Introduction to Knowledge Representation

• WS 2009/2010 - Introduction to Artificial Intelligence

• SS 2009 - The Logic of Knowledge Bases

• WS 2008/2009 - Introduction to Artificial Intelligence

• SS 2008 - Introduction to Knowledge Representation

• WS 2007/2008 - Introduction to Artificial Intelligence

• SS 2007 - Introduction to Knowledge Representation

• SS 2007 - Rechnerstrukturen

• WS 2006/2007 - Introduction to Artificial Intelligence

• WS 2006/2007 - Anwendungssoftware und Internet

• SS 2006 - Rechnerstrukturen

Seminars

• SS 2013 - Artificial Intelligence (Proseminar)

• SS 2010 - Selected Topics in Specifying Intelligent Agents (Seminar)

• SS 2009 - Foundations of Artificial Intelligence (Seminar)

• SS 2009 - Planning in Artificial Intelligence (Proseminar)

• SS 2008 - Artificial Intelligence (Proseminar)

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

Bachelor/Diploma/Master Theses

Finished

• Diploma Thesis, Martin Liebenberg. Title: Towards Decidable Verification of Non-Terminating Golog Programs
  (finished 04/2013)

• Master's Thesis, Zhu Ziquan. Title: Incorporating Domain-Dependent Knowledge into Golog - An Empirical Evaluation
  (finished 05/2010)

• Bachelor's Thesis, Marius Grysla. Title: Implementation and Evaluation of an ES-based Golog System
  (finished 05/2010)

• Bachelor's 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)

The easiest way to reach me is via eMail: classenkbsgrwth-aachende.

In case you want to use encrypted communication, please use this GPG key of mine.