Jens Claßen

Jens Claßen

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.

Previously, I was a postdoctoral researcher at the School of Computing Science at Simon Fraser University in Burnaby, BC, Canada (2019-2021), and at the Knowledge-Based Systems Group at RWTH Aachen University, Germany (2013-2019), where I also acquired my PhD (2013).

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, 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

Till Hofmann and Jens Claßen:
Strategy Synthesis for First-Order Agent Programs over Finite Traces.
In Proceedings of the 35th Nordic Workshop on Programming Theory (NWPT 2024), pages 39-42, 2024.
PDFBibTeX

Till Hofmann and Jens Claßen:
LTLf Synthesis on First-Order Action Theories.
In CoRR, Volume abs/2410.00726, 2024.
PDFBibTeXDOI

Daxin Liu and Jens Claßen:
First-Order Progression beyond Local-Effect and Normal Actions.
In Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), pages 3475-3483, ijcai.org, 2024.
PDFBibTeXDOI

[all publications]