[ 536KNRR19 ] Subject Knowledge Representation and Reasoning

Workload Mode of examination Education level Study areas Responsible person Coordinating university
13,5 ECTS Accumulative subject examination B1 - Bachelor's programme 1. year Computer Science Sepp Hochreiter Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Artificial Intelligence 2019W
Objectives Logical modelling and reasoning are important techniques of classical AI. This subject provides core expertise in logic split into a hands-on introductory course on logic, followed by an introduction to modelling state-based systems with automata and related techniques, including temporal logic. An overview on classical concepts in computational logic with focus on AI completes the subject.
Subject The contents of this subject result from the contents of its courses.
Subordinated subjects, modules and lectures