Natural Inductive Theorems for Higher-Order Rewriting.
Takahito AotoToshiyuki YamadaYuki ChibaPublished in: RTA (2011)
Keyphrases
- higher order
- pairwise
- high order
- natural images
- inductive learning
- man made
- conditional random fields
- low order
- markov random field
- neural network
- inductive logic programming
- knowledge representation
- real world
- programming language
- conjunctive queries
- machine learning
- real time
- lower order
- rewriting rules
- lambda calculus