Higher Order Support in Logic Specification Languages for Data Mining Applications. - Matthias van der Hallen (ICLP (Technical Communications), 2015)

Semantics of templates in a compositional framework for building logics. - Ingmar Dasseville; Matthias van der Hallen; Gerda Janssens; Marc Denecker (Theory Pract. Log. Program., 2015)

A Compositional Typed Higher-Order Logic with Definitions. - Ingmar Dasseville; Matthias van der Hallen; Bart Bogaerts 001; Gerda Janssens; Marc Denecker (ICLP (Technical Communications), 2016)

Knowledge Representation Analysis of Graph Mining. - Matthias van der Hallen; Sergey Paramonov 001; Michael Leuschel; Gerda Janssens (CoRR, 2016)

SOGrounder: Modelling and Solving Second-Order Logic. - Matthias van der Hallen; Gerda Janssens (BNAIC/BENELEARN, 2019)

Knowledge representation analysis of graph mining. - Matthias van der Hallen; Sergey Paramonov 001; Gerda Janssens; Marc Denecker (Ann. Math. Artif. Intell., 2019)

Quantification and aggregation over concepts of the ontology. - Pierre Carbonnelle; Matthias van der Hallen; Marc Denecker (ICLP, 2023)