Bart Bogaerts

Available identifiers

zbMath Open bogaerts.bartMaRDI QIDQ892231

List of research outcomes

Publication	Date of Publication	Type
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
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
Knowledge compilation of logic programs using approximation fixpoint theory	2017-11-09	Paper
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bart Bogaerts