Model Elimination Without Contrapositives.

Peter Baumgartner Ulrich Furbach

Published in: CADE (1994)

Keyphrases

probabilistic model
database
theoretical foundation
network model
high level
management system
computational model
closed form
databases
neural network
computer vision
clustering algorithm
bayesian networks
theoretical analysis
formal model
analytical model