A Sequent-Style Model Elimination Strategy and a Positive Refinement.

David A. Plaisted

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

Keyphrases

probabilistic model
mathematical model
network model
high level
prior knowledge
cost function
computational model
statistical model
conceptual model
decision making
decision trees
objective function
theoretical analysis
bayesian framework
formal model
object model