An announcement of the course can also be found in the course information system CAMPUS.
Contents
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: 11th April 2012.
| Lecture | Monday | 11:45h - 13:15h | AH IV |
|---|---|---|---|
| Wednesday | 8:15h - 09:45h | AH IV | |
| Tutorial | Wednesday | 15:15h - 16:45h | AH III |
\
Literature
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 at the L²P Course Room.
- To login, students have to register for the course via Campus Office.