Decidability and undecidability in cellular automata.
Jarkko KariPublished in: Int. J. Gen. Syst. (2012)
Keyphrases
- cellular automata
- description logics
- query containment
- cellular automaton
- knowledge base
- query answering
- cellular automata model
- conjunctive queries
- answering queries
- knowledge representation
- decision procedures
- predator prey
- cellular automaton model
- data exchange
- probabilistic planning
- potts model
- chaotic dynamics
- lattice gas
- transitive closure
- path planner
- input output
- discrete dynamical systems