User: Anonymous Login

Main Menu > Rules Per Inference Engine

Inference Engine	Primitive Rule
CWM - W3C Semantic Web Closed World Machine	CWM-built-in function Direct assertion Generalized Modus Ponens ND and elimination ND and introduction
DC-Train 4.0	DC-Train Agent Simulation DC-Train Sensor Simulation Direct assertion
Dummy UIM	Entity Recognition
GEON Contour Map Generation Service	Generic Web Service
GEON Gravity Data Repository Access Service	Direct assertion
GEON Gridder Service	Generic Web Service
Gerona Agent Framework	DC-Train Database Query Direct assertion Gerona Forward Chaining
IBM Cross-Annotator Coreference Resolver	Entity Identification Extracted Entity Classification Relation Identification
IBM Cross-Document Coreference Resolver	Entity Recognition Extracted Entity Classification Relation Identification
IBM EAnnotator	Entity Recognition Relation Annotation Argument Identification Relation Recognition
IBM GlossOnt	Entity Identification
IBM JResporator	Entity Recognition
IBM KANI holdsDuring Relation Detector	Relation Annotation Argument Identification Relation Recognition
IBM Knowledge Integrator	Entity Mapping Relation Mapping
IBM Knowledge Structures Group's Relation Detector	Entity Identification Relation Annotation Argument Identification Relation Identification
IBM Statistical Text Analytics Group's ACE-model Annotator	Entity Identification Entity Recognition Extracted Entity Classification Relation Annotation Argument Identification Relation Identification Relation Recognition
IBM Statistical Text Analytics Group's KDD-model Annotator	Entity Identification Entity Recognition Extracted Entity Classification Relation Annotation Argument Identification Relation Identification Relation Recognition
IBM TAF/Talent plus a collection of miscellaneous TFST grammars	Entity Identification Entity Recognition Extracted Entity Classification Relation Annotation Argument Identification Relation Identification Relation Recognition
IBM Talent time annotator	Entity Recognition
ISI Mediator	Relation Algebra Multi-Relation Union Relational Algebra Join Relational Algebra Projection Relational Algebra Selection Source Data Access
JEOPS - The Java Embedded Object Production System	ND modus ponens
JSAT - The Java SATisfiability Library	DPLL affirmative-negative rule DPLL atomic formulas elimination DPLL unit clauses elimination
JTP - KSL Java Theorem Prover	Assumption Demodulation Direct assertion Frame Meta Information Function Rule Generalized Modus Ponens Membership Rule Membership via Value Link Reformulation Subsumption Rule Time Point for Temporal Reasoning Time Point Mapping TranslationReasoningStep Value Collection Listener Creation Value Link Creation
KM - The Knowledge Machine	Direct assertion
Otter	Binary Resolution Factoring Hyperresolution Negative Paramodulation Paramodulation Unit Deletion UR-Resolution
Semantic Discovery Service	Assumption Direct assertion Have Effect Service Meet Service Postcondition Meet Service Precondition Service Chain Success
SNARK - SRI New Automated Reasoning Kit	Assumption Binary Resolution Direct assertion Hyperresolution Negated Conclusion Paramodulation
SPARK: SRI Procedural Agent Realization Kit	Task Executing Task Meet Intention Preconditions Task Meet Procedure Preconditions Task Not Meet Termination Conditions Task Not Successful Task Parent Support Task Self Support Task Top-Level Goal Support Task Unfinished
SWI Prolog	Hyperresolution
Tailor Task Learner	Direct assertion

Copyright 2009 Inference Web group.
All Rights Reserved.