1 - 100 of total 161 results for type:Software in 3.321000099182129 seconds
indexlabeltypemoresourcemodifiedindexed
1Mace4 1207InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Mace41207.owl2008-06-292008-07-31
2IBM Cross-Document Coreference ResolverInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMCrossDocumentCoreferenceResolver.owl2008-06-292008-07-31
3FlotterOnTPTPInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/FlotterOnTPTP.owl2008-06-292008-07-31
4E 0.999tInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/E0.999t.owl2008-06-292008-07-31
5IBM KANI holdsDuring Relation DetectorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMholdsDuringRelationDetector.owl2008-06-292008-07-31
6E-SETHEO csp04-SATInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/ESETHEOCsp04_SAT.owl2008-06-292008-07-31
7DC-Train 4.0InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DCTrain.owl2008-06-292008-07-31
8n/aSourcebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_clr.owl2007-08-102008-07-24
9Equinox 1.2InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Equinox.owl2008-06-292008-07-31
10GLiDeSInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/GLiDeS.owl2008-06-292008-07-31
11Gandalf c-2.6-SATInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/GandalfC_2.6_SAT.owl2008-06-292008-07-31
12CSD-UOC hy566InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/CSDUOCHy566.owl2008-06-292008-07-31
13IsabelleInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/ISABELLE.owl2008-06-292008-07-31
14Matita 0.1.0InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Matita.owl2008-06-292008-07-31
15E 0.999sInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/E0.999s.owl2008-06-292008-07-31
16IBM Knowledge IntegratorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMKnowledgeIntegrator.owl2008-06-292008-07-31
17E-SETHEO csp04InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/ESETHEO.owl2008-06-292008-07-31
18IBM Cross-Annotator Coreference ResolverInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMCross-AnnotatorCoreferenceResolver.owl2008-06-292008-07-31
19Observer Log TerminalInferenceEnginebrowser2 , browsehttp://cedarweb.hao.ucar.edu/spcdis/registry/IE/LogTerminal.owl2008-05-302008-07-24
20Gandalf c-2.6-PRFInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/GandalfC_2.6_PRF.owl2008-06-292008-07-31
21n/aSoftwarebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc1.owl2007-08-102008-07-24
22Equinox 1.3InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Equinox1.3.owl2008-06-292008-07-31
23Gandalf c-2.6InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Gandalf.owl2008-06-292008-07-31
24CVC3InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/CVC3.owl2008-06-292008-07-31
25Mace2 2.2InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Mace2.owl2008-06-292008-07-31
26DCTP 1.31-EPRInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DCTP1.31_EPR.owl2008-06-292008-07-31
27GEON >Merge DatasetsInferenceEnginebrowser2 , browsehttp://iw.cs.utep.edu/earthscience/gravity/registry/IE/merge.owl2008-04-212008-07-23
28E-KRHyper 1.1InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/E_KRHyper1.1.owl2008-06-292008-07-31
29GrAnDe 1.1InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/GrAnDe.owl2008-06-292008-07-31
30IBM Knowledge Structures Group's Relation DetectorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMKSRelationDetector.owl2008-06-292008-07-31
31CARINE 0.734InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/CARINE.owl2008-06-292008-07-31
32Extended Quick Lookup ServiceInferenceEnginebrowser2 , browsehttp://iw.cs.utep.edu/astronomy/solar/registry/IE/extQL.owl2008-05-272008-07-23
33n/aIdentifiedThingbrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc2.owl2007-08-102008-07-24
34Muscadet 2.7aInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Muscadet2.7a.owl2008-06-292008-07-31
35JESS - Java Expert System ShellInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/JESS.owl2008-06-292008-07-31
36GEON Portal (API)InferenceEnginebrowser2 , browsehttp://iw.cs.utep.edu/earthscience/gravity/registry/IE/geonportal.owl2008-04-212008-07-23
37E-KRHyper 1.0InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/EKRHyper.owl2008-06-292008-07-31
38DCTP 1.31InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DCTP.owl2008-06-292008-07-31
39GDVInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/GDV.owl2008-06-292008-07-31
40Mace4 0607InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Mace4.owl2008-06-292008-07-31
41IBM Statistical Text Analytics Group's ACE-model AnnotatorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMstagACE.owl2008-06-292008-07-31
42Gerona Agent FrameworkInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Gerona.owl2008-06-292008-07-31
43Muscadet 2.7InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Muscadet.owl2008-06-292008-07-31
44n/aAgentbrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc2.owl2007-08-102008-07-24
45GEON Portal (API)InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/geonportal.owl2008-06-292008-07-31
46CHIP Raw Image CaptureInferenceEnginebrowser2 , browsehttp://cedarweb.hao.ucar.edu/spcdis/registry/IE/RawImageCapture.owl2008-05-312008-07-24
47JEOPS - The Java Embedded Object Production SystemInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/JEOPS.owl2008-06-292008-07-31
48FDP 0.9.16InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/FDP.owl2008-06-292008-07-31
49DilemmaInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Dilemma.owl2008-06-292008-07-31
50IBM Statistical Text Analytics Group's KDD-model AnnotatorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMstagKDD.owl2008-06-292008-07-31
51Geo 2007fInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Geo.owl2008-06-292008-07-31
52DarwinFM 1.4.1InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DarwinFM.owl2008-06-292008-07-31
53DCTP 10.21pInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DCTP10.21p.owl2008-06-292008-07-31
54Fiesta 2InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Fiesta.owl2008-06-292008-07-31
55GEON Gridder ServiceInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/gridder.owl2008-06-292008-07-31
56JTP - KSL Java Theorem ProverInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/JTP.owl2008-06-292008-07-31
57GEON Contour Map Generation ServiceInferenceEnginebrowser2 , browsehttp://iw.cs.utep.edu/earthscience/gravity/registry/IE/contour.owl2008-04-212008-07-23
58Citation TrustInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/CitationTrust.owl2008-06-292008-07-31
59n/aSoftwarebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc2.owl2007-08-102008-07-24
60MLSO Observer Log ParserInferenceEnginebrowser2 , browsehttp://cedarweb.hao.ucar.edu/spcdis/registry/IE/LogParser.owl2008-05-302008-07-24
61DarwinFM 1.4.2InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DarwinFM1.4.2.owl2008-06-292008-07-31
62DCTP 1.31-SATInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DCTP1.31_SAT.owl2008-06-292008-07-31
63Faust 1.0InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Faust.owl2008-07-212008-07-31
64Metis 2.1InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Metis2.1.owl2008-07-012008-07-31
65Darwin 1.4.2InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Darwin1.4.2.owl2008-06-292008-07-31
66IBM TAF/Talent plus a collection of miscellaneous TFST grammarsInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMmiscTFST.owl2008-06-292008-07-31
67GEON Contour Map Generation ServiceInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/contour.owl2008-06-292008-07-31
68JSAT - The Java SATisfiability LibraryInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/JSAT.owl2008-06-292008-07-31
69GEON Mininum Curvature Gridder ServiceInferenceEnginebrowser2 , browsehttp://iw.cs.utep.edu/earthscience/gravity/registry/IE/gridder.owl2008-04-212008-07-23
70CoDeInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/CoDe.owl2008-06-292008-07-31
71E JaARInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/EJaAR.owl2008-06-292008-07-31
72MLSO QuickLook GIF GeneratorInferenceEnginebrowser2 , browsehttp://cedarweb.hao.ucar.edu/spcdis/registry/IE/QuickLook.owl2008-05-302008-07-24
73Bliksem 1.12InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Bliksem.owl2008-06-292008-07-31
74MediaWiki defaultPersonbrowser2 , browsehttp://inference-web.org/proofs/csctest/crashtest.owl2008-04-182008-07-24
75E 0.999InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/E.owl2008-06-292008-07-31
76IBM Talent time annotatorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMtimeTFST.owl2008-06-292008-07-31
77Fampire 1.3InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Fampire.owl2008-06-292008-07-31
78Darwin 1.4.1InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Darwin1.4.1.owl2008-06-292008-07-31
79GEON Gravity Data Repository Access ServiceInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/gdrp.owl2008-06-292008-07-31
80GEON Gravity Data Repository Access ServiceInferenceEnginebrowser2 , browsehttp://iw.cs.utep.edu/earthscience/gravity/registry/IE/gdrp.owl2008-04-212008-07-23
81CWM - W3C Semantic Web Closed World MachineInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/CWM.owl2008-06-292008-07-31
82IBM GlossOntInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMGlossOnt.owl2008-06-292008-07-31
83IBM EAnnotatorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/IBMEAnnotator.owl2008-06-292008-07-31
84LAPDOGInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/LAPDOG.owl2008-06-292008-07-31
85EP 1.0preInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/EP1.0pre.owl2008-07-232008-07-31
86EP 0.999InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/EP.owl2008-07-232008-07-31
87Dummy UIMInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DummyUIM.owl2008-06-292008-07-31
88BaojiePersonbrowser2 , browsehttp://inference-web.org/proofs/csctest/crashtest.owl2008-04-182008-07-24
89Metis 2.0InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Metis.owl2008-06-292008-07-31
90DCTP JaARInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/DCTPJaAR.owl2008-06-292008-07-31
91Darwin 1.3InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Darwin.owl2008-06-292008-07-31
92ISI MediatorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/Mediator.owl2008-06-292008-07-31
93AGInTRaterInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/AGInTRater.owl2008-06-292008-07-31
94FaCT - Fast Classification of TerminologiesInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/FACT.owl2008-06-292008-07-31
95CiME 2.01InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/CiME.owl2008-06-292008-07-31
96GEON Gridder ServiceInferenceEnginebrowser2 , browsehttp://iw.cs.utep.edu/earthscience/gravity/registry/IE/gridderNearneighbor.owl2008-04-212008-07-23
97IBM JResporatorInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/JResporator.owl2008-06-292008-07-31
98LeanTAP 2.3InferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/LeanTAP.owl2008-06-292008-07-31
99KM - The Knowledge MachineInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/KM.owl2008-06-292008-07-31
100EQP 0.9dInferenceEnginebrowser2 , browsehttp://inference-web.org/registry/IE/EQP.owl2008-06-302008-07-31