[DL] Next Description Logic Seminar: Stefan Borgwardt, on March 27

[Maurice Funk]

Dear DL and KR Community Members,

We are happy to announce that the next Description Logic Seminar will take place on March 27, 2026, at 2pm via Zoom.
Our next speaker is Stefan Borgwardt from TU Dresden and the topic of the talk is "Automated Planning with Ontologies".
 
Abstract:
Classical planning employs first-order formulas under closed-world semantics to achieve a goal with a given set of actions from an initial state. To incorporate background knowledge into the planning process, this knowledge can be provided in the form of a description logic ontology. However, DLs use open-world semantics for drawing conclusions, so there is a mismatch in semantics. In this talk, I will report on recent research that aims to combine classical planning with description logics in order to provide more powerful and useful modeling tools for automated planning problems.

Zoom link:
https://uni-leipzig.zoom-x.de/j/64503726398?pwd=ynzbfe8KbRb26rTdPsiWiAnseL7r7M.1
 
See you there!
Bartosz Bednarczyk, Elena Botoeva, Maurice Funk, and Quentin Manière