Lecture - Introduction to Knowledge Representation SS 2020

Sunday, Mar 29, 2020


The course introduces techniques for knowledge representation and reasoning. The topics covered are:

  • First-order logic
  • Expressing knowledge
  • Full clausal logic
  • Horn logic
  • Procedural representations
  • Answer set programming
  • Production systems
  • Description logics
  • Inheritance networks
  • Defaults
  • Action
  • Planning
  • Abductive explanations
  • Expressiveness/tractability trade-offs

Course Dates

starting Monday, April 20, 2020
Lecture Mondays 08:30h - 10:00h AH II
Thursdays 08:30h - 10:00h AH II
Tutorial Wednesdays 14:30h - 16:00h AH II
Exam 1 TBA
Exam 2 TBA


Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.


You can find further information in the RWTHMoodle Course Room


Please contant Tarik Viehmann for further questions.