Category: News


Another publication that I coauthored has been accepted and presented at the ICLP conference 2019 “Partial Compilation of ASP Programs“- it is about compiling ASP programs into C++ source code for more efficient evaluation of constraints that would be huge Read more…


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…


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