Login / Signup

An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming.

Isabelle KuhlmannMatthias Thimm
Published in: SUM (2020)
Keyphrases
  • answer set programming
  • computational complexity
  • optimal solution
  • artificial intelligence
  • objective function
  • np hard
  • orders of magnitude
  • tree decomposition