Hexlite and Non-Ground Abstraction for Answer Set Programs accepted at JELIA!

Two papers where I am coauthor have been accepted at the European Conference on Logics in Artificial Intelligence (JELIA), 2019.

  • The first one about the Hexlite Solver solver “Peter Schüller. The Hexlite Solver”.
  • The second one about abstraction methods for Non-Ground Answer Set Programs: “Zeynep G. Saribatur, Peter Schüller, and Thomas Eiter. Abstraction for Non-Ground Answer Set Programs”.