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

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.