Neuigkeit aus der Forschungsgruppe Computational Logic vom 9. Juli 2026

Kurs über Standpoint Logic auf der ESSAI 2026 von Tim Lyon und Hannes Straß

Tim Lyon und Hannes Straß hielten einen Kurs mit dem Titel „Multi-Perspective Reasoning in Knowledge Representation: An Introduction to Standpoint Logic" auf der ESSAI 2026, der European Summer School on Artificial Intelligence, in Wien.

Standpoint Logic ist ein multimodales Framework für das Schließen mit diversen und potenziell widersprüchlichen Wissensperspektiven, ohne diese in eine einzelne Sichtweise zusammenführen zu müssen. Der Kurs bot eine Einführung in die propositionale und prädikatenlogische Variante der Standpoint Logic, Beweistheorie mittels geschachtelter Sequenzen, Standpoint-Beschreibungslogiken sowie nicht-monotone Standpoint-Logik.

Vorlesungsvideos, Folien und relevante Publikationen sind auf der Kurs-Webseite verfügbar. Weitere Informationen zum Kurs finden sich auf der ESSAI 2026 Programmseite.

Weitere Infos unter: https://sites.google.com/view/essai-26-standpoint-logic/home