Proving Equational and Inductive Theorems by Completion and Embedding Techniques.
Jürgen AvenhausPublished in: RTA (1991)
Keyphrases
- theorem proving
- inductive learning
- inductive logic programming
- equational theories
- robust image watermarking
- vector space
- inductive reasoning
- graph embedding
- nonlinear dimensionality reduction
- watermarking algorithm
- concept learning
- manifold embedding
- rule learning
- horn clauses
- theorem prover
- knowledge representation
- genetic algorithm
- machine learning
- neural network
- signal processing
- multiresolution
- multidimensional scaling
- expert systems
- clustering algorithm
- information systems
- search engine
- knuth bendix