Login / Signup

Solving Alternating Boolean Equation Systems in Answer Set Programming.

Misa KeinänenIlkka Niemelä
Published in: INAP/WLP (2004)
Keyphrases
  • answer set programming
  • logic programs
  • answer set solvers
  • answer sets
  • logic programming
  • reasoning tasks
  • genetic algorithm
  • natural language
  • constraint logic programming
  • answer set programs
  • artificial intelligence