Carsten Lutz
Carsten Lutz
Affiliation: Leipzig University
Affiliation: Leipzig University, Germany
Affiliation: Universität Leipzig
Affiliation: University of Leipzig
Talks
(DL)
Finite Characterizations of ℰℒ Ontologies and Concept Inclusions · Learning
(KR)
The Logical Expressive Power of Graph Neural Networks · KR invited: Carsten Lutz
(KR)
Session Chair — Expressivity of neural networks
(KR)
Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models · Description logic and learning
(LOGICNN)
Expressive Power of Graph Transformers via Logic · Session 1A: Expressiveness
(IJCAR)
Session Chair — Arrays & Interpolation
(IJCAR)
Presentation of the Best Paper Award · Awards
(IJCAR)
Session Chair — Invited Talk
Pages in this Program
Program
Program on Friday, 17 July 2026
DL on Friday, 17 July 2026
DL Program
Program on Tuesday, 21 July 2026
KR on Tuesday, 21 July 2026
KR Program
Program on Wednesday, 22 July 2026
KR on Wednesday, 22 July 2026
Program on Thursday, 23 July 2026
KR on Thursday, 23 July 2026
Program on Saturday, 25 July 2026
LOGICNN on Saturday, 25 July 2026
LOGICNN Program
Program on Sunday, 26 July 2026
IJCAR on Sunday, 26 July 2026
IJCAR Program
Program on Monday, 27 July 2026
IJCAR on Monday, 27 July 2026
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑