Pieter Van Hertum

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 9

Top Venues

CoRR

Theory Pract. Log. Program.

PADL

CSF

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control. CoRR (2023)
Jefrey Lijffijt, Dimitra Gkorou, Pieter Van Hertum, Alexander Ypma, Mykola Pechenizkiy, Joaquin Vanschoren
Introduction to the Special Section on AI in Manufacturing: Current Trends and Challenges. SIGKDD Explor. 24 (2) (2022)
Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum
Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation". CoRR (2019)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB paradigm and its application to interactive configuration. Theory Pract. Log. Program. 17 (1) (2017)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB Paradigm and Its Application to Interactive Configuration. PADL (2016)
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker
Distributed Autoepistemic Logic and its Application to Access Control. IJCAI (2016)
Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
The KB paradigm and its application to interactive configuration. CoRR (2016)
Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. CSF (2016)
Marcos Cramer, Diego Agustín Ambrossio, Pieter Van Hertum
A Logic of Trust for Reasoning about Delegation and Revocation. SACMAT (2015)
Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker
Modelling Delegation and Revocation Schemes in IDP. CoRR (2014)
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
The effects of buying a new car: an extension of the IDP Knowledge Base System. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)

Pieter Van Hertum.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pieter Van Hertum