Compacting Boolean Formulae for Inference in Probabilistic Logic Programming

Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens. Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Volume 9345 of Lecture Notes in Computer Science, pages 425-438, Springer, 2015. [doi]

Authors

Theofrastos Mantadelis

This author has not been identified. Look up 'Theofrastos Mantadelis' in Google

Dimitar Sht. Shterionov

This author has not been identified. Look up 'Dimitar Sht. Shterionov' in Google

Gerda Janssens

This author has not been identified. It may be one of the following persons: Look up 'Gerda Janssens' in Google