Login / Signup
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.
Thomas Eiter
Michael Fink
Giovambattista Ianni
Thomas Krennwallner
Peter Schüller
Published in:
LPNMR (2011)
Keyphrases
</>
answer sets
evaluation criteria
evaluation methods
programming environment
automatic programming
real time
real world
genetic algorithm
logic programs
lightweight
cost effective
computationally expensive
evaluation method
evaluation model
efficient computation