Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Logic in Computer Science"”.
-
Logic, Learning, and Explanation: Theoretical and Applied Perspectives on Machine Reasoning
This dissertation explores the interface between logic and machine learning, focusing on both theoretical foundations and applications to interpretability. It is structured around three main themes: the logical expressivity of Graph Neural Networks (GNNs), interpretability methods for GNNs, and the …