Lecture - Introduction to Knowledge Representation SS 2015

Monday, Jan 12, 2015


Topics covered in the course

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

This course starts on: 13th April 2015.

Lecture Monday 13:15h - 14:45h 5053.2
Tuesday (biweekly) 8:15h - 09:45h AH I
Tutorial Tuesday 15:15h - 16:45h AH I



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

L²P Course Room

Link: https://www3.elearning.rwth-aachen.de/ss15/15ss-49861/


  • All materials and announcements relevant for this course will be published at the L²P Course Room.
  • To login, students have to register for the course via Campus Office.