Snakes – Logic is Everywhere

Raum Foyer

Typ Demo

Studiengang / Lehrstuhl / Firma
Informatik

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.