Knowledge-Based Systems Group
Prof. Gerhard Lakemeyer, Ph.D.
Lecture - Introduction to Knowledge Representation SS 2011
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:
Proseminar Artificial Intelligence SS 2011
An announcement of the course can also be found in the course information system CAMPUS. Content In this proseminar we discuss selected topics from the textbook Stuart Russel, Peter Norvig: Artificial Intelligence - A Modern Approach, 3rd Edition, Prentice Hall, 2010.
Seminar Knowledge Representation and Computational Tractability SS 2011
Knowledge Representation (KR) is a vibrant and exciting field in artificial intelligence. The endeavor rests on two fundamental ideas. First, to reason about the problem domain one must formalize it, perhaps in some logical formalism such as propositional logic or first-order logic.