Meine neuesten Publikationen auf der JELIA Konferenz sind jetzt online und beschreiben den Hexlite Solver [author PDF] und eine Methode für Domänen-Abstraktion in Answer Set Programming (mit Zeynep G Saribatur und Thomas Eiter).
Meine neuesten Publikationen auf der JELIA Konferenz sind jetzt online und beschreiben den Hexlite Solver [author PDF] und eine Methode für Domänen-Abstraktion in Answer Set Programming (mit Zeynep G Saribatur und Thomas Eiter).