Matthias van der Hallen

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 6

Top Topics

Ontological Knowledge

Knowledge Representation

Substructure Discovery

Top Venues

ICLP (Technical Communications)

Ann. Math. Artif. Intell.

BNAIC/BENELEARN

Publications

Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker
Quantification and aggregation over concepts of the ontology. CoRR (2022)
Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker
Knowledge representation analysis of graph mining. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Matthias van der Hallen, Gerda Janssens
SOGrounder: Modelling and Solving Second-Order Logic. BNAIC/BENELEARN (2019)
Matthias van der Hallen, Gerda Janssens
SOGrounder: Modelling and Solving Second-Order Logic. KR (2018)
Matthias van der Hallen, Sergey Paramonov, Michael Leuschel, Gerda Janssens
Knowledge Representation Analysis of Graph Mining. CoRR (2016)
Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
A Compositional Typed Higher-Order Logic with Definitions. ICLP (Technical Communications) (2016)
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Semantics of templates in a compositional framework for building logics. CoRR (2015)
Matthias van der Hallen
Higher Order Support in Logic Specification Languages for Data Mining Applications. ICLP (Technical Communications) (2015)
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Semantics of templates in a compositional framework for building logics. Theory Pract. Log. Program. 15 (4-5) (2015)