Proofs in Context.

Giuseppe Attardi Maria Simi

Published in: KR (1994)

Keyphrases

computer vision
context aware
contextual information
conceptual framework
neural network
learning algorithm
bayesian networks
multiscale
multi agent systems
conceptual model
context sensitive
theorem proving
knowledge retrieval