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
- Abductive explanations
- Expressiveness/tractability trade-offs
Course DatesThis course starts on: 15th April 2013.
|Lecture||Monday||11:45h - 13:15h||AH IV|
|Wednesday||08:15h - 09:45h||AH IV|
|Tutorial||Wednesday||15:15h - 16:45h||AH III|
Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
2003. BibTeX entry
L²P Course Room[Link to the L²P Course Room for this course] Note:
- All materials and announcements relevant for this course will be published in the L²P Course Room.
To login, students have to register for the course via