Computational reflection via mechanized logical deduction.

Alessandro Cimatti Paolo Traverso

Published in: Int. J. Intell. Syst. (1996)

Keyphrases

multiscale
artificial neural networks
inference rules
database
data mining
search engine
knowledge representation
computational models