53 citations · 147 across the 32 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020★ 1 cited
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories
Wolf De Wulf, Bart Bogaerts
Answer set programming (ASP) is a well-established knowledge representation formalism. Most ASP solvers are based on (extensions of) technology from Boolean satisfiability solving.…
cs.AI2020★ 3 cited
Exploiting Game Theory for Analysing Justifications
Simon Marynissen, Bart Bogaerts, Marc Denecker
Justification theory is a unifying semantic framework. While it has its roots in non-monotonic logics, it can be applied to various areas in computer science, especially in explain…
cs.LO2020★ 22 cited
A framework for step-wise explaining how to solve constraint satisfaction problems
Bart Bogaerts, Emilio Gamba, Tias Guns
We explore the problem of step-wise explaining how to solve constraint satisfaction problems, with a use case on logic grid puzzles. More specifically, we study the problem of expl…