Integrating Resolution-like Procedures with Lukasiewicz Implication.

Guglielmo Tamburrini Settimo Termini

Published in: IPMU (1992)

Keyphrases

high resolution
modal logic
functional dependencies
digital libraries
low resolution
truth values
machine learning
information retrieval
computer vision
feature selection
decision trees
database design