Login / Signup
Nested HEX-Programs
Thomas Eiter
Thomas Krennwallner
Christoph Redl
Published in:
CoRR (2011)
Keyphrases
</>
answer sets
logic programs
computer programs
fixpoint
game playing
game tree search
control structures
provably correct
data sets
databases
neural network
real world
digital libraries
automatic programming