I'm hiring! Looking for talented PhD students and postdocs. Apply now!

Embedding Justification Theory in Approximation Fixpoint Theory Artificial Intelligence, (Accepted for Publication).

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests Logical Methods in Computer Science, (Accepted for publication).

Formalising Approximation Fixpoint Theory in Coq (Accepted for publication).

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.

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.

Fixpoint Semantics for Recursive SHACL Proceedings of The 37th International Conference on Logic Programming (ICLP), p. 41-47, 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.

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.

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.

Guest editorial: special issue on answer set programming and other computing paradigms Annals of Mathematics and Artificial Intelligence, p. 1-2, 2019.

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.

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.

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.

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.

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.

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.

Analyzing Manuscript Traditions Using Constraint-Based Data Mining First Workshop on Combining Constraint Solving with Mining and Learning, 2012.