Combining assisted and automated deduction.

Hélène Kirchner

Published in: Ann. Math. Artif. Intell. (2000)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
inference rules
three dimensional
data sets
image processing
artificial neural networks
deductive databases
database
databases
artificial intelligence
multiresolution
knowledge representation