Follow
Pieter Van Hertum
Pieter Van Hertum
Verified email at cs.kuleuven.be
Title
Cited by
Cited by
Year
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
282017
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
112016
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
112015
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, 2013
52013
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
42016
Modelling delegation and revocation schemes in IDP
M Cramer, P Van Hertum, DA Ambrossio, M Denecker
arXiv preprint arXiv:1405.1584, 2014
32014
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control
M Cramer, P Van Hertum, B Bogaerts, M Denecker
arXiv preprint arXiv:2306.02774, 2023
2023
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
The system can't perform the operation now. Try again later.
Articles 1–12