Generator Induction in Order Sorted Algebras.
Olaf OweOle-Johan DahlPublished in: Formal Aspects Comput. (1991)
Keyphrases
- order sorted
- predicate logic
- inductive learning
- program synthesis
- constructive induction
- spatial reasoning
- rule induction
- neural network
- machine learning
- explanation based learning
- inductive logic programming
- clifford algebra
- inductive inference
- subgroup discovery
- domain specific
- natural language processing
- information retrieval
- interval algebra
- topological spaces