Inference Web Registrar

User: Anonymous

Name
Citation Trust
CWM - W3C Semantic Web Closed World Machine
DC-Train 4.0
Dummy UIM
FaCT - Fast Classification of Terminologies
GEON Contour Map Generation Service
GEON Gravity Data Repository Access Service
GEON Gridder Service
GEON Portal (API)
Gerona Agent Framework
IBM Cross-Annotator Coreference Resolver
IBM Cross-Document Coreference Resolver
IBM EAnnotator
IBM GlossOnt
IBM JResporator
IBM KANI holdsDuring Relation Detector
IBM Knowledge Integrator
IBM Knowledge Structures Group's Relation Detector
IBM Statistical Text Analytics Group's ACE-model Annotator
IBM Statistical Text Analytics Group's KDD-model Annotator
IBM TAF/Talent plus a collection of miscellaneous TFST grammars
IBM Talent time annotator
Isabelle
ISI Mediator
JEOPS - The Java Embedded Object Production System
JESS - Java Expert System Shell
JSAT - The Java SATisfiability Library
JTP - KSL Java Theorem Prover
KM - The Knowledge Machine
Otter
PowerLoom - Knowledge Representation System
PTTP - Prolog Technology Theorem Prover
RACER - Renamed ABox and Concept Expression Reasoner
Revision Trust
Semantic Discovery Service
SNARK - SRI New Automated Reasoning Kit
SPARK: SRI Procedural Agent Realization Kit
SWI Prolog
Tailor Task Learner
Vampire