Symbolic Bisimulation for Full LOTOS.

Carron Shankland Muffy Thomas

Published in: AMAST (1997)

Keyphrases

symbolic representation
temporal ordering
connectionist systems
data sets
high level
connectionist learning
information retrieval
neural network
search engine
bayesian networks
reinforcement learning
anomaly detection
equivalence relation
symbolic data
symbolic reasoning