Login / Signup
Intuitionistic Implication and Resolution.
Alain Hui-Bon-Hoa
Published in:
ILPS (1994)
Keyphrases
</>
fuzzy relations
low resolution
linear logic
fuzzy set theory
theorem prover
conflict detection
high resolution
functional dependencies
data sets
social networks
databases
super resolution
expert systems
fuzzy numbers
face recognition
horn clauses
database systems
fuzzy information
consequence finding