ARC: An Extended ATMS Based on Directed CAT-Correct Resolution.

Published in: Truth Maintenance Systems (ECAI Workshop) (1990)

Keyphrases

machine learning
high resolution
knowledge representation
real time
case study
database systems
digital libraries
special case
probabilistic model
low resolution
temporal resolution