After successful completion of the course, students are able to use results from some central topics in knowledge representation and reasoning in theory and for practical application. They are prepared to analyze and solve theoretical problems in these areas, as well as to model and solve problems using tools from knowledge representation and reasoning.

Teaching of basic material in traditional frontal lecture  with interaction with the students. Small problems to think between units, and an exercise part in which problems of theoretic nature (analysis of properties) and practical problem solving (e.g. planning, combinatorial problems) is considered. Background literature will be used in that.

Tentative subjects are: belief change, answer set programming and extensions, reasoning about actions and planning; abductive reasoning; intentional forgetting.

basic knowledge in propositional and  predicate logic

besides slides, articles and book chapters / pointers to book(will be provided)

exam assignment  or oral exam (optional)

problems to solve, both of analytic and synthetic nature(derive/calculate answer, modeling and construction)

correctness (soundness and completeness) of the solutions, presentation of the solutions (explanation  / argumentation), concisenesscredits for the exam problems, as a base for the grading (scale will announced)