Inference Control in Logic Databases as a Constraint Satisfaction Problem.

Joachim Biskup, Dominique Marc Burgard, Torben Weibert, Lena Wiese

Browse the full ICISS paper archive.