Start

Aktuelles:

»direct link«

IMAP Plugin für Hexlite und Bachelorarbeit fertiggestellt!

Ich bin stolz auf Andreas Schmidt, der seine Bachelorarbeit “Plugin zur Interaktion mit IMAP-Servern durch ACTHEX” und das neue IMAP Plugin für das ACTHEX Fragment im Hexlite Solver fertiggestellt hat. Gratulation!

»direct link«

Hexlite und Non-Ground Abstraktion für Answer Set Programme zur Publikation bei JELIA angenommen!

Zwei Konferenzartikel wo ich Koautor bin wurden zur Publikation bei der European Conference on Logics in Artificial Intelligence (JELIA), 2019, akzeptiert.

  • Der erste Artikel beschreibt den Hexlite Solver: “Peter Schüller. The Hexlite Solver”.
  • Der zweite Artikel handelt von Abstraktionsmethoden für nicht-grundierte Answer Set Programme: “Zeynep G. Saribatur, Peter Schüller, and Thomas Eiter. Abstraction for Non-Ground Answer Set Programs”.

»direct link«

Organisation der Answer Set Programming Challenge

Gemeinsam mit Carmine Dodaro und Christoph Redl organiziere ich die

Answer Set Programming Challenge 2019

die in den nächsten Monaten durchgeführt wird. Die Ergebnisse werden auf der International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019) präsentiert.

Details zu dieser Challenge und was sie von deren Vorgänger-Challenges unterscheidet, habe ich auf der englischen Seite beschrieben.

»direct link«

Neue Homepage

Willkommen auf meiner neuen Homepage!

Die Inhalte der letzten Version der Homepage sind auf den Seiten Science (en) und Projects (en) zu finden (auf Englisch).

Die neue Homepage basiert auf einer adaptierten Wersion des WordPress Di Business Theme und einem selbst entwickelten Feedbacksystem. Ich freue mich auf Feedback!

»direct link«

Answer Set Programming On-Site Competition: 1. Platz!

Als Teil des LWI (Leipzig, Wien, Istanbul) Teams habe ich gemeinsam mit Stefan Ellmauthaler und Christoph Redl den 1. Platz bei der On-Site Answer Set Programming Competition 2017 gewonnen!

http://aspcomp2017.dibris.unige.it/index.php/3rd-asp-modeling-competition