Federated Logic Conference 2026

B1.03

Sessions

Invited Speaker: Jean Christoph Jung (17 Jul 09:05-10:00) DL
Coffee Break (17 Jul 10:00-10:30) DL
Poster & Demo Announcements (17 Jul 10:30-11:10) DL
DL in Practice (17 Jul 11:20-12:00) DL
Lunch (17 Jul 12:00-13:30) DL
Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions (17 Jul 13:30-14:50) DL
Poster Announcements (17 Jul 15:00-15:20) DL
Learning (17 Jul 15:20-16:00) DL
Coffee Break (17 Jul 16:00-16:30) DL
Poster & Demo Session (17 Jul 16:30-17:30) DL
Invited Speaker: Tommie Meyer (18 Jul 09:00-10:00) DL
Coffee Break (18 Jul 10:00-10:30) DL
Conflicts and Exceptions (18 Jul 10:30-11:50) DL
“To infinity and beyond!” (18 Jul 12:00-12:40) DL
Lunch (18 Jul 12:40-14:10) DL
Special Session (18 Jul 14:10-17:00) DL
Coffee Break (18 Jul 15:30-16:00) DL
Invited Speaker: Stefan Borgwardt (19 Jul 09:15-10:10) DL
Coffee Break (19 Jul 10:10-10:40) DL
Explanations (19 Jul 10:40-12:30) DL
Lunch (19 Jul 12:30-14:00) DL
Temporal Extensions (19 Jul 14:00-15:00) DL
All about DL-Lite (19 Jul 15:10-16:10) DL
Business Meeting (19 Jul 16:30-17:30) DL
Coffee Break (20 Jul 10:00-10:30) KR
Knowledge compilation (20 Jul 11:00-12:40) KR
Lunch (20 Jul 12:40-14:00) KR
Abduction and diagnosis (20 Jul 14:00-15:35) KR
Coffee Break (20 Jul 15:35-16:00) KR
Coffee Break (21 Jul 10:30-11:00) KR
Graph Data (21 Jul 11:00-12:35) KR
Lunch (21 Jul 12:35-14:00) KR
Description logics and databases (21 Jul 14:00-15:55) KR
Coffee Break (21 Jul 16:00-16:30) KR
Planning (21 Jul 16:30-18:35) KR
Coffee Break (22 Jul 10:00-10:30) KR
SAT encoding (22 Jul 11:40-12:30) KR
Lunch (22 Jul 12:30-14:00) KR
Learning for planning (22 Jul 14:00-15:35) KR
Coffee Break (22 Jul 15:35-16:00) KR
Temporal reasoning (22 Jul 16:00-18:00) KR
Coffee Break (23 Jul 10:00-10:30) KR
Argumentation 2 (23 Jul 10:30-12:30) KR
Lunch (23 Jul 12:30-14:00) KR
Answer Set Programming 2 (23 Jul 14:00-16:00) KR
Coffee Break (23 Jul 16:00-16:30) KR