Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel

Extensive Solver Construction - Einzelansicht

Veranstaltungsart Projekt Veranstaltungsnummer 555111
SWS 8 Semester SoSe 2020
Einrichtung Institut für Informatik und Computational Science   Sprache englisch
Weitere Links potassco
moodle
Belegungsfrist 20.04.2020 - 10.05.2020

Belegung über PULS
Gruppe 1:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Projekt -  bis  wöchentlich am   Prof. Dr. Schaub ,
Obermeier
 
Kurzkommentar

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

Kommentar

In this project, student teams build their own problem solvers (or components thereof) based on modern constraint technology. Foremost this concerns ASP solving technology but equally well that of SAT, PB and related areas.

Literatur
  • 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

    December 2012, 238 pages

Bemerkung

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

Voraussetzungen

Knowledge in answer set programming (and python and/or C++).

Leistungsnachweis

Implementation, evaluation, presentation, and documentation.

Lerninhalte

On individual basis.

Zielgruppe

Students interested in high-end programming.


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2020 , Aktuelles Semester: SoSe 2024