My newest publications at the JELIA Conference are now online and describe the Hexlite Solver [author PDF] and a method for Domain-Abstraction in Answer Set Programming (with Zeynep G Saribatur and Thomas Eiter).
I was interviewed by the renowned newspaper derStandard.at about AI and universal translation: “Star Trek”, Super-KI, Aliens: Wo bleibt der Universalübersetzer?
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!
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 Read more…
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 Read more…
As a member of the LWI (Leipzig, Wien, Istanbul) Team, together with Stefan Ellmauthaler and Christoph Redl we won the 1. place in the On-Site Answer Set Programming Competition 2017! http://aspcomp2017.dibris.unige.it/index.php/3rd-asp-modeling-competition