The propositional normal default logic and the finite/infinite injury priority method.

Wei Li Yuefei Sui Yuhui Wang

Published in: Sci. China Inf. Sci. (2017)

Keyphrases

default logic
probabilistic model
similarity measure
pairwise
dynamic programming
first order logic
image matching
dynamical systems