Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models.

Jasmin Christian Blanchette Koen Claessen

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

case study
probabilistic model
complex systems
structural features
clustering algorithm
prior knowledge
model selection
structural information
bayesian framework
classification models
learning models
structural model