| Publication | Date of Publication | Type |
|---|
The Possible Asylum
American Mathematical Monthly | 2025-04-17 | Paper |
Interactive model expansion in an observable environment
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics, and aggregates
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
| Approximation fixpoint theory in Coq. With an application to logic programming | 2025-02-07 | Paper |
| Fixpoint semantics for recursive \textsc{shacl} | 2024-12-03 | Paper |
Preservation theorems for Tarski's relation algebra
Logical Methods in Computer Science | 2024-11-12 | Paper |
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
Artificial Intelligence | 2024-07-03 | Paper |
Embedding justification theory in approximation fixpoint theory
Artificial Intelligence | 2024-07-03 | Paper |
Executable first-order queries in the logic of information flows
Logical Methods in Computer Science | 2024-06-27 | Paper |
| Certified Core-Guided MaxSAT Solving | 2024-04-26 | Paper |
| Expressiveness of SHACL features | 2024-04-25 | Paper |
| Expressiveness of SHACL features | 2024-04-23 | Paper |
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
Logical Methods in Computer Science | 2024-03-11 | Paper |
Tree-like justification systems are consistent
(available as arXiv preprint) | 2024-01-23 | Paper |
| Tree-like justification systems are consistent | 2024-01-23 | Paper |
Efficiently explaining CSPs with unsatisfiable subset optimization
The Journal of Artificial Intelligence Research (JAIR) | 2023-12-20 | Paper |
Inputs, Outputs, and Composition in the Logic of Information Flows
ACM Transactions on Computational Logic | 2023-11-03 | Paper |
Certified dominance and symmetry breaking for combinatorial optimisation
The Journal of Artificial Intelligence Research (JAIR) | 2023-10-23 | Paper |
SHACL: a description logic in disguise
(available as arXiv preprint) | 2023-04-04 | Paper |
| QMaxSATpb: a certified MaxSAT solver | 2023-04-04 | Paper |
Executable First-Order Queries in the Logic of Information Flows
(available as arXiv preprint) | 2023-02-07 | Paper |
On Nested Justification Systems
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
scientific article; zbMATH DE number 7455719 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7455719 (Why is no real title available?) | 2022-01-11 | Paper |
A framework for step-wise explaining how to solve constraint satisfaction problems
Artificial Intelligence | 2021-11-02 | Paper |
scientific article; zbMATH DE number 7368415 (Why is no real title available?)
(available as arXiv preprint) | 2021-07-06 | Paper |
Exploiting Game Theory for Analysing Justifications
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
| Explaining actual causation in terms of possible causal processes | 2020-02-18 | Paper |
| A compositional typed higher-order logic with definitions | 2019-10-24 | Paper |
Propagators and Solvers for the Algebra of Modular Systems
EPiC Series in Computing | 2019-01-10 | Paper |
Safe inductions and their applications in knowledge representation
Artificial Intelligence | 2018-06-26 | Paper |
Fixpoint semantics for active integrity constraints
Artificial Intelligence | 2018-01-31 | Paper |
| Symmetric explanation learning: effective dynamic symmetry handling for SAT | 2017-11-15 | Paper |
Knowledge compilation of logic programs using approximation fixpoint theory
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Stable-unstable semantics: Beyond NP with normal logic programs
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
On local domain symmetry for model expansion
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Inference in the \(\mathrm{FO(C)}\) modelling language
(available as arXiv preprint) | 2017-07-18 | Paper |
| Inference in the \(\mathrm{FO(C)}\) modelling language | 2017-07-18 | Paper |
On well-founded set-inductions and locally monotone operators
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Improved static symmetry breaking for SAT
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Grounded fixpoints and their applications in knowledge representation
Artificial Intelligence | 2015-11-18 | Paper |
Simulating Dynamic Systems Using Linear Time Calculus Theories
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
| Modeling machine learning and data mining problems with \(\mathrm{FO}(\cdot )\) | 2014-02-25 | Paper |
