Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration.

Published in: ECAI (1998)

Keyphrases

database systems
computational model
formal model
statistical model
mathematical model
cost function
probabilistic model
prediction model
selection mechanism
similarity measure
relational databases
em algorithm
theoretical framework