Matthias van der Hallen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | KR | SOGrounder: Modelling and Solving Second-Order Logic. | Matthias van der Hallen, Gerda Janssens |
| 2016 | ICLP | A Compositional Typed Higher-Order Logic with Definitions. | Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker |
| 2015 | ICLP | Higher Order Support in Logic Specification Languages for Data Mining Applications. | Matthias van der Hallen |