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 | 22 | 2017 |
A logic of trust for reasoning about delegation and revocation M Cramer, DA Ambrossio, P Van Hertum Proceedings of the 20th ACM Symposium on Access Control Models and …, 2015 | 11 | 2015 |
Distributed autoepistemic logic and its application to access control P Van Hertum, M Cramer, B Bogaerts, M Denecker Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016 | 8 | 2016 |
The effects of buying a new car: an extension of the IDP Knowledge Base System P Van Hertum, J Vennekens, B Bogaerts, J Devriendt, M Denecker TPLP 13, 4-5, 2013 | 5 | 2013 |
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 |
Modelling delegation and revocation schemes in IDP M Cramer, P Van Hertum, DA Ambrossio, M Denecker arXiv preprint arXiv:1405.1584, 2014 | 3 | 2014 |
The effects of buying a new car: an extension of the IDP Knowledge Based System P Van Hertum, J Vennekens, B Bogaerts, J Devriendt, M Denecker CW Reports CW640, 2013 | 1 | 2013 |
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control M Cramer, P Van Hertum, B Bogaerts, M Denecker | | 2019 |
Technical report of" The Knowledge Base Paradigm Applied to Delegation Revocation" M Cramer, Z Baniasadi, P Van Hertum arXiv preprint arXiv:1908.11132, 2019 | | 2019 |
The Knowledge Base Paradigm Applied to Delegation Revocation M Cramer, Z Baniasadi, P Van Hertum | | 2019 |
New Language Constructs and Inferences for the Knowledge Base Paradigm: A Business and Multi-agent Perspective P Van Hertum | | 2016 |
Combining Logic and Business Rule Systems P Van Hertum Web Reasoning and Rule Systems: 8th International Conference, RR 2014 …, 2014 | | 2014 |
Het vereenvoudigen van FOBDD’s met behulp van Presburger aritmetiek P VAN HERTUM | | |