Login / Signup
Solving Alternating Boolean Equation Systems in Answer Set Programming.
Misa Keinänen
Ilkka 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