An Efficient Method for Eliminating Varying Predicates from a Circumscription.

Marco Cadoli Thomas Eiter Georg Gottlob

Published in: Artif. Intell. (1992)

Keyphrases

fully automatic
preprocessing
detection method
high precision
synthetic data
theoretical analysis
cost function
computationally efficient
multiscale
highly efficient
classification method
pairwise
objective function
logic programming
model selection
high accuracy
segmentation method
dynamic programming
data sets