A Pattern Logic for Automata with Outputs.
Emmanuel FiliotNicolas MazzocchiJean-François RaskinPublished in: CoRR (2018)
Keyphrases
- pattern matching
- logic programming
- cellular automata
- modal logic
- classical logic
- pattern detection
- regular expressions
- sound and complete axiomatization
- probabilistic logic
- automata theoretic
- finite state
- defeasible logic
- set theory
- tree automata
- databases
- probabilistic automata
- lattice gas
- deterministic automata
- real time