Advertentie
Oo JDrew
Een open source deductieve redeneermotor voor de taal van de RULEML-webregel ...
object motor Redenerende motor Objectimplementatie object-ID
Ontbonden
Open source software voor modellering, leren en redeneren op probabilistische netwerken ...
model- leren redenering Probabilistic Network Modeller leer probabilistisch netwerk
Roofvogel
JAVA-tool voor redenering over imperatieve programma's ...
Jadex
Belief Desire Intention Agent System voor uw Mac ...
programmeren motor Redenerende motor redenering Agent programmering
SAT4J
Brengt de kracht van SAT-technologie naar het Java-platform ...