Automated deduction with associative-commutative operators.

Michaël Rusinowitch Laurent Vigneron

Published in: Appl. Algebra Eng. Commun. Comput. (1995)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
morphological operators
deductive databases
databases
learning algorithm
data structure
logic programming
associative search
semi supervised learning
special case
training set
case study
website
image processing
neural network