Completeness of neighbourhood logic.

Rana Barua Suman Roy Chaochen Zhou

Published in: J. Log. Comput. (2000)

Keyphrases

logic programming
multi valued
defeasible logic
proof theory
modal logic
sound and complete axiomatization
predicate logic
automated reasoning
computational properties
classical logic
data quality
multiscale
bayesian networks
database
default reasoning
abductive reasoning
computer vision
neural network