Automatische Verifikation von Äquivalenzeigenschaften in fortgeschrittenen Logikprogrammen - Bachelorarbeit

Die Arbeit erweitert das Übersetzungstool anthem, um die starke Äquivalenz von Logikprogrammen mit Negation, einfachen Choices und Pools in klassischer Logik ausdrücken und verifizieren zu können.