On Logics for Coalgebraic Simulation.

Corina Cîrstea

Published in: CMCS (2004)

Keyphrases

mathematical model
inference rules
high fidelity
databases
data mining
artificial intelligence
clustering algorithm
learning environment
expressive power
modal logic
simulation environment