About
I am an assistant 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
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.
2024-07-25
I am excited to attend IJCAI 2024 in Jeju, South Korea next week, where I will present the paper I co-authored with Daxin Liu on first-order progression of non-local-effect action theories.
2024-03-13
Next week, I will participate in the Dagstuhl Seminar on Trustworthy AI.
[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]