Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata.
Maurice MargensternPublished in: RP (2010)
Keyphrases
- cellular automata
- description logics
- query containment
- knowledge base
- cellular automaton
- query answering
- discrete dynamical systems
- lattice gas
- cellular automata model
- predator prey
- answering queries
- path planner
- partial differential equations
- conjunctive queries
- chaotic dynamics
- knowledge representation
- number restrictions
- cellular automaton model