Marc Denecker
Katholieke Universiteit Leuven
H-index: 41
Europe-Belgium
Top articles of Marc Denecker
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Using Symmetries to Lift Satisfiability Checking | Proceedings of the AAAI Conference on Artificial Intelligence | Pierre Carbonnelle Gottfried Schenner Maurice Bruynooghe Bart Bogaerts Marc Denecker | 2024/3/24 |
Embedding justification theory in approximation fixpoint theory | Artificial Intelligence | Simon Marynissen Bart Bogaerts Marc Denecker | 2024/6/1 |
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control | arXiv preprint arXiv:2306.02774 | Marcos Cramer Pieter Van Hertum Bart Bogaerts Marc Denecker | 2023/6/5 |
An epistemic logic for modeling decisions in the context of incomplete knowledge | arXiv preprint arXiv:2312.11186 | Đorđe Marković Simon Vandevelde Linde Vanbesien Joost Vennekens Marc Denecker | 2023/12/18 |
Justifications and a Reconstruction of Parity Game Solving Algorithms | Ruben Lapauw Maurice Bruynooghe Marc Denecker | 2023/5/17 | |
The Logic of Logic Programming | arXiv preprint arXiv:2304.13430 | Marc Denecker David S Warren | 2023/4/26 |
Towards Systematic Treatment of Partial Functions in Knowledge Representation | Djordje Markovic Maurice Bruynooghe Marc Denecker | 2023/9/20 | |
Interactive Model Expansion in an Observable Environment | Theory and Practice of Logic Programming | Pierre Carbonnelle Joost Vennekens Marc Denecker Bart Bogaerts | 2023/7 |
A better logical semantics for prolog | David S Warren Marc Denecker | 2023/6/17 | |
IDP-Z3: a reasoning engine for FO (.) | Pierre Carbonnelle Simon Vandevelde Joost Vennekens Marc Denecker | 2022/2/1 | |
On the relation between approximation fixpoint theory and justification theory | Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Main Track | Simon Marynissen Bart Bogaerts Marc Denecker | 2022/8/27 |
On the Semantics of “null” in DMN: Undefined is not Unknown | Ðorđe Marković Simon Vandevelde Joost Vennekens Marc Denecker | 2022 | |
Analyzing semantics of aggregate answer set programming using approximation fixpoint theory | Theory and Practice of Logic Programming | Linde Vanbesien Maurice Bruynooghe Marc Denecker | 2022/7 |
On nested justification systems (full version) | arXiv preprint arXiv:2205.04541 | Simon Marynissen Jesse Heyninck Bart Bogaerts Marc Denecker | 2022/5/9 |
Quantification and aggregation over concepts of the ontology | arXiv preprint arXiv:2202.00898 | Pierre Carbonnelle Matthias Van der Hallen Marc Denecker | 2022/2/2 |
On the semantics of | Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium@ RuleML+ RR 2022 | Dorde Markovic Simon Vandevelde Joost Vennekens Marc Denecker Maurice Bruynooghe | 2022/10/3 |
Interactive configurator with FO (.) and IDP-Z3 | arXiv preprint arXiv:2202.00343 | Pierre Carbonnelle Simon Vandevelde Joost Vennekens Marc Denecker | 2022/2/1 |
On nested justification systems | Theory and Practice of Logic Programming | Simon Marynissen Jesse Heyninck Bart Bogaerts Marc Denecker | 2022/9 |
Reconstructing and Improving Parity Game Solvers with Justifications | Ruben Lapauw | 2021/5/3 | |
Interactive advisor for lax legislation and observable situations | Workshop on Models of Legal Reasoning, Date | Pierre Carbonnelle Bart Bogaerts Joost Vennekens Marc Denecker | 2020/9/14 |