Lecture - Introduction to Knowledge Representation SS 2024

Contents 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 Defaults Abductive explanations Action Planning Expressiveness/tractability trade-offs Course Dates starting April 15, 2024 Lecture Mondays 08:30h - 10:00h AH 3 Tuesdays 08:30h - 10:00h AH 2 Tutorial Wednesdays 14:30h - 16:00h AH 3 Exam 1 26.