First Page | Document Content | |
---|---|---|
Date: 2014-11-20 20:37:14Logic 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, VictoriaAdd to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 432,67 KBShare Document on Facebook |