Algorithms for Guiding Clausal Temporal Resolution.

M. Carmen Fernández Gago Michael Fisher Clare Dixon

Published in: KI (2002)

Keyphrases

temporal resolution
machine learning
learning algorithm
three dimensional
feature extraction
video sequences
computational complexity
multi view
temporal logic