Bart Bogaerts

Propagators and Solvers for the Algebra of Modular Systems

2018 · EPiC series in computing

Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Systems is a knowledge representation framework that provides a method for formally specifying such systems in purely …

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

2020 · arXiv (Cornell University)

Answer set programming (ASP) is a well-established knowledge representation formalism. Most ASP solvers are based on (extensions of) technology from Boolean satisfiability solving. While these solvers have shown to be very successful in many practical …