Login / Signup
Typed Answer Set Programming and Inverse Lambda Algorithms
Chitta Baral
Juraj Dzifcak
Marcos Alvarez Gonzalez
Aaron Gottesman
Published in:
CoRR (2012)
Keyphrases
</>
answer set programming
logic programs
logic programming
data mining
higher order
search strategies
tree decomposition
np hard problems
causal theories