Login / Signup
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey.
Amy P. Felty
Alberto Momigliano
Brigitte Pientka
Published in:
J. Autom. Reason. (2015)
Keyphrases
</>
higher order
problems involving
knowledge base
pairwise
markov random field
solving problems
neural network
state space
optimization problems
higher level
reasoning tasks