Systems and Solving Techniques for Knowledge Representation

066 011 Double degree programme Computational Logic (Erasmus-Mundus)
066 931 Computational Intelligence
066 937 Software Engineering & Internet Computing
Institute of Information Systems, TU Wien

Lecturer: Marco Maratea

News (up to 02-12-2015)

Slides and exercises

Content of the course

Written (open book) test + class participation

Date and information about the exam

How to contact the lecturer

For further information please contact me by e-mail.