Kripke-type Semantics for.

Verónica Borja Macías Miguel Pérez-Gaspar

Published in: Electron. Notes Theor. Comput. Sci. (2016)

Keyphrases

formal semantics
model checking
modal logic
databases
neural network
real world
machine learning
computer vision
case study
multiscale
video sequences
conceptual model
desirable properties