Date: 2015-11-20 04:37:18Model 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.lastnamAdd to Reading ListSource URL: lirias.kuleuven.beDownload Document from Source Website File Size: 485,38 KBShare Document on Facebook
|