Login / Signup

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Francesco CalimeriDavide FuscàSimona PerriJessica Zangari
Published in: PADL (2018)
Keyphrases
  • answer sets
  • logic programs
  • answer set programming
  • logic programming
  • answer set semantics
  • counter examples
  • answer set programs
  • relational databases
  • software engineering
  • normal logic programs