Login / Signup
Adaptive Lookahead for Answer Set Computation.
Guohua Liu
Jia-Huai You
Published in:
ICTAI (2) (2007)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
information systems
search space
databases
search algorithm
general purpose
programming language
orders of magnitude
constraint programming
counter examples