Inductive Theorems for Higher-Order Rewriting.
Takahito AotoToshiyuki YamadaYoshihito ToyamaPublished in: RTA (2004)
Keyphrases
- higher order
- inductive learning
- high order
- natural images
- markov random field
- pairwise
- inductive reasoning
- query rewriting
- rewrite rules
- inductive logic programming
- markov models
- machine learning
- rewriting rules
- low order
- data sets
- inductive inference
- conjunctive queries
- lower order
- anti unification
- query answering
- logic programs
- knowledge representation
- queries using views
- inductive concept learning