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
SWS Semester SoSe 2024
Einrichtung Institut für Informatik und Computational Science   Sprache englisch
Belegungsfrist 02.04.2024 - 10.05.2024

Belegung über PULS
Gruppe 1:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Projekt Mo 12:00 bis 14:00 wöchentlich 08.04.2024 bis 15.07.2024  2.70.0.09 Laferriere ,
Nemes ,
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

moodle

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 SoSe 2024 , Aktuelles Semester: WiSe 2024/25