Extensions to a Generalization Critic for Inductive Proof.
Andrew IrelandAlan BundyPublished in: CADE (1996)
Keyphrases
- inductive learning
- linear logic
- constructive induction
- information retrieval
- efficient implementation
- default logic
- machine learning
- automated theorem proving
- knowledge representation
- learning machines
- interactive theorem proving
- neural network
- argumentation semantics
- default theories
- inductive inference
- theorem proving
- bayesian networks
- database systems
- knowledge base
- artificial intelligence