Building Proofs or Counterexamples by Analogy in a Resoluton Framework.

Christophe Bourely Gilles Défourneaux Nicolas Peltier

Published in: JELIA (1996)

Keyphrases

main contribution
databases
artificial intelligence
information systems
real world
decision trees
data structure
probabilistic model
multi class
theoretical framework
bayesian framework
conceptual framework