On countable chains having decidable monadic theory.

Alexis Bès Alexander Rabinovich

Published in: J. Symb. Log. (2012)

Keyphrases

datalog programs
theoretical basis
datalog queries
data mining
markov chain
deductive databases
neural network
bayesian networks
belief functions
action theories