Back to Results
First PageMeta Content
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

Document Date: 2014-11-20 20:37:14


Open Document

File Size: 432,67 KB

Share Result on Facebook