Induction=I-Axiomatization+First-Order Consistency.
Hubert ComonRobert NieuwenhuisPublished in: Inf. Comput. (2000)
Keyphrases
- first order logic
- higher order
- inductive learning
- neural network
- temporal consistency
- situation calculus
- constructive induction
- relational learning
- quantifier elimination
- cardinality constraints
- concept formation
- explanation based learning
- data sets
- rule induction
- subgroup discovery
- horn clauses
- general theory
- consistency checking
- domain theory
- global constraints
- expert systems
- bayesian networks
- database systems
- maintaining consistency