Boosting Answer Set Optimization with Weighted Comparator Networks

Jori Bomanson, Tomi Janhunen

Answer set programming (ASP) is a paradigm for modeling knowledge intensive domains and solving challenging reasoning problems. In ASP solving, a typical strategy is to preprocess…