An experiment using DLV-K.

Rocío Santillán Alejandra López

Published in: LA-NMR (2004)

Keyphrases

disjunctive logic programming
answer set programming
answer sets
logic programs
upper bound
case study
evolutionary algorithm
logic programming
orders of magnitude
normal logic programs