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
162017
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
102015
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
62016
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–12