Tp-compilation for inference in probabilistic logic programs

© 2016 Elsevier Inc. We propose T P -compilation, a new inference technique for probabilistic logic programs that is based on forward reasoning. T P -compilation proceeds incrementally in that it interleaves the knowledge compilation step for weighted model counting with forward reasoning on the log...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International Journal of Approximate Reasoning 2016-11, Vol.78, p.15-32
Hauptverfasser:	Vlasselaer, Jonas, Van den Broeck, Guy, Kimmig, Angelika, Meert, Wannes, De Raedt, Luc
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!