Goal-Directed Methods for Lukasiewicz Logic.

George Metcalfe Nicola Olivetti Dov M. Gabbay

Published in: CSL (2004)

Keyphrases

goal directed
preprocessing
significant improvement
empirical studies
computationally expensive
databases
information retrieval
artificial intelligence
computer vision
case study
cross validation
machine learning methods