Inductive definitions in logic versus programs of real-time cellular automata.
Etienne GrandjeanThéo GrenteVéronique TerrierPublished in: Theor. Comput. Sci. (2024)
Keyphrases
- cellular automata
- real time
- cellular automaton
- functional programs
- cellular automata model
- recursive programs
- lattice gas
- dynamic logic
- deductive reasoning
- logic programs
- knowledge representation
- path planner
- predator prey
- pattern formation
- reaction diffusion
- chaotic dynamics
- traffic flow
- modal logic
- vision system
- hidden markov models
- neural network