A reasoning method for a paraconsistent logic.
Arthur BuchsbaumTarcisio H. C. PequenoPublished in: Stud Logica (1993)
Keyphrases
- synthetic data
- preprocessing
- detection method
- computationally efficient
- mutual information
- computational cost
- support vector machine
- fully automatic
- neural network
- high precision
- main contribution
- theoretical analysis
- edge detection
- experimental evaluation
- dynamic programming
- cost function
- significant improvement
- knowledge base
- high accuracy
- expert systems
- clustering method
- computational complexity
- support vector
- mathematical model
- similarity measure