Naveen Nair, Anandraj Govindan, Chander Jayaraman, T. V. S. Kiran, Ganesh Ramakrishnan. Pruning Search Space for Weighted First Order Horn Clause Satisfiability. In Paolo Frasconi, Francesca A. Lisi, editors, Inductive Logic Programming - 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers. Volume 6489 of Lecture Notes in Computer Science, pages 171-180, Springer, 2010. [doi]
Abstract is missing.