Symbolic Register Automata.
Loris D'AntoniTiago FerreiraMatteo SammartinoAlexandra SilvaPublished in: CAV (1) (2019)
Keyphrases
- symbolic representation
- cellular automata
- probabilistic automata
- finite automata
- finite state
- connectionist systems
- symbolic description
- neural learning
- high level
- connectionist models
- regular expressions
- formal language theory
- finite state machines
- multi agent systems
- artificial neural networks
- expert systems
- symbolic data
- social networks
- artificial intelligence
- symbolic reasoning
- data mining
- associative learning
- lattice gas
- neural network
- databases