Bart Bogaerts

Available identifiers

zbMath Open bogaerts.bartMaRDI QIDQ892231

List of research outcomes

Publication	Date of Publication	Type
Fixpoint semantics for recursive \textsc{shacl}	2024-12-03	Paper
Preservation theorems for Tarski's relation algebra	2024-11-12	Paper
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming	2024-07-03	Paper
Embedding justification theory in approximation fixpoint theory	2024-07-03	Paper
Executable first-order queries in the logic of information flows	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	2024-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q6182223	2024-01-23	Paper
Efficiently explaining CSPs with unsatisfiable subset optimization	2023-12-20	Paper
Inputs, Outputs, and Composition in the Logic of Information Flows	2023-11-03	Paper
Certified dominance and symmetry breaking for combinatorial optimisation	2023-10-23	Paper
SHACL: a description logic in disguise	2023-04-04	Paper
QMaxSATpb: a certified MaxSAT solver	2023-04-04	Paper
Executable First-Order Queries in the Logic of Information Flows	2023-02-07	Paper
On Nested Justification Systems	2022-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q5020979	2022-01-11	Paper
A framework for step-wise explaining how to solve constraint satisfaction problems	2021-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4999264	2021-07-06	Paper
Exploiting Game Theory for Analysing Justifications	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	2019-01-10	Paper
Safe inductions and their applications in knowledge representation	2018-06-26	Paper
Fixpoint semantics for active integrity constraints	2018-01-31	Paper
Symmetric explanation learning: effective dynamic symmetry handling for SAT	2017-11-15	Paper
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3	2017-11-09	Paper
Knowledge compilation of logic programs using approximation fixpoint theory	2017-11-09	Paper
Stable-unstable semantics: Beyond NP with normal logic programs	2017-11-09	Paper
On local domain symmetry for model expansion	2017-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5282961	2017-07-18	Paper
On Well-Founded Set-Inductions and Locally Monotone Operators	2017-07-13	Paper
Improved Static Symmetry Breaking for SAT	2016-09-05	Paper
Grounded fixpoints and their applications in knowledge representation	2015-11-18	Paper
Simulating Dynamic Systems Using Linear Time Calculus Theories	2014-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q5398039	2014-02-25	Paper

Research outcomes over time

This page was built for person: Bart Bogaerts