Linear Strategy for Propositional Modal Resolution.

Published in: Inf. Process. Lett. (1988)

Keyphrases

modal logic
first order logic
high resolution
linear systems
propositional variables
real time
data sets
video sequences
search space
low resolution
multi valued
probabilistic logic
prime implicates
consequence finding