Pruning search space for weighted first order Horn clause satisfiability. (English)
Frasconi, Paolo (ed.) et al., Inductive logic programming. 20th international conference, ILP 2010, Florence, Italy, June 27‒30, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-21294-9/pbk). Lecture Notes in Computer Science 6489. Lecture Notes in Artificial Intelligence, 171-180 (2011).
1
Pruning search space for weighted first order Horn clause satisfiability (English)
ILP, 171-180 (2010).
2