Start

Aktuelles:

Neue Publikation über Hexlite und OWLAPI

Ein neues Plugin für den Hexlite Solver und die HEX Sprache erlaubt es, OWL Ontologien aus HEX Programmen mit einer bidirektionalen OWLAPI Integration zu verwenden. Das heißt, das Answer Set beeinflusst die Ontologie, und die Ontologie beeinflusst Regeln im Answer Set Programm. Die Publikation dazu beschäftigt sich auch mit der Frage, wie Erklärbarkeit (Explainability) in der Logischen Programmierung definiert werden kann.

Publikation “Partial Compilation of ASP Programs” bei der ICLP 2019

Eine weitere Publication die unter meiner Koauthorschaft entstanden ist wurde bei der ICLP Konferenz 2019 akzeptiert und präsentiert, und zwar “Partial Compilation of ASP Programs“- dabei geht es darum, ASP Programme nach C++ zu übersetzen um manche Bedingungen die mit Standardmethoden einen sehr großen Speicherverbrauch hätten effizienter auswerten zu können. Der Artikel wurde publiziert im Journal Theory and Practice of Logic Programming.

Zwei neue Publikationen

Meine neuesten Publikationen auf der JELIA Konferenz sind jetzt online und beschreiben den Hexlite Solver [author PDF] und eine Methode für Domänen-Abstraktion in Answer Set Programming (mit Zeynep G Saribatur und Thomas Eiter).

Interview über KI und Universalübersetzer auf derStandard.at

Hier findet ihr einen Artikel mit einem Interview das Wilhelm Zsolt von derStandard.at mit mir über KI-Übersetzungsmethoden geführt hat! “Star Trek”, Super-KI, Aliens: Wo bleibt der Universalübersetzer?

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!