Login / Signup

Automated Selection of Grounding Algorithm in Answer Set Programming.

Marco MarateaLuca PulinaFrancesco Ricca
Published in: AI*IA (2013)
Keyphrases
  • answer set programming
  • computational complexity
  • objective function
  • search strategy
  • disjunctive logic programming
  • knowledge base
  • database systems
  • optimal solution
  • relational databases
  • tree decomposition