Publications

Compacting Boolean Formulae for Inference in Probabilistic Logic Programming

AuthID
P-00J-Y0D

Author(s)

Mantadelis, T

Shterionov, DS

Janssens, G

Editor(s)

Francesco Calimeri; Giovambattista Ianni; Miroslaw Truszczynski

Document Type

Proceedings Paper

Year published

2015

Published

in Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9345, Pages: 425-438

Conference

13Th International Conference on Logic Programming and Nonmonotonic Reasoning, Lpnmr 2015, Date: 27 September 2015 through 30 September 2015, Sponsors: Association for the Advancement of Artificial Intelligence (AAAI);Association of Logic Programming (ALP);et al;European Coordinating Committee for Artificial Intelligence (ECCAI);National Science Foundation (NSF USA)

Indexing