A logic of sequences.

Norihiro Kamide

Published in: Reports Math. Log. (2011)

Keyphrases

hidden markov models
modal logic
logic programming
predicate logic
real time
long sequences
logic programs
test sequences
set theory
delay insensitive
digital circuits
multi valued
automated reasoning
sequential patterns
expert systems
database systems
artificial intelligence