Matthias van der Hallen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Knowledge representation analysis of graph mining.
Ann. Math. Artif. Intell., 2019

SOGrounder: Modelling and Solving Second-Order Logic.
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.
CoRR, 2016

A Compositional Typed Higher-Order Logic with Definitions.
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.
Theory Pract. Log. Program., 2015

Higher Order Support in Logic Specification Languages for Data Mining Applications.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015


  Loading...