User: Anonymous Login

Main Menu > Rules Per Inference Engine

Inference Engine	Inference Rule
Ayane 1.1	Assumption Ayane convert Ayane factor Ayane para Ayane resolve Direct assertion Refutation
CSD-UOC hy566	Atom1 Atom2 Body Defeasible Rule Id_Rule Strict Rule Super Rule Superiority 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
EP 0.999	Assumption Direct assertion EP apply_def EP ar EP assume_negation EP cn EP csr EP distribute EP ef EP er EP fof_nnf EP fof_simplification EP pm EP rw EP shift_quantors EP skolemize EP split_conjunct EP split_equiv EP spm EP sr EP variable_rename Refutation
EP 1.0	Assumption Direct assertion EP apply_def EP ar EP assume_negation EP cn EP csr EP distribute EP ef EP er EP fof_nnf EP fof_simplification EP pm EP rw EP shift_quantors EP skolemize EP split_conjunct EP split_equiv EP spm EP sr EP variable_rename Refutation
EP 1.0pre	Assumption Direct assertion EP apply_def EP ar EP assume_negation EP cn EP csr EP distribute EP ef EP er EP fof_nnf EP fof_simplification EP pm EP rw EP shift_quantors EP skolemize EP split_conjunct EP split_equiv EP spm EP sr EP variable_rename Refutation
EP 1.1	Assumption Direct assertion EP apply_def EP assume_negation EP cn EP csr EP distribute EP ef EP er EP fof_nnf EP fof_simplification EP pm EP reference EP rw EP shift_quantors EP skolemize EP split_conjunct EP split_equiv EP spm EP sr EP variable_rename Refutation
EP 1.1pre	Assumption Direct assertion EP apply_def EP assume_negation EP cn EP csr EP distribute EP ef EP er EP fof_nnf EP fof_simplification EP rw EP shift_quantors EP skolemize EP split_conjunct EP split_equiv EP spm EP sr EP variable_rename Refutation
EQP 0.9d	EQP demod EQP flip EQP para
EQP 0.9e	EQP conflict EQP demod EQP flip EQP para
Faust 1.0	Direct assertion Faust equality_resolution Faust forward_subsumption_resolution__equality_resolution Faust forward_subsumption_resolution__paramodulation Faust forward_subsumption_resolution__resolution Faust paramodulation Faust resolution Faust rewrite Faust rewrite__forward_subsumption_resolution
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
Humans	Assumption Direct assertion Humans cnf Humans conclusion Humans consider Humans discharge_asm Humans hyperresolve Humans iterative_eq Humans let Humans mizar_by Humans mizar_def_expansion Humans mizar_from Humans percases Humans resolve Humans take
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
LAPDOG	Direct assertion Learning by Demonstration
Metis 2.1	Assumption Direct assertion Merge Splits Metis cnf_normalization Metis fof_to_cnf Metis resolve Metis subst
Metis 2.2	Assumption Direct assertion Merge Splits Metis canonicalize Metis clausify Metis conjunct Metis negate Metis resolve Metis simplify Metis skolemize Metis specialize Metis strip Metis subst
Otter	Binary Resolution Factoring Hyperresolution Negative Paramodulation Paramodulation Unit Deletion UR-Resolution
Otter 3.3	Direct assertion Otter back_demod Otter binary Otter copy Otter demod Otter factor Otter factor_simp Otter flip Otter hyper Otter para_from Otter para_into Otter propositional Otter unit_del
SCOTT 6.1	Direct assertion SCOTT back_demod SCOTT binary SCOTT copy SCOTT demod SCOTT factor SCOTT factor_simp SCOTT flip SCOTT hyper SCOTT para_from SCOTT para_into SCOTT propositional SCOTT unit_del SCOTT ur
Semantic Discovery Service	Assumption Direct assertion Have Effect Service Meet Service Postcondition Meet Service Precondition Service Chain Success
SInE 0.3	Assumption Direct assertion Refutation SInE apply_def SInE assume_negation SInE cn SInE csr SInE distribute SInE ef SInE er SInE fof_nnf SInE fof_simplification SInE pm SInE rw SInE shift_quantors SInE skolemize SInE split_conjunct SInE split_equiv SInE spm SInE sr SInE variable_rename
SInE 0.4	Assumption Direct assertion Refutation SInE apply_def SInE assume_negation SInE cn SInE csr SInE distribute SInE ef SInE er SInE fof_nnf SInE fof_simplification SInE pm SInE reference SInE rw SInE shift_quantors SInE skolemize SInE split_conjunct SInE split_equiv SInE spm SInE sr SInE variable_rename
SNARK - SRI New Automated Reasoning Kit	Assumption Binary Resolution Direct assertion Hyperresolution Negated Conclusion Paramodulation
SNARK 20070805r043	Assumption Direct assertion SNARK CONDENSE SNARK EMBED SNARK FACTOR SNARK HYPERRESOLVE SNARK PARAMODULATE SNARK REWRITE
SNARK 20080805r005	Assumption Direct assertion SNARK CONDENSE SNARK EMBED SNARK FACTOR SNARK HYPERRESOLVE SNARK PARAMODULATE SNARK REWRITE
SNARK 20080805r018b	Assumption Direct assertion SNARK CONDENSE SNARK EMBED SNARK FACTOR SNARK HYPERRESOLVE SNARK PARAMODULATE SNARK REWRITE
SOS 2.0	Direct assertion SOS back_demod SOS binary SOS copy SOS demod SOS factor SOS factor_simp SOS flip SOS hyper SOS new_demod SOS para_from SOS para_into SOS propositional SOS unit_del
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
SPASS 3.01	Direct assertion Merge Splits SPASS aed SPASS con SPASS ems SPASS eqf SPASS eqr SPASS fac SPASS mrr SPASS obv SPASS res SPASS rew SPASS sor SPASS spl SPASS spr SPASS spt SPASS ssi SPASS unc
SPASS 3.5	Direct assertion Merge Splits SPASS aed SPASS con SPASS ems SPASS eqf SPASS eqr SPASS fac SPASS mrr SPASS obv SPASS res SPASS rew SPASS sor SPASS spl SPASS spr SPASS spt SPASS ssi SPASS unc
SPASS 3.5c	Direct assertion Merge Splits SPASS aed SPASS mrr SPASS obv SPASS rew SPASS spl SPASS spr SPASS spt SPASS unc
SWI Prolog	Hyperresolution
Tailor Task Learner	Direct assertion Learning By Instruction
Vampire 10.0	Assumption Direct assertion Vampire backward demodulation Vampire backward superposition Vampire cnf transformation Vampire definition folding Vampire definition unfolding Vampire ENNF transformation Vampire equality factoring Vampire equality permutation Vampire equality proxy replacement Vampire equality resolution Vampire equivalence to implication Vampire flattening Vampire forward demodulation Vampire forward subsumption resolution Vampire forward superposition Vampire literal permutation Vampire NNF transformation Vampire normalize Vampire passive clause reanimation Vampire permutation Vampire rectify Vampire repeated literal deletion Vampire resolution Vampire simplification by true or false Vampire skolemization
Vampire 11.0	Assumption Direct assertion Vampire backward demodulation Vampire backward superposition Vampire cnf transformation Vampire definition folding Vampire definition unfolding Vampire ENNF transformation Vampire equality factoring Vampire equality permutation Vampire equality proxy replacement Vampire equality resolution Vampire equivalence to implication Vampire flattening Vampire forward demodulation Vampire forward subsumption resolution Vampire forward superposition Vampire literal permutation Vampire NNF transformation Vampire normalize Vampire passive clause reanimation Vampire permutation Vampire rectify Vampire repeated literal deletion Vampire resolution Vampire simplification by true or false Vampire skolemization
Vampire 9.0	Assumption Direct assertion Refutation Vampire backward demodulation Vampire backward superposition Vampire cnf transformation Vampire definition folding Vampire definition unfolding Vampire ENNF transformation Vampire equality factoring Vampire equality permutation Vampire equality proxy replacement Vampire equality resolution Vampire equivalence to implication Vampire flattening Vampire forward demodulation Vampire forward subsumption resolution Vampire forward superposition Vampire literal permutation Vampire NNF transformation Vampire normalize Vampire passive clause reanimation Vampire permutation Vampire rectify Vampire repeated literal deletion Vampire resolution Vampire simplification by true or false Vampire skolemization
VampireLT 10.0	Assumption Direct assertion VampireLT backward demodulation VampireLT backward superposition VampireLT cnf transformation VampireLT definition folding VampireLT definition unfolding VampireLT ENNF transformation VampireLT equality factoring VampireLT equality permutation VampireLT equality proxy replacement VampireLT equality resolution VampireLT equivalence to implication VampireLT flattening VampireLT forward demodulation VampireLT forward subsumption resolution VampireLT forward superposition VampireLT literal permutation VampireLT NNF transformation VampireLT normalize VampireLT passive clause reanimation VampireLT permutation VampireLT rectify VampireLT repeated literal deletion VampireLT resolution VampireLT simplification by true or false VampireLT skolemization
Waldmeister C09a	Assumption Direct assertion Waldmeister activate Waldmeister cp Waldmeister instl Waldmeister instr Waldmeister interreduction_right Waldmeister orient Waldmeister reduction Waldmeister trivial Waldmeister weigh

Copyright 2010 Inference Web group.
All Rights Reserved.