[ 536KNRRCOLU19 ] UE Computational Logics for AI

Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B3 - Bachelor's programme 3. year Computer Science Teimuraz Kutsia 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Artificial Intelligence 2021W
Objectives Command of logic-based techniques for knowledge representation and reasoning, which is a fundamental topic in artificial intelligence. The ability to compute with them.
Subject Techniques to represent knowledge and to reason in classical first-order logic (with equality), nonmonotonic logics, and in description logics. Besides acquiring theoretical background, students will also get hands-on experience with some tools and systems.
Criteria for evaluation Tests and exercises
Language English
Changing subject? No
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment