Logics for Contravariant Simulations.

Ignacio Fábregas David de Frutos-Escrig Miguel Palomino

Published in: FMOODS/FORTE (2010)

Keyphrases

expressive power
modal logic
real time
real world
multiscale
inference rules
data mining
artificial intelligence
search engine
video sequences
numerical simulations
simulation model
agent based simulations
propositional calculus