Research output per year
Research output per year
Personal profile
Research
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.
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
Hofmann, T. & Claßen, J., 2025, Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025): Vol. 39 No. 14: AAAI-25 Technical Tracks 14 . Walsh, T., Shah, J. & Kolter, Z. (eds.). AAAI Press, p. 14976-14986 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access -
On Action Theories with Iterable First-Order Progression
Liu, D. & Claßen, J., 2025, Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025): Vol. 39 No. 14: AAAI-25 Technical Tracks 14. Walsh, T., Shah, J. & Kolter, Z. (eds.). AAAI Press, p. 15041-15048 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access -
First-Order Progression beyond Local-Effect and Normal Actions
Liu, D. & Claßen, J., 2 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (ed.). IJCAI Organization, p. 3475-3483 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
Hofmann, T. & Claßen, J., 2024, ArXiv.org - Cornell University.Research output: Working paper › Preprint
Open AccessFile -
Strategy Synthesis for First-Order Agent Programs over Finite Traces
Hofmann, T. & Claßen, J., 6 Nov 2024, 35th Nordic Workshop on Programming Theory (NWPT): Extended abstracts. Thomsen, M. K., Kirkeby, M. H. & Henglein, F. (eds.). Københavns Universitet, p. 39-42 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
File
Activities
-
7th World Logic Day - DTU Compute Talks
Classen, J. (Speaker)
15 Jan 2025Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
33rd International Joint Conference on Artificial Intelligence
Classen, J. (Participant)
3 Aug 2024 → 9 Aug 2024Activity: Participating in or organising an event › Organisation and participation in conference
-
22nd International Workshop on Nonmonotonic Reasoning (Event)
Classen, J. (Member)
20 Jul 2024 → 4 Nov 2024Activity: Membership › Membership in committee, council, board
-
Logic & AI - AlgoLoG Seminar at DTU Compute
Classen, J. (Speaker)
31 May 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
21st International Conference on the Principles of Knowledge Representation and Reasoning (Event)
Classen, J. (Member)
15 May 2024 → 8 Nov 2024Activity: Membership › Membership in committee, council, board
Datasets
-
vergo 0.1.1
Claßen, J. (Creator) & Hofmann, T. (Creator), Zenodo, 19 Jan 2025
DOI: 10.5281/zenodo.14690219, https://zenodo.org/records/14690219
Dataset