Login / Signup

On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth.

Viktor BesinMarkus HecherStefan Woltran
Published in: ECAI (2023)
Keyphrases
  • space complexity
  • web applications
  • computational complexity
  • search space
  • answer set programming
  • databases
  • computational cost
  • query language
  • worst case
  • structural information
  • stable model semantics