On the Use of the Constructive Omega-Rule within Automated Deduction.
Siani BakerAndrew IrelandAlan SmaillPublished in: LPAR (1992)
Keyphrases
- automated deduction
- theorem proving
- theorem prover
- inference rules
- logic programming
- classification rules
- rule sets
- rule discovery
- machine learning
- active databases
- rule induction
- logic programs
- deductive databases
- labeled data
- software engineering
- association rules
- neural network
- real time
- object oriented
- fuzzy logic
- data structure
- real world
- rule generation