Snakes – Logic is Everywhere

Raum Foyer

Typ Demo

Studiengang / Lehrstuhl / Firma
Professur für Wissensbasierte Systeme

Präsentator Elisa Böhl

Projektbeteiligte Markus Krötzsch

Website https://iccl.inf.tu-dresden.de

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.