Login / Signup
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks.
Amy P. Felty
Alberto Momigliano
Brigitte Pientka
Published in:
CoRR (2015)
Keyphrases
</>
higher order
solving problems
high level
low level
pairwise
knowledge representation
natural images
higher level
high order
problems involving
artificial intelligence
knowledge base
optimization problems
qualitative reasoning
reasoning problems