An Algebraic Approach to Deduction in Equational Partial Horn Theories.
Uwe WolterPublished in: J. Inf. Process. Cybern. (1991)
Keyphrases
- horn theories
- theorem proving
- canonical representation
- theorem prover
- functional dependencies
- inference rules
- automated theorem proving
- equational theories
- first order logic
- automated reasoning
- horn clauses
- integrity constraints
- automated deduction
- computer algebra
- data sets
- deductive reasoning
- anti unification
- data types
- relational databases
- genetic algorithm