User: Anonymous Login

Main Menu > Use of Rules by Inference Engines

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

Copyright 2009 Inference Web group.
All Rights Reserved.