A much better polynomial time approximation of consistency in the LR calculus.

Dominik Lücke Till Mossakowski

Published in: STAIRS (2010)

Keyphrases

polynomial time approximation
np hard
approximation algorithms
error bounds
logistic regression
bin packing
low resolution
identical machines
theoretical analysis
qualitative spatial and temporal reasoning
special case
approximation guarantees