← Search

Balder ten Cate

3 accepted papers

2025

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization

NeurIPS 2025poster

We propose and study Hierarchical Ego Graph Neural Networks (HE-GNNs), an expressive extension of graph neural networks (GNNs) with hierarchical node individualization, inspired by the Individualization-Refinement paradigm for isomorphism testing. HE-GNNs generalize subgraph-GNNs and form a hierarch…

Cited by 0SourcecodeScholar
2024

On the Power and Limitations of Examples for Description Logic Concepts

IJCAI 2024poster

Labeled examples (i.e., positive and negative examples) are an attractive medium for communicating complex concepts. They are useful for deriving concept expressions (such as in concept learning, interactive concept specification, and concept refinement) as well as for illustrating concept expressio…

Cited by 1SourcePDFScholar
2023

SAT-Based PAC Learning of Description Logic Concepts

IJCAI 2023poster

We propose bounded fitting as a scheme for learning description logic concepts in the presence of ontologies. A main advantage is that the resulting learning algorithms come with theoretical guarantees regarding their generalization to unseen examples in the sense of PAC learning. We prove that,…