Projektdetails
Studiengang / Lehrstuhl / Firma Informatik
Autor / Vortragende Elisa Böhl
Projektbetreuer Sarah Gaggl
Webseite https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation
Snakes – Logic is Everywhere
Snakes und Logikprogrammierung, passt das zusammen? Im Grunde ist Snakes ein anspruchsvolles, kombinatorisches Problem, welches sich mit Logikprogrammierung effizient lösen lässt. Wir erklären, wie Answer Set Programming (ASP) mit seiner deklarativen Natur ideal ist, um solche Probleme zu modellieren und Lösungen zu finden. Spiele bei uns eine Runde Snakes und diskutiere mit uns über Lösungsstrategien, Implementierungsansätze und Logikprogrammierung.
Ansprechpartner
OUTPUT CONTACT
Silvia KappluschRaum: APB / 1014
Telefon: (49) 351 463 38465
E-Mail: silvia.kapplusch@tu-dresden.de
OUTPUT LIVE
Franziska HannßRaum: APB / 2069
Telefon: (49) 351 463 39186
E-Mail: franziska.hannss@tu-dresden.de
OUTPUT App
Thomas SpringerRaum: APB / 3084
Telefon: (49) 351 463 43532
E-Mail: thomas.springer@tu-dresden.de
