Logic Programming for Cellular Automata.
Marcus VölkerKatsumi InouePublished in: ICLP (Technical Communications) (2015)
Keyphrases
- logic programming
- cellular automata
- logic programs
- cellular automaton
- nonmonotonic reasoning
- deductive databases
- cellular automata model
- knowledge base
- logic programming language
- knowledge representation
- programming language
- lattice gas
- answer set programming
- discrete dynamical systems
- default logic
- answer sets
- stable models
- computational logic
- reasoning about actions
- constraint logic programming
- pattern formation
- description logics
- chaotic dynamics
- defeasible argumentation
- inductive logic programming
- artificial intelligence
- propositional variables