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