The following pages link to Bart Bogaerts (Q892231):
Displaying 28 items.
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- Symmetric explanation learning: effective dynamic symmetry handling for SAT (Q1680245) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- A framework for step-wise explaining how to solve constraint satisfaction problems (Q2238723) (← links)
- Explaining actual causation in terms of possible causal processes (Q2296707) (← links)
- SHACL: a description logic in disguise (Q2694553) (← links)
- QMaxSATpb: a certified MaxSAT solver (Q2694600) (← links)
- Improved Static Symmetry Breaking for SAT (Q2818005) (← links)
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- On local domain symmetry for model expansion (Q4593047) (← links)
- Propagators and Solvers for the Algebra of Modular Systems (Q4645738) (← links)
- (Q4999264) (← links)
- (Q5020979) (← links)
- On Nested Justification Systems (Q5038468) (← links)
- Exploiting Game Theory for Analysing Justifications (Q5140022) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- (Q5282961) (← links)
- (Q5398039) (← links)
- Executable First-Order Queries in the Logic of Information Flows (Q5874357) (← links)
- Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests (Q6151565) (← links)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)
- Expressiveness of SHACL features (Q6491025) (← links)
- Expressiveness of SHACL features (Q6492721) (← links)
