Boosting Answer Set Optimization with Weighted Comparator Networks.

Jori Bomanson Tomi Janhunen

Published in: CoRR (2020)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
social networks
optimization problems
answer set programs
normal logic programs
machine learning
sat solvers
answer set semantics
databases
information retrieval
high level
relational databases
counter examples