An augmentation of BAN-like logics.

Published in: CSFW (1995)

Keyphrases

expressive power
modal logic
propositional calculus
inference rules
classical logic
neural network
temporal logic
multiscale
image processing
evolutionary algorithm
query language
probabilistic model
database systems
case study
genetic algorithm
epistemic logic
data sets