Discover From Related Topics
ai
conference
engine
freeware
geometry
germany
haskell
java
lisp
logic
mathematics
ontology
opensource
owl
privacy
programming
python
rdf
reasoner
reasoning
research
rules
semanticweb
software
tools
[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)
[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)

