Login / Signup
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