Login / Signup
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