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

  • Funktionen:
  • Zur Zeit keine Belegung möglich
Veranstaltungsart Projekt Veranstaltungsnummer 555111
SWS 8 Semester WiSe 2022/23
Einrichtung Institut für Informatik und Computational Science   Sprache englisch
Belegungsfrist 04.10.2022 - 10.11.2022   
Gruppe 1:
     Zur Zeit keine Belegung möglich
    Tag Zeit Rhythmus Dauer Raum Lehrperson fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
Projekt Mo 08:00 bis 10:00 wöchentlich 24.10.2022 bis 06.02.2023  2.70.0.08 Laferriere ,
Nemes ,
Romero Davila ,
Prof. Dr. Schaub ,
Tignon
19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
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
Die Veranstaltung wurde 6 mal im Vorlesungsverzeichnis WiSe 2022/23 gefunden:
Vorlesungsverzeichnis
Humanwissenschaftliche Fakultät
Department Linguistik
Master of Science
Cognitive Systems: Language, Learning and Reasoning (Prüfungsversion ab WiSe 2014/15)
Project Seminar
PM3 - Project in Computational Intelligence  - - - 1 offens Buch
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Bachelor of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
B.SK.ICS - Berufsfeldspezifische Kompetenzen (fachintegrativ)
INF-6020 - Praktikum  - - - 2 offens Buch
Computational Science (Prüfungsversion ab WiSe 2013/14)
Praktikum  - - - 3 offens Buch
Master of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
II. Wissenschaftliches Arbeiten
INF-10010 - Interdisziplinäre Projektarbeit  - - - 4 offens Buch
Computational Science (Prüfungsversion ab WiSe 2013/14)
X. Wissenschaftliches Arbeiten
Interdisziplinäre Projektarbeit  - - - 5 offens Buch
Data Science (Prüfungsversion ab WiSe 2018/19)
Elective Modules - Advanced Module
INF-DSAM11 - Applied Data Science Internship  - - - 6 offens Buch