Safety logics.

John Bell Zhisheng Huang

Published in: Applications of Uncertainty Formalisms (1998)

Keyphrases

expressive power
modal logic
inference rules
conditional logic
proof theory
computer vision
propositional calculus
knowledge base
multiscale
data structure
search algorithm
propositional logic
decision procedures
nonmonotonic logics