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

Declarative Problem Solving - Einzelansicht

Veranstaltungsart Projekt Veranstaltungsnummer 555111
SWS 8 Semester WiSe 2020/21
Einrichtung Institut für Informatik und Computational Science   Sprache englisch
Weitere Links moodle
potassco
Belegungsfrist 19.10.2020 - 30.11.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   Laferriere ,
Romero Davila ,
Prof. Dr. Schaub
 
Kurzkommentar

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

Kommentar

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

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​.krprojects@lists.cs.uni-potsdam.de​

Voraussetzungen

Good knowledge in ASP and/or SAT.

Leistungsnachweis

Implementation, evaluation, presentation, and documentation

Lerninhalte

On individual basis

Zielgruppe

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


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