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
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
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