Matthias van der Hallen

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

Collaborative distances:

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

2023

Quantification and aggregation over concepts of the ontology.

Pierre Carbonnelle, Matthias van der Hallen, Marc Denecker

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

2019

Knowledge representation analysis of graph mining.

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

Ann. Math. Artif. Intell., 2019

2018

SOGrounder: Modelling and Solving Second-Order Logic.

Matthias van der Hallen, Gerda Janssens

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

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