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

First Page		Document Content
Date: 2015-11-20 04:37:18 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 Source URL: lirias.kuleuven.be Download Document from Source Website File Size: 485,38 KB Share Document on Facebook

	Stable Model Counting and Its Application in Probabilistic Logic Programming Rehan Abdul Aziz and Geoffrey Chu and Christian Muise and Peter Stuckey arXiv:1411.5410v1 [cs.AI] 20 NovNational ICT Australia, Victoria DocID: 1reyU - View Document
	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy DocID: 1r1HN - View Document
	A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London DocID: 1qIL8 - View Document
	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy DocID: 1qq6Q - View Document
	Experiencing ASP with real world applications G. Terracina1 , E. De Francesco1 , C. Panetta1 , N. Leone1 Dipartimento di Matematica, Universit`a della Calabria, IRende (CS), Italy terracina,defrancesco,panetta,leo DocID: 1qc4c - View Document