Solver Construction - Einzelansicht

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

moodle

• Answer Set Solving in Practice by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub
  Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool

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​.

Good knowledge in ASP and/or SAT technology and python and/or C++

Implementation, evaluation, presentation, and documentation

On individual basis

Students interested in high-end programming