Matthias van der Hallen

According to our database, Matthias van der Hallen authored at least 6 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Knowledge representation analysis of graph mining.

Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker

Ann. Math. Artif. Intell., 2019

SOGrounder: Modelling and Solving Second-Order Logic.

Matthias van der Hallen, Gerda Janssens

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

2016

Knowledge Representation Analysis of Graph Mining.

Matthias van der Hallen, Sergey Paramonov, Michael Leuschel, Gerda Janssens

CoRR, 2016

A Compositional Typed Higher-Order Logic with Definitions.

Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

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

Higher Order Support in Logic Specification Languages for Data Mining Applications.

Matthias van der Hallen

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015