Automated deduction with associative commutative operators.
Michaël RusinowitchLaurent VigneronPublished in: FAIR (1991)
Keyphrases
- automated deduction
- theorem proving
- theorem prover
- logic programming
- inference rules
- morphological operators
- deductive databases
- supervised learning
- building blocks
- evolutionary algorithm
- computer vision
- active learning
- databases
- bayesian networks
- high level
- first order logic
- information systems
- artificial intelligence
- genetic algorithm
- information retrieval
- aggregation operators
- neural network