The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.

Dorota Leszczynska-Jasion

Published in: Stud Logica (2008)

Keyphrases

detection method
cost function
objective function
pairwise
bayesian networks
clustering method
significant improvement
high accuracy
detection algorithm
neural network
image sequences
multiscale
preprocessing
dynamic programming
first order logic