A Model Elimination Calculus for Generalized Clauses.

Published in: TABLEAUX (1992)

Keyphrases

computational model
high level
prior knowledge
similarity measure
cost function
probabilistic model
theoretical framework
data sets
knowledge base
objective function
management system
markov chain
formal model
object model