2025
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
2025.
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
2025,
(Accepted).
Exploiting Symmetries in MUS Computation
Proceedings of AAAI,
2025,
(Accepted).
The Possible Asylum
The American Mathematical Monthly Volume 132 (2),
p. 175-179,
2025.
2024
Preservation theorems for Tarski's relation algebra
Logical Methods in Computer Science Volume 20 (3),
p. 20:1-20:17,
2024.
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
Proceedings of Logic Programming and Non-monotonic Reasoning,
p. 317-330,
2024.
Reasoning with First-Order Logic
Demystifying Artificial Intelligence - Symbolic, Data-Driven, Statistical and Ethical AI,
p. 107-147,
2024.
The Stable Model Semantics for Higher-Order Logic Programming
Theory and Practice of Logic Programming 24(4),
p. 737-754,
2024.
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP),
p. 4:1-4:28,
2024.
Postulates for provenance: Instance-based provenance for first-order logic
Proceedings of the ACM on Management of Data (PODS'24), Volume 2 (2),
p. 95(1)-95(16),
2024.
Executable First-Order Queries in the Logic of Information Flows
Logical Methods in Computer Science Volume 20(2),
p. 6:1-6:41,
2024.
Embedding Justification Theory in Approximation Fixpoint Theory
Artificial Intelligence Volume 331,
p. 104112,
2024.
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
Logical Methods in Computer Science Volume 20(1),
p. 16:1-16:34,
2024.
Approximation Fixpoint Theory in Coq -- with an Application to Logic Programming
Logics and Type Systems in Theory and Practice,
p. 84-99,
2024.
Distributed Subweb Specifications for Traversing the Web
Theory and Practice of Logic Programming Volume 24 (2),
p. 394-420,
2024.
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming
Artificial Intelligence Volume 331,
p. 104110,
2024.
Using Symmetries to Lift Satisfiability Checking
Proceedings of the Thirty-Eighth Conference on Artificial Intelligence (AAAI),
p. 7961-7968,
2024.
Towards a Unifying View on Monotone Constructive Definitions
International Symposium on Artificial Intelligence and Mathematics (ISAIM), Revised Selected Papers; LNCS Volume 14494,
2024.
2023
Simplifying Step-wise Explanation Sequences
29th International Conference on Principles and Practice of Constraint Programming (CP),
p. 11:1-11:20,
2023.
Mathematical Foundations for Joining Only Knowing and Common Knowledge
20th International Conference on Principles of Knowledge Representation and Reasoning (KR),
p. 167-177,
2023.
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Journal of Artificial Intelligence Research Volume 78,
p. 709-746,
2023.
Inputs, Outputs, and Composition in the Logic of Information Flows
ACM Transactions on Computational Logic, Volume 24 number 4,
2023,
p. 1-44.
Certified Core-Guided MaxSAT Solving
Proceedings of the 29th International Conference on Automated Deduction (CADE),
p. 1-22,
2023.
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Journal of Artificial Intelligence Research (Conference Award Track) Volume 77,
p. 1539-1589,
2023.
Symmetry and Dominance Breaking for Pseudo-Boolean Optimization
Artificial Intelligence and Machine Learning,
p. 149-166,
2023.
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates
Theory and Practice of Logic Programming Volume 23 (4),
p. 632-647,
2023.
Interactive Model Expansion in an Observable Environment
Theory and Practice of Logic Programming Volume 23 (4),
p. 648-663,
2023.
Patient-reported outcome measures on mental health and psychosocial factors in patients with Brugada syndrome
Europace Volume 5 (9),
p. 1-10,
2023.
2022
Static Symmetry and Dominance Breaking for Pseudo-Boolean Optimization
Proceedings of Benelux Conference on AI (BNAIC),
2022.
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended abstract)
The 21st workshop on Constraint Modelling and Reformulation (ModRef),
2022.
Computing Abductive Explanations
IEEE Intelligent Systems Volume 37 (6) (Special Issue on Reasoning with Inconsistent, Incomplete, and Uncertain Knowledge),
p. 18-26,
2022.
Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
The Third Workshop on Explainable Logic-Based Knowledge Representation (XLoKR),
2022.
SHACL: A Description Logic in Disguise
Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR),
p. 75-88,
2022.
QMaxSATpb: A Certified MaxSAT Solver
Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR),
p. 429-442,
2022.
On Nested Justification Systems
Theory and Practice of Logic Programming Volume 22 (5),
p. 641-657,
2022.
Tree-Like Justification Systems are Consistent
Proceedings 38th International Conference on Logic Programming (ICLP),
p. 1-11,
2022.
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
Proceedings of the AAAI Conference on Artificial Intelligence, 36(4),
p. 3698-3707,
2022.
★AAAI-22 Distinguished paper award★
Expressiveness of SHACL features
25th International Conference on Database Theory (ICDT 2022),
p. 15:1-15:16,
2022.
2021
Formalising Approximation Fixpoint Theory (Extended Abstract)
Days in Logic 2022,
2021.
SHACL: A Description Logic in Disguise
BNAIC/BeneLearn 2021,
p. 271-284,
2021.
A Formalisation of Approximation Fixpoint Theory
TYPES 2021 - Book of Abstracts,
p. 41-44,
2021.
Fixpoint Semantics for Recursive SHACL
Proceedings of The 37th International Conference on Logic Programming (ICLP),
p. 41-47,
2021.
Link Traversal with Distributed Subweb Specifications
Proceedings of RuleML+RR,
p. 62-79,
2021.
A framework for step-wise explaining how to solve constraint satisfaction problems
Artificial Intelligence Volume 300,
p. 103550,
2021,
(Special issue on Explainable Artificial Intelligence).
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints
ACM Transactions on Computational Logic Volume 20 (1),
2021,
p. 1-19.
On the Relation Between Approximation Fixpoint Theory and Justification Theory
30th International Joint Conference on Artificial Intelligence (IJCAI),
p. 1973-1980,
2021.
★IJCAI-21 Distinguished paper award★
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
30th International Joint Conference on Artificial Intelligence (IJCAI),
p. 1381-1388,
2021.
2020
Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming
Proceedings of the 18th International Workshop on Non-Monotonic Reasoning (NMR),
p. 58-66,
2020.
Exploiting Game Theory for Analysing Justifications
Theory and Practice of Logic Programming Volume 20 (6),
p. 880-894,
2020.
lp2pb: Translating Answer Set Programs into Pseudo-Boolean Theories
Proceedings of The 36th International Conference on Logic Programming (ICLP),
p. 206-219,
2020.
Interactive Configuration Problems in Observable Environments 17th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020, (Poster presentation at KR).
Inputs, Outputs, and Composition in the Logic of Information Flows
17th International Conference on Principles of Knowledge Representation and Reasoning (KR),
p. 2-11,
2020.
Step-wise explanations of constraint satisfaction problems
24th European Conference on Artificial Intelligence (ECAI),
p. 640-647,
2020.
Executable first-order queries in the logic of information flows
23th International Conference on Database Theory (ICDT),
p. 4:1-4:14,
2020.
2019
Towards a Lower Bound Founded Fixpoint Semantics: Working Abstract
Proceedings of Trends and Applications of Answer Set Programming (TAASP),
2019.
ZebraTutor: Explaining How to Solve Logic Grid Puzzles
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC),
2019.
User-Oriented Solving and Explaining of Natural Language Logic Grid Puzzles
The Third Workshop on Progress Towards the Holy Grail,
2019.
The Alpha Solver for Lazy-Grounding Answer-Set Programming
ALP Newsletter,
2019.
Guest editorial: special issue on answer set programming and other computing paradigms
Annals of Mathematics and Artificial Intelligence,
p. 1-2,
2019.
Explaining actual causation in terms of possible causal processes
Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA),
p. 214-230,
2019.
Weighted abstract dialectical frameworks through the lens of approximation fixpoint theory
Proceedings of the thirty-third AAAI conference on artificial intelligence (AAAI),
p. 2686-2693,
2019.
2018
Predicate Logic as a Modeling Language: The IDP System
Chapter in Declarative Logic Programming: Theory, Systems, and Applications,
p. 279-323,
2018.
Causal reasoning in a logic with possible causal process semantics
Proceedings of the 17th International Workshop on Non-Monotonic Reasoning (NMR),
p. 90-98,
2018.
Consistency in Justification Theory
Proceedings of the 17th International Workshop on Non-Monotonic Reasoning (NMR),
p. 41-52,
2018.
Exploiting Justifications for Lazy Grounding of Answer Set Programs
Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI),
p. 1737-1745,
2018.
Safe Inductions and Their Applications in Knowledge Representation
Artificial Intelligence Volume 259,
p. 167-185,
2018.
Fixpoint Semantics for Active Integrity Constraints
Artificial Intelligence Volume 255,
p. 43-70,
2018.
Fixpoint Semantics for Active Integrity Constraints: Extended Abstract
Proceedings of the 30th Benelux Conference on Artificial Intelligence (BNAIC),
p. 31-32,
2018.
2017
Symmetric explanation learning: Effective dynamic symmetry handling for SAT
Theory and Applications of Satisfiability Testing - SAT 2017, Proceedings,
p. 83-100,
2017.
Propagators and Solvers for the Algebra of Modular Systems
Proceedings of the 21st International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-21),
p. 227-248,
2017.
Safe Inductions: An Algebraic Study
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI),
p. 859-865,
2017.
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI),
p. 866-872,
2017.
2016
SAT-to-SAT in QBFEval 2016
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016),
p. 63-70,
2016.
On Well-Founded Set-Inductions and Locally Monotone Operators
ACM Transactions on Computational Logic Volume 17 Issue 4,
p. 27:1-27:32,
2016.
BreakID: Static Symmetry Breaking for ASP
Proceedings of the ninth workshop on answer set programming and other computing paradigms,
p. 25-39,
2016.
Implementing a Relevance Tracker Module
Proceedings of the ninth workshop on answer set programming and other computing paradigms,
p. 77-91,
2016.
Bootstrapping Inference in the IDP Knowledge Base System
New Generation Computing Volume 34, Number 3,
p. 193-220,
2016.
A Compositional Framework for Building Typed Higher-Order Logics
Technical communications of ICLP,
p. 14.1-14.14,
2016.
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs
Theory and Practice of Logic Programming Volume 16, Number 5-6,
p. 570-586,
2016.
On Local Domain Symmetry for Model Expansion
Theory and Practice of Logic Programming Volume 16, Number 5-6,
p. 632-652,
2016.
Distributed Autoepistemic Logic and its Application to Access Control
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI),
p. 1286-1292,
2016.
Relevance for SAT(ID)
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI),
p. 596-602,
2016.
Improved Static Symmetry Breaking for SAT
Theory and Applications of Satisfiability Testing - SAT 2016, Proceedings,
p. 104-122,
2016.
Declarative Solver Development: Case Studies
Principles of Knowledge Representation and Reasoning: Proceedings (KR),
p. 74-83,
2016.
Solving QBF Instances With Nested SAT Solvers
Proceedings of the first workshop on Beyond NP,
p. 307-313,
2016.
2015
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3
Theory and Practice of Logic Programming Volume 15, Number 6,
p. 783-817,
2015.
Groundedness in Logics With a Fixpoint Semantics
PhD thesis,
2015.
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory
Theory and Practice of Logic Programming Volume 15, Number 4-5,
p. 464-480,
2015.
Partial Grounded Fixpoints
Proceedings of the twenty-fourth international conference on artificial intelligence (IJCAI),
p. 2784-2790,
2015.
Grounded Fixpoints and Their Applications in Knowledge Representation
Artificial Intelligence Volume 224,
p. 51-71,
2015.
Grounded Fixpoints
Proceedings of the twenty-ninth AAAI conference on artificial intelligence,
p. 1453-1459,
2015.
2014
MiniSat(ID) for Satisfiability Checking and Constraint Solving
ALP Newsletter,
2014.
Meta-level Representations in the IDP Knowledge Base System: Towards Bootstrapping Inference Engine Development
Workshop on Logic and Search - LaSh,
2014.
BreakIDGlucose: On The Importance of Row Symmetry in SAT
Fourth International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT),
1-17,
2014.
Inference in the FO(C) Modelling Language
European Conference on Artificial Intelligence (ECAI),
p. 111-116,
2014.
FO(C) and Related Modelling Paradigms
15th International Workshop on Non-Monotonic Reasoning,
p. 90-96,
2014.
FO(C): A Knowledge Representation Language of Causality
(ICLP'14 technical communication),
Theory and Practice of Logic Programming Volume 14, Number (4-5)-Online-Supplement,
p. 60-69,
2014.
Simulating Dynamic Systems Using Linear Time Calculus Theories
Theory and Practice of Logic Programming Volume 14, Number 4-5,
p. 477-492,
2014.
2013
The Effects of Buying a New Car: An Extension of the IDP Knowledge Base System
(ICLP'13 technical communication),
Theory and Practice of Logic Programming Volume 13, Number (4-5)-Online-Supplement,
2013.
Model Expansion in the Presence of Function Symbols Using Constraint Programming
IEEE 25th International Conference on Tools with Artificial Intelligence,
p. 1068-1075,
2013.
2012
Analyzing Manuscript Traditions Using Constraint-Based Data Mining
First Workshop on Combining Constraint Solving with Mining and Learning,
2012.
Modeling Machine Learning and Data Mining Problems with FO(.)
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012,
p. 14-25,
2012.
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT
IEEE 24th International Conference on Tools with Artificial Intelligence,
p. 49-56,
2012.