Login / Signup

Boosting Answer Set Optimization with Weighted Comparator Networks.

Jori BomansonTomi Janhunen
Published in: Theory Pract. Log. Program. (2020)
Keyphrases
  • answer sets
  • logic programs
  • answer set programming
  • logic programming
  • databases
  • social networks
  • answer set semantics
  • normal logic programs
  • counter examples
  • general purpose
  • optimization problems
  • search strategies