Bisimilarity and refinement for hybrid(ised) logics

Alexandre Madeira Manuel A. Martins Luís Soares Barbosa

Published in: Refine@IFM (2013)

Keyphrases

modal logic
databases
expressive power
inference rules
hybrid learning
neural network
data sets
data mining
image processing
multiscale
multi agent systems
evolutionary algorithm
classical logic
query refinement