[Discover] Pellet: The Open Source OWL DL Reasoner http://pellet.owldl.com/ (semanticweb ontology java rdf)
 [Discover] David MacKay: Information Theory, Inference, and Learning Algorithms: Home http://www.inference.phy.cam.ac.uk/mackay/itila/ (statistics mathematics science books)
 [Discover] PowerLoom http://www.isi.edu/isd/LOOM/PowerLoom/ (inference lisp ai business)
 [Discover] Mizar Home Page http://mizar.org/ (mathematics research inference logic)
 [Discover] Swish: Semantic Web Inference Scripting in Haskell http://www.ninebynine.org/RDFNotes/Swish/Intro.html (haskell inference semanticweb rdf)
 [Discover] Drools http://drools.org/ (java rules declarative opensource)
 [Discover] Racer Systems GmbH & Co. KG http://www.racer-systems.com/ (ontology semanticweb owl reasoner)
 [Discover] PARC Privacy Appliance http://www.parc.com/research/projects/privacyappliance/ (inference privacy aggregator xerox)
 [Discover] Policy Aware Web Project http://www.policyawareweb.org/ (ontology usa inference policy)
 [Discover] OWLIM - OWL Semantic Repository http://www.ontotext.com/owlim/ (ontology owl semanticweb rdf)
 [Discover] Jess, the Rule Engine for the Java Platform http://herzberg.ca.sandia.gov/jess/ (java opensource programming jess)
 [Discover] PyCLIPS | Home Page http://pyclips.sourceforge.net/ (logic clips python inference)
 [Discover] Racer Systems http://www.racer-systems.com/index.phtml (ontology semanticweb reasoner software)
 [Discover] Otter: An Automated Deduction System http://www-unix.mcs.anl.gov/AR/otter/ (inference chicago research logic)
 [Discover] Osherson http://www.princeton.edu/~osherson/ (portsma psychology inference princeton)
 [Discover] ACL2 Version 3.2 http://www.cs.utexas.edu/users/moore/acl2/ (lisp tool programming theorem)
 [Discover] Isabelle http://isabelle.in.tum.de/ (theorem tools engine munich)
 [Discover] Lorenzo Castelli's personal site - Lorenzo Castelli's personal site http://lcastelli.googlepages.com/logicreasoner (gpl inference logic programming)
 [Discover] Thinking Clearly» Blog Archive » Introducing Pronto: Probabilistc DL Reasoning in Pellet http://clarkparsia.com/weblog/2007/09/27/introducing-pronto/ (ontology owl semanticweb probability)
 [Discover] Soar : Home http://sitemaker.umich.edu/soar/home (soar research ai academic)
 [Discover] Welcome to Pyke http://pyke.sourceforge.net/ (python programming ai inference)
 [Discover] Tones - Home http://www.tonesproject.org/index.php (ontology fet dresden bolzano)
 [Discover] Dr. Guizhen Yang's Home Page http://www.cse.buffalo.edu/faculty/gzyang/ (inference researcher flora)
 [Discover] ISWC 2007 - WS http://members.deri.at/~ruzicap/ISWC2007-WS/index.html (inference semanticweb conference korea)
 [Discover] The 7th International Symposium on Logical Formalizations of Commonsense Reasoning http://www.iccl.tu-dresden.de/announce/CommonSense-2005/ (inference conference ai corfu)
 [Discover] Haskell Equational Reasoning Assistant - HaskellWiki http://haskell.org/haskellwiki/Haskell_Equational_Reasoning_Assistant (inference haskell refactoring)
 [Discover] IMOK :: Intelligent Monitoring of Kitchens http://www.im-ok.info/ (inference food)
 [Discover] Exeura - Knowledge Management Solutions http://www.exeura.it/ (inference italy management company)
 [Discover] WebHome < Main < I1-[OntoSpace] http://www.ontospace.uni-bremen.de/twiki/bin/view/Main/WebHome (inference geometry germany ontology)
 [Discover] ASPIC - Consortium for argumentation technology http://www.argumentation.org/main.htm (inference argumentation)
 [Discover] alphaWorks : IBM Integrated Ontology Development Toolkit : Overview http://www.alphaworks.ibm.com/tech/semanticstk?open&S_TACT=104AHW61&S_CMP=GR&ca=dgr-lnxd ... (ibm ontology inference freeware)
 [Discover] SourceForge.net: IRIS - Integrated Rule Inference System http://sourceforge.net/projects/iris-reasoner/ (semanticweb logic rule inference)
 [Discover] TyRuBa -- Logic Meta Programming for Java http://tyruba.sourceforge.net/ (logic tyruba prolog java)
 [Discover] FaCT++ http://del.icio.us/doc/dangerous#javascript:location.href='http://del.icio.us/stefano.bertolo?v=3&am ... (manchester inference owl dl)