Towards automated proofs of observational properties.

Narjes Berregeb Riadh Robbana Ashish Tiwari

Published in: Discret. Math. Theor. Comput. Sci. (2004)

Keyphrases

semi automated
theorem prover
fully automated
neural network
real time
data sets
artificial intelligence
clustering algorithm
three dimensional
video sequences
expert systems
special case
desirable properties
theorem proving