p> Das ausgezeichnete Paper beschreibt Nemo – ein Toolkit für regelbasiertes Schließen, welches besonderen Fokus auf Skalierbarkeit, Vielseitigkeit und Benutzerfreundlichkeit legt. Nemo erweitert die bekannte Regel- und Abfragesprache Datalog um zahlreiche nützliche Features wie Aggregate, existentielle Regeln und die Unterstützung zahlreicher Datentypen. Weitere Informationen und eine vollständige Dokumentation sind hier verfügbar. Die Entwicklung von Nemo ist eng mit den Forschungsprojekten CPEC, InnoSale und SECAI verbunden.

Die International Conference on Principles of Knowledge Representation and Reasoning (KR) ist eine wichtige Fachkonferenz im Bereich der Künstlichen Intelligenz. Sie beschäftigt sich mit der Frage, wie Wissen in symbolischer Form dargestellt und mit Hilfe von Computersystemen verarbeitet werden kann. Dies ermöglicht es intelligenten Systemen, komplexe Schlüsse zu ziehen, welche aber gleichzeitig für den Menschen nachvollziehbar bleiben. Der „KR in the Wild“-Track wurde in diesem Jahr erstmals eingeführt und richtete den Fokus auf die Entwicklung von regelbasierten Schließsystemen sowie deren praxisnahe Anwendungen.