Declarative Problem Solving - Einzelansicht

Joint kick-off event for all projects of the professorship Knowledge Processing and Information Systems as announced in course catalogue of the department and the associated moodle page

moodle

In this project, student teams build software systems whose core consists of problem solvers for combinatorial (optimization) problems, like answer set programming

Offline communication is conducted primarily via the associated moodle page.

Announcements are also made through the email list of registered students in puls.

Questions can be address to krprojects@lists.cs.uni-potsdam.de​.krprojects@lists.cs.uni-potsdam.de​

Good knowledge in ASP and/or SAT.

Implementation, evaluation, presentation, and documentation

On individual basis

MSc students who want to deepen their practical knowledge in declarative modelling techniques and their application