[DL] Next Description Logic Seminar by Vladislav Ryzhikov

[Bartosz Bednarczyk]

Dear DL and KR Community Members,

We are happy to announce that the next Description Logic Seminar will take
place on Friday June 19, 2026, at 2pm CEST via Zoom.
Our next speaker is Vladislav Ryzhikov from Birkbeck, University of London
and the topic of the talk is Reverse Engineering and Learning of Temporal
Logic Queries.

Abstract:
In reverse engineering of database queries, one aims to learn a query from
two given sets of examples where answers are supposed to be positive and
negative. The query can then be used to find explanation of the answers and
non-answers, and also as a classifier for new data instances. We start by
formulating a general separation problem in the setting where the queries
are temporal logic formulas, and the data instances are finite sets of
temporal facts. We present a number of examples to motivate the problem. We
present our recently obtained results related to the computational
complexity of computing separating linear temporal logic (LTL) queries.


Zoom link will be provided on our webpage: https://dl.kr.org/seminar/

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/20260530/caf3aa51/attachment.htm>