Hexlite und Non-Ground Abstraktion für Answer Set Programme zur Publikation bei JELIA angenommen!


Zwei Konferenzartikel wo ich Koautor bin wurden zur Publikation bei der European Conference on Logics in Artificial Intelligence (JELIA), 2019, akzeptiert.

  • Der erste Artikel beschreibt den Hexlite Solver: “Peter Schüller. The Hexlite Solver”.
  • Der zweite Artikel handelt von Abstraktionsmethoden für nicht-grundierte Answer Set Programme: “Zeynep G. Saribatur, Peter Schüller, and Thomas Eiter. Abstraction for Non-Ground Answer Set Programs”.