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