After successful completion of the course, students are able to spoleve concrete tasks in subfields of computational logic. The solution of the tasks may require implementations, experiments or theoretical considerations.
Special topics from the areas of information systems, knowledge representation, deduction, mobile robots, logic programming, program synthesis and many more.
Support in solving the task
Evaluation of the solution
siehe LVA Homepage