Comparing Instance Generation Methods for Automated Reasoning.

Swen Jacobs Uwe Waldmann

Published in: J. Autom. Reason. (2007)

Keyphrases

machine learning
automated reasoning
knowledge representation
artificial intelligence
high level
bayesian networks
special case
fuzzy logic