TbiLLC 2023 Workshop on Learning and Logic
Telavi (Georgia), September 21, 2023
About
This workshop will take place as part of the 14th International Tbilisi Symposium on Language, Logic and Computation (TbILLC 2023). It brings together researchers who are working on topics at the intersection of learning and logic, ranging from the epistemology and ethics of machine learning and the logical foundations of learnability, to computational learning theory, and machine learning for knowledge representation and reasoning.
The program of the workshop will consist of 4 presentations by invited speakers.
Universitat Pompeu Fabra, Barcelona
Identification of conjunctive queries via examples
University of Amsterdam (emeritus)
Finite Identifiability, Unique Characterizability and Learning
University of Oslo & University of Bergen
Learning from Neural Networks with Queries and Counterexamples.
Frank Wolter
University of Liverpool
Logical Separability of Labelled Data Examples under Ontologies.
Schedule:
11:30 - 12:30 Dick de Jongh: Finite Identifiability, Unique Characterizability and Learning [slides]
(lunch)
14:00 - 15:00 Victor Dalmau: Identification of conjunctive queries via examples [slides]
15:15 - 16:15 Frank Wolter: Logical Separability of Labelled Data Examples under Ontologies [slides]
(coffee break)
16:45 - 17:45 Ana Ozaki: Learning from Neural Networks with Queries and Counterexamples [slides]
Organizers:
Balder ten Cate (ILLC, University of Amsterdam)
Aybüke Özgün (ILLC, University of Amsterdam)