A Paraconsistent Semantics with Contradiction Support Detection.

Carlos Viegas Damásio Luís Moniz Pereira

Published in: LPNMR (1997)

Keyphrases

logic programming
semantic information
detection algorithm
possibilistic logic
formal semantics

object detection
automatic detection
definition language
databases
reasoning tasks

false alarms
detection rate
decision support
logic programs
knowledge management

end users
object recognition
high level
computer vision
neural network