Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs.

Published in: LPNMR (2004)

Keyphrases

genetic algorithm
evaluation criteria
comparative evaluation
data sets
real world
integrity constraints
gold standard
evaluation method
evaluation model
evaluation process