Back to Results
First PageMeta Content
Model theory / Predicate logic / Markov logic network / Rules of inference / Probabilistic logic / Stable model semantics / Resolution / First-order logic / Atomic formula / Propositional calculus / FO / Inference


Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam
Add to Reading List

Document Date: 2015-11-20 04:37:18


Open Document

File Size: 485,38 KB

Share Result on Facebook