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

First Page		Document Content
Date: 2014-11-20 20:37:14 Logic programming Model theory Stable model semantics Answer set programming		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 Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 432,67 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