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