Knowledge Representation and Reasoning

Welcome to the newly established group headed by Johannes (P.) Wallner, specializing on Knowledge Representation & Reasoning (KRR). 

If you are interested in student topics (e.g., for a Bachelor's or Master's thesis), you can have look at the topics page.

Broadly construed, knowledge representation & reasoning in Artificial Intelligence is concerned with foundational research questions such as how to represent knowledge and how to reason based on knowledge. Our research and teaching focuses on

  • formal studies of prominent logic-based (or related) representations of knowledge, and
  • addressing challenging computational reasoning tasks arising in KRR.

Our research agenda is to further understanding of complex forms of reasoning in knowledge representation, and to bring promising approaches closer to application, by going from theory to practice.

One of our main current areas is computational argumentation. For a general introduction to the topic, you can have a look, e.g., at the Handbook of Formal Argumentation or this article

** New course **: Logic-based Knowledge Representation (winter term).

Below you find recent news (news archive).

Recent News

Presentation at Workshop on Computational Social Choice


Our group presented research work at the Vienna-Graz workshop on Computational Social Choice, located at the University of Graz. One aim of (computational) Social Choice is to study collective decision making and aggregation of different opinions, for instance in the form of studying aspects of voting. 

Invited Talk in Seminar on Structured Argumentation


In the regular seminar (Oberseminar) of the Artificial Intelligence Group (AIG) at FernUnversität Hagen, Johannes Wallner gave an invited talk on structured argumentation titled "Computation in Structured Argumentation: to Instantiate or not to Instantiate?" on December 15th. In this talk we outlined advantages and disadvantages of argument instantiation, i.e., of the process of generating explicit arguments from given knowledge bases.

Fourth International Workshop on Systems and Algorithms for Formal Argumentation

We (co-)organized the fourth International Workshop on Systems and Algorithms for Formal Argumentation, dubbed SAFA, in Cardiff 2022 (September 13th). See also the webpage of the workshop.

New Course: Logic-based Knowledge Representation

We are offering a new course "Logic-based Knowledge Representation" for the first time this winter term. 

In this course we look at prominent logic-based approaches in knowledge representation and reasoning, with a focus on modeling, expressivity, and complexity of reasoning in these approaches. We look at (fragments of) classical logic, non-classical logic, and non-monotonic reasoning.

This course is part of several elective catalogues.

Registration and information can be found in TU Graz Online.

IJCAI organization

We supported the organization of IJCAI-ECAI 2022, this year in Vienna. 

Here we can see location of the conference banquet.

Two papers and a demo accepted to COMMA

Our works "Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation" and "Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation" were accepted to COMMA'22, a conference specialized to computational argumentation in AI. Moreover, a system demo associated to our recent paper to be presented at LPNMR'22 was accepted.

In the first work we look at possiblities of extending and generalizing recent research on strongly accepting subframeworks to more general structured argumentation frameworks, in particular assumption-based argumentation. We investigate conditions under which a generalization is possible.

In the second work we consider algorithmic approaches to a default logic instantiation of assumption-based argumentation, paving the way in particular for more expressive frameworks than were focused on before in terms of system implementations.