Intendierte Lernergebnisse
Students learn theoretical and practical concepts of computational logic for knowledge representation and reasoning
Lehrmethodik
Lectures, exercises and practical project tasks
Inhalt/e
Classical logic, automated reasoning and logic programming