Automated Deduction Techniques for Studying Rough Algebras.

Laurent Vigneron

Published in: Fundam. Informaticae (1998)

Keyphrases

automated deduction
theorem proving
theorem prover
rough sets
inference rules
logic programming
artificial intelligence
distributive lattices
deductive databases
first order logic
genetic algorithm
temporal reasoning
text classification
fuzzy sets
probabilistic model
topological spaces
clifford algebra