Jens Claßen

Jens Claßen

About

I am an associate professor and member of the Programming, Logic and Intelligent Systems research group in the Department of People and Technology at Roskilde University, Denmark.

My research is in Knowledge Representation and Reasoning, a subarea of Artificial Intelligence that studies how an agent's knowledge can be represented symbolically and subsequently manipulated through reasoning algorithms. Among other things, my work is concerned with reasoning about action and change, reasoning about beliefs, planning, agent program verification, synthesis, and machine ethics.

The ß in my last name is a German letter that is roughly pronounced like "ss" (as in pass), and not to be confused with a "b" or the Greek letter beta (β). An alternative spelling is "Classen".

Latest News

 2025-06-06
I am excited to announce that I received a positive tenure evaluation, and have now been appointed as an associate professor. I am deeply grateful for being given this opportunity, and look forward to this next chapter.

 2025-02-18
I am co-author of two papers to be presented at AAAI 2025 next week. Daxin Liu will present our paper on iteratable first-order progression, and Till Hofmann our paper on LTLf synthesis on first-order agent programs.

 2024-11-01
Next week I will be at the Nordic Workshop on Programming Theory, which I co-organized. Till Hofmann and I contributed an abstract on strategy synthesis for first-order agent programs over finite traces, which can be found here.

[all news]

Recent Publications

Sarah Alminde, Asta Breinholt, Jens Classen, Line Jespersgaard Jakobsen, and Simon Herzog:
Student Engagement: Potentials of the Flipped Classroom Approach.
Dansk Universitetspædagogisk Tidsskrift, Volume 20, Number 38, pages 138-153, 2025.
PDFBibTeXDOI

Till Hofmann and Jens Claßen:
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments.
Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025), pages 14976-14986, AAAI Press, 2025.
PDFBibTeXDOICode

Daxin Liu and Jens Claßen:
On Action Theories with Iterable First-Order Progression.
Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025), pages 15041-15048, AAAI Press, 2025.
PDFBibTeXDOI

[all publications]