Picture for Bart Bogaerts

Bart Bogaerts

Vrije Universiteit Brussel

The Stable Model Semantics for Higher-Order Logic Programming

Add code
Aug 20, 2024
Viaarxiv icon

Using Symmetries to Lift Satisfiability Checking

Add code
Nov 06, 2023
Figure 1 for Using Symmetries to Lift Satisfiability Checking
Figure 2 for Using Symmetries to Lift Satisfiability Checking
Viaarxiv icon

Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)

Add code
May 18, 2023
Viaarxiv icon

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)

Add code
Mar 21, 2023
Figure 1 for Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)
Figure 2 for Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)
Figure 3 for Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)
Figure 4 for Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)
Viaarxiv icon

Distributed Subweb Specifications for Traversing the Web

Add code
Feb 28, 2023
Figure 1 for Distributed Subweb Specifications for Traversing the Web
Figure 2 for Distributed Subweb Specifications for Traversing the Web
Figure 3 for Distributed Subweb Specifications for Traversing the Web
Figure 4 for Distributed Subweb Specifications for Traversing the Web
Viaarxiv icon

Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

Add code
Dec 01, 2022
Viaarxiv icon

Tree-Like Justification Systems are Consistent

Add code
Aug 05, 2022
Viaarxiv icon

On Nested Justification Systems (full version)

Add code
May 09, 2022
Figure 1 for On Nested Justification Systems (full version)
Viaarxiv icon

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Add code
Mar 28, 2022
Figure 1 for Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
Figure 2 for Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
Viaarxiv icon

Fixpoint Semantics for Recursive SHACL

Add code
Sep 17, 2021
Figure 1 for Fixpoint Semantics for Recursive SHACL
Figure 2 for Fixpoint Semantics for Recursive SHACL
Figure 3 for Fixpoint Semantics for Recursive SHACL
Viaarxiv icon