Inference Control in Logic Databases as a Constraint Satisfaction Problem.

Joachim Biskup Dominique Marc Burgard Torben Weibert Lena Wiese Inference Control in Logic Databases as a Constraint Satisfaction Problem. 128-142 2007 conf/iciss/2007 ICISS http://dx.doi.org/10.1007/978-3-540-77086-2_10 db/conf/iciss/iciss2007.html#BiskupBWW07