Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.

Haiyu Pan Min Zhang Yixiang Chen

Published in: SERE (Companion) (2012)

Keyphrases

desirable properties
temporal logic
modal logic
decision making
model checking
databases
neural network
information retrieval
social networks
feature selection
multiscale
xml documents
knowledge discovery
structural features
lattice theory