Semantics of templates in a compositional framework for building logics I Dasseville, M Van der Hallen, G Janssens, M Denecker Theory and Practice of Logic Programming 15 (4-5), 681-695, 2015 | 9 | 2015 |
A compositional typed higher-order logic with definitions I Dasseville, M Van Der Hallen, B Bogaerts, G Janssens, M Denecker Technical Communications of the 32nd International Conference on Logic …, 2016 | 5 | 2016 |
Knowledge representation analysis of graph mining M van der Hallen, S Paramonov, G Janssens, M Denecker Annals of Mathematics and Artificial Intelligence 86, 21-60, 2019 | 4 | 2019 |
Quantification and aggregation over concepts of the ontology P Carbonnelle, M Van der Hallen, M Denecker arXiv preprint arXiv:2202.00898, 2022 | 2 | 2022 |
SOGrounder: Modelling and solving second-order logic M van der Hallen, G Janssens Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 2 | 2018 |
A grounder from second-order logic to qbf M van der Hallen, G Janssens Quantified Boolean Formulas, Papers from the 2018 FLoC Quantified Boolean …, 2018 | 1 | 2018 |
Towards a Higher Level of Abstraction for Knowledge Representation Languages M Van der Hallen | | 2020 |
Higher Order Support in Logic Specification Languages for Data Mining Applications. M van der Hallen ICLP (Technical Communications), 2015 | | 2015 |
A Formal Language for QBF Family Definitions NA Echeverrıa, M van der Hallen | | |
Secure Compilation of ML Modules M van der Hallen | | |
Lemmings is NP-Hard M van der Hallen | | |