Automated Inference of Finite Unsatisfiability.

Koen Claessen Ann Lillieström

Published in: CADE (2009)

Keyphrases

bayesian networks
finite number
semi automated
data driven
belief networks
dynamic bayesian networks
inference engine
inference mechanism
grammatical inference
automated analysis
structured prediction
efficient learning
decision theoretic
real time
propositional logic
genetic algorithm
data sets