Alchemy - Open Source AI onlineengine
Alchemy 2.0: Probabilistic theorem proving
markov thebeast: Markov Logic / Statistical Relational Learning Software
machine learning open source software
An Exercise with Statistical Relational Learning Systems
PRISM is a general programming language intended for symbolic-statistical modeling