Ontify
Probabilistic techniques for solving computational problems that can be reduced to finding good paths through graphs.