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”.