You are here: Home Teaching Logics in AI (SS 2018)

Logics in AI (SS 2018)

Organizer: Marco Ragni
Assistants: Lukas Elflein, Nicolas Riesterer


This seminar gives a technical introduction to logics in AI based on the book Human Reasoning and Cognitive Science by Stenning, K., & Van Lambalgen, M. (2012).


Important Dates

  • April 16th, 2018, 15:00 s.t.First meeting and assignment of topics (SR 02-017, Building 52; Technical Faculty)
  • May 23rd-25th, 2018, 09:00-17:00: Blockseminary (SR 00-010/014, Building 101; Technical Faculty)
  • Syllabus


List of Topics

Will be published soon...