Jens Claßen

Jens Claßen

About

Im 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, 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".

News

 2021-12-23
I am excited to announce that starting January, I will join the Department of People and Technology at Roskilde University in Denmark, as member of the research group “Programming, Logic and Intelligent Systems”.

 2021-11-03
I will also be attending the coming virtual #KR2021 conference. The paper I co-authored with James Delgrande on notions of extensional and intensional belief in the presence of nondeterminism and fallible sensing can be found here: [Link]

 2021-11-03
I will be attending the coming (virtual) #NMR2021 workshop, and present the paper I co-authored with James Delgrande on representing temporal contrary-to-duty constraints in situation calculus: [Link]

 2021-10-23
Together with Magdalena Ortiz (@magdalenaosimk), I am co-organizing the Doctoral Consortium at this year's KR conference. A program and more information can be found here: [Link] #KR2021 @KR_conference

 2020-12-24
In the coming Spring term, I will again teach a course as sessional instructor at SFU, namely a section of CMPT 310 - Artificial Intelligence Survey: [Link]

 2020-09-10
I will participate in the virtual KR 2020 conference between Saturday, 12th September and Friday, 18th September (update: our paper and a video of my presentation).

 2019-12-14
In the coming spring term, I will teach my first course as sessional instructor at SFU, namely Section E100 of CMPT 120 - Introduction to Computing Science and Programming I.

 2019-05-02
The code I developed on the verification of GOLOG programs is now available on GitLab (update: as well as on GitHub).

 2019-02-17
On 1st April, I will start a new position at the School of Computing Science at Simon Fraser University in Burnaby, BC, Canada. I am looking forward to working with James Delgrande.

 2018-10-20
I will be at KR 2018 between Saturday, 27th October and Friday, 2nd November.

 2018-10-10
In the coming winter semester, I will again give a lecture on Knowledge Representation and High-Level Control (in German) at FH Aachen, together with Stefan Schiffer.

 2017-11-01
Between Monday, 6th November and Wednesday, 8th November 2017 I will be at Commonsense 2017.

 2017-10-22
I will be giving two courses in the coming winter semester at FH Aachen together with Stefan Schiffer, namely a lecture on Knowledge Representation and High-Level Control and a practical lab on Scientific Writing (both in German).

 2017-09-16
I will be out of office again between Friday, 22nd September and Tuesday, 3rd October 2017 as I will be attending FroCoS. However, I will still mostly be reachable by e-mail, probably with delay.

 2017-05-03
Between Monday, 5th June and Friday, 9th June 2017 I will be at the Dagstuhl Seminar on Epistemic Planning.

 2016-08-25
I will be out of office again between Monday, 29th August and Friday, 16th September 2016 as I will be at ECAI 2016 and on vacation afterwards. I will be reachable by e-mail during that time (but maybe with some delay).

 2016-02-04
As I will be at AAAI 2016 I will be out of office between Thursday, 11th February and Friday, 19th February 2016.
However, I will be reachable by e-mail during that time.