A System for Reasoning About Time.

Published in: AAAI (1982)

Keyphrases

formal theory
spatial reasoning
qualitative reasoning
objective function
probabilistic knowledge
neural network
machine learning
artificial intelligence
computer vision
multi agent
pattern recognition