A Pattern Logic for Automata with Outputs.

Emmanuel Filiot Nicolas Mazzocchi Jean-François Raskin

Published in: DLT (2018)

Keyphrases

pattern matching
automata theoretic
multi valued
pattern detection
cellular automata
modal logic
deterministic automata
pattern discovery
regular expressions
logic programming
data mining
classical logic
deontic logic
proof theory
delay insensitive
expert systems
artificial intelligence