Advertisement
OO jDREW
An open source deductive reasoning engine for the RuleML web rule language...
object engine reasoning engine object implementation object identifier
UnBBayes
Open source software for modeling, learning and reasoning upon probabilistic networks...
model learn reasoning probabilistic network modeller learn probabilistic network
Jadex
Belief desire intention agent system for your Mac...
programming engine reasoning engine reasoning agent programming
SAT4J
Brings the power of SAT technology to the Java platform...
Raptor
Java tool for reasoning about imperative programs...