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

Solver Construction - Einzelansicht

Veranstaltungsart Projekt Veranstaltungsnummer 555111
SWS 8 Semester SoSe 2022
Einrichtung Institut für Informatik und Computational Science   Sprache englisch
Belegungsfrist 01.04.2022 - 10.05.2022

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 25.04.2022 bis 25.07.2022  2.70.0.10 Laferriere ,
Romero Davila ,
Prof. Dr. Schaub ,
Tignon
 
  Bemerkung: Nach Absprache
Kurzkommentar

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

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

Good knowledge in ASP and/or SAT technology 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 2022 , Aktuelles Semester: SoSe 2024