Apps filed under: reasoning
RSS Feed for this tag 3 applications totalLast updated: Nov 2nd 2013, 21:35 GMT
- 178 downloads
- 14.8 MB
LogMap 2.4
Highly scalable ontology matching system
Nov 2nd 2013, 21:35 GMT
Mac OS X
- 485 downloads
- 507 KB
SAT4J 2.3.3
Brings the power of SAT technology to the Java platform
Feb 12th 2013, 16:07 GMT
Mac OS X
- 1,152 downloads
- 1 KB
Raptor 5.0
Java tool for reasoning about imperative programs
Jun 6th 2012, 23:56 GMT
Mac OS X