Logical and Algebraic Characterizations of Rational Transductions.

Emmanuel Filiot Olivier Gauwin Nathan Lhote

Published in: CoRR (2017)

Keyphrases

finite state
finite automata
rationality postulates
decision trees
probabilistic logic
data sets
higher order
markov chain
decision making
model checking
logical structure
logical representation
logical reasoning
acyclic database schemes