The KB paradigm and its application to interactive configuration P Van Hertum, I Dasseville, G Janssens, M Denecker Theory and Practice of Logic Programming 17 (1), 91-117, 2017 | 28 | 2017 |
Combining DMN and the knowledge base paradigm for flexible decision enactment I Dasseville, L Janssens, G Janssens, J Vanthienen, M Denecker Supplementary Proceedings of the RuleML 2016 Challenge 1620, 2016 | 27 | 2016 |
A web-based IDE for IDP I Dasseville, G Janssens arXiv preprint arXiv:1511.00920, 2015 | 15 | 2015 |
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 |
Visualising interactive inferences with IDPD3 R Lapauw, I Dasseville, M Denecker arXiv preprint arXiv:1511.00928, 2015 | 7 | 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 |
Resilient delegation revocation with precedence for predecessors is NP-complete M Cramer, P Van Hertum, R Lapauw, I Dasseville, M Denecker 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 432-442, 2016 | 4 | 2016 |
Experimental evaluation of a state-of-the-art grounder J Jansen, I Dasseville, J Devriendt, G Janssens Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 4 | 2014 |
Transpiling programming computable functions to answer set programs I Dasseville, M Denecker Functional and Constraint Logic Programming: 26th International Workshop …, 2019 | 1 | 2019 |
Higher order modelling for first order solvers I Dasseville | | 2019 |
FMS: Functional Programming as a Modelling Language I Dasseville, G Janssens Functional and Constraint Logic Programming: 26th International Workshop …, 2019 | | 2019 |
Transpiling Programmable Computable Functions to Answer Set Programs I Dasseville, M Denecker arXiv preprint arXiv:1808.07770, 2018 | | 2018 |