IMAP Plugin for Hexlite and BSc thesis completed!

I am proud about Andreas Schmidt, who completed his BSc Thesis “Plugin for Interacting with an IMAP Server from ACTHEX” about the new IMAP Plugin for the ACTHEX Fragement that is implemented in the Hexlite Solver. Congratulations!

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

Chairing the Answer Set Programming Challenge 2019

Together with Carmine Dodaro and Christoph Redl I am one of the organizers of the Answer Set Programming Challenge 2019 which will take place in the following months. The results will be presented at the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019).

This challenge is the successor of the “ASP Competitions” of previous years. We make several important changes to the competition format:

  • Submission of Encoding+Solver to permit participants to use custom solvers and encodings tuned to certain solvers (submitting standard solvers is certainly intended).
  • We call it Challenge, not Competition, to emphasize that we give value to various aspects of solutions. The evaluation will not be based purely on reasoning efficiency.
  • We will use a platform for continuous submission and evaluation of submissions, such that participants can continously see their standing in the competition, not only in the final workshop that will take place at LPNMR.

New Homepage

Welcome to my new homepage!

Most content from the previous version of the homepage can be found on the Science and Projects pages.

The new homepage includes an adapted version of the WordPress Di Business theme and a self-made feedback system. Feel free to use it and give feedback!