- Referenced in 233 articles
- The Smodels system is an Answer Set Programming...
- Referenced in 89 articles
- This software promotes some general and useful tools...
- Referenced in 402 articles
- A decision-theoretic generalization of on-line learning...
- Referenced in 138 articles
- darch: Package for deep architectures and Restricted-Bolzmann...
- Referenced in 10 articles
- MaTest is a logical matrix tester, a useful...
- Referenced in 29 articles
- PRISM: A language for symbolic-statistical modeling. We...