[DL] Next Description Logic Seminar: Sebastian Rudolph, on January 9
Quentin Maniere
quentin.maniere at uni-leipzig.de
Thu Dec 18 09:41:08 CET 2025
Dear DL and KR Community Members,
we are happy to announce that the next Description Logic Seminar will
take place on JANUARY 9, 2026, AT 2PM via Zoom.
Our next speaker is SEBASTIAN RUDOLPH from TU DRESDEN and the topic of
the talk is "MULTIPERSPECTIVE REASONING IN KR FORMALISMS VIA
STANDPOINT LOGIC".
/Abstract:/
The importance of taking individual, potentially conflicting
perspectives into account when dealing with knowledge has been widely
recognised. Many existing knowledge management approaches fully merge
knowledge perspectives, which may require weakening in order to
maintain consistency; others represent the distinct views in an
entirely detached way. This talk presents an alternative, referred to
as Standpoint Logic, a simple, yet versatile multi-modal logic
“add-on” for existing logical languages – including Description Logics
– intended for the integrated representation of domain knowledge
relative to diverse standpoints, which can be hierarchically
organised, combined, and put in relation with each other. My talk will
introduce the general logical framework of Standpoint Logic and
discuss variations which differ in expressivity and computational
complexity of automated reasoning.
/Zoom link:/
https://uni-leipzig.zoom-x.de/j/63645079392?pwd=9JNid7wUcGBmCdtIqjBctNC9jUwBAb.1
See you there!
Bartosz Bednarczyk, Elena Botoeva, Maurice Funk, and Quentin Manière.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20251218/a74510f1/attachment.htm>
More information about the dl
mailing list