First-order definability of rational transductions: An algebraic approach.

Emmanuel Filiot Olivier Gauwin Nathan Lhote

Published in: LICS (2016)

Keyphrases

finite model theory
first order logic
propositional logic
higher order
finite automata
finite state
fixed point
database theory
decision making
stochastic dominance
neural network
horn clauses
probabilistic logic
finitely representable