Federated Logic Conference 2026

DL TALK AUTHOR INDEX

Shortcuts: A B C D F G H I J K L M P R S T V

PROGRAM | AUTHORS

A
Adamo, Greta	(DL) Temporal Extensions
Alrabbaa, Christian	(DL) Poster & Demo Announcements (DL) Explanations
Álvarez, Lucía Gómez	(DL) Conflicts and Exceptions
Alviano, Mario	(DL) Poster Announcements
Arpasi, Janos	(DL) All about DL-Lite
B
Baimuratov, Ildar	(DL) Poster & Demo Announcements
Barile, Roberto	(DL) Explanations
Bednarczyk, Bartosz	(DL) “To infinity and beyond!” (DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
Bienvenu, Meghyn	(DL) Conflicts and Exceptions (DL) All about DL-Lite
Boborová, Janka	(DL) Poster & Demo Announcements
Borgwardt, Stefan	(DL) Invited Speaker: Stefan Borgwardt (DL) Explanations (DL) Temporal Extensions (DL) All about DL-Lite
C
Casini, Giovanni	(DL) Conflicts and Exceptions
Cima, Gianluca	(DL) Poster Announcements
D
Dalmonte, Tiziano	(DL) Conflicts and Exceptions
F
Federico, Giuseppe	(DL) Explanations
Fiuk, Oskar	(DL) “To infinity and beyond!”
Funk, Maurice	(DL) Learning
G
Gnatenko, Anton	(DL) Temporal Extensions
Gortworst, Bente	(DL) Learning
H
Haak, Anselm	(DL) Explanations
Hassan, Momen	(DL) DL in Practice
Henne, Michał	(DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
I
Ibanez-Garcia, Yazmin	(DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
J
Jobanputra, Mayank	(DL) Explanations
Jung, Jean	(DL) Invited Speaker: Jean Christoph Jung
Jung, Jean Christoph	(DL) Learning
K
Knorr, Matthias	(DL) Invited Speaker: Jean Christoph Jung
Koopmann, Patrick	(DL) DL in Practice
Kovtunova, Alisa	(DL) Poster & Demo Announcements (DL) Poster Announcements
L
Lanti, Davide	(DL) All about DL-Lite
Larroque, Lucas	(DL) “To infinity and beyond!”
Longato, Alessandro	(DL) Poster & Demo Announcements
Lourenço, Bruno F.	(DL) Poster Announcements
M
Mazzullo, Andrea	(DL) Temporal Extensions
Meyer, Thomas	(DL) Invited Speaker: Tommie Meyer
P
Pano, Albulen	(DL) DL in Practice
Peñaloza, Rafael	(DL) Learning
Petrolo, Mattia	(DL) Poster Announcements
Potyka, Nico	(DL) Invited Speaker: Tommie Meyer
R
Rudolph, Sebastian	(DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
S
Sertkaya, Barış	(DL) Invited Speaker: Stefan Borgwardt
Sieve, Riccardo	(DL) Poster Announcements
T
Toman, David	(DL) Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
Tóthová, Michaela	(DL) Poster & Demo Announcements
V
Varzinczak, Ivan	(DL) Conflicts and Exceptions