Logic for communicating automata with parameterized topology.
Benedikt BolligPublished in: CSL-LICS (2014)
Keyphrases
- database
- relational databases
- modal logic
- cellular automata
- automata theoretic
- communication channels
- data sets
- logic programming
- finite state machines
- digital circuits
- finite automata
- classical logic
- lattice gas
- probabilistic automata
- proof theory
- abductive reasoning
- computational properties
- multi valued
- automated reasoning
- regular expressions
- nonmonotonic logics
- truth values
- formal theory
- deontic logic
- temporal logic
- expert systems
- machine learning
- sound and complete axiomatization