Seminar Rule-Based Paradigms in KR

From International Center for Computational Logic

Seminar Rule-Based Paradigms in KR

Course with SWS 0/2/0 (lecture/exercise/practical) in WS 2021



The field of knowledge representation and reasoning (KRR) addresses how to represent, manipulate, and generate knowledge by accommodating a plethora of various paradigms. One basic principle follows the rule-based approach. There knowledge as well as additionally inferable knowledge is represented by a set of rules. One rule is usually in the form of a simple implication (i.e. A -> B), which intuitively states that "If the premise holds, the conclusion shall hold too".

This Seminar will be focused on different rule-based paradigms which has been investigated, applied, and has been relevant in the recent decades. The main topics will be

  • Datalog
  • Answer Set Programming
  • Distributed rule-based reasoning formalisms

We offer a variety of topics, including conceptional and modelling aspects as well as analysis.

The goal of this course is to read, analyse, and understand a given scientific paper and prepare a report as well as a presentation of the topic. Therefore additional skills like basic literature search and the acquisition of knowledge on underlying concepts will be required and trained.

Schedule and Location

Wednesday, DS 5 (14:50 - 16:20), most likely virtually. Please check "Dates and Materials" for further details and links to the virtual rooms. The introductory session will be on Wednesday, October 13th.


Upon interest, we can provide seminar attendees with follow-up research-related tasks that may be later developed into master's or bachelor's theses, and/or publications.


Please, feel free to send me an email or a message at matrix if you have any further questions.

Subscribe to events of this course (icalendar)

Seminar Kickoff Meeting DS5, October 13, 2021 in TBA