Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß
From International Center for Computational Logic
News from the research group Computational Logic of July 9, 2026
Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß
Tim Lyon and Hannes Straß held a course entitled "Multi-Perspective Reasoning in Knowledge Representation: An Introduction to Standpoint Logic" at ESSAI 2026, the European Summer School on Artificial Intelligence, in Vienna.
Standpoint Logic is a multi-modal framework for reasoning with diverse and potentially conflicting knowledge perspectives without requiring them to be merged into a single view. The course provided an introduction to the propositional and first-order variants of standpoint logic, proof theory via nested sequents, standpoint description logics, and non-monotonic standpoint logic.
