User: Anonymous Login

Main Menu > Browse Inference Rules

Name	Type
Assumption	Declarative Rule
Binary Resolution	Declarative Rule
Bottom Level Task	Declarative Rule
Conjunction	Declarative Rule
Cut	Declarative Rule
CWM-built-in function	Declarative Rule
DC-Train Agent Simulation	Method Rule
DC-Train Database Query	Method Rule
DC-Train Sensor Simulation	Method Rule
Demodulation	Declarative Rule
Direct assertion	Declarative Rule
DPLL affirmative-negative rule	Declarative Rule
DPLL atomic formulas elimination	Declarative Rule
DPLL unit clauses elimination	Declarative Rule
Entity Identification	Method Rule
Entity Mapping	Method Rule
Entity Recognition	Method Rule
EnumeratingProofStep	Declarative Rule
Extracted Entity Classification	Method Rule
Extraction	Declarative Rule
Factoring	Declarative Rule
Frame Meta Information	Declarative Rule
Function Rule	Method Rule
Generalized Modus Ponens	Declarative Rule
Generalized Modus Pones with Unification	Declarative Rule
Generic Web Service	Method Rule
Gerona Forward Chaining	Declarative Rule
Have Effect Service	Declarative Rule
Hyperresolution	Declarative Rule
Inference	Declarative Rule
InferredValueReasoningStep	Declarative Rule
Meet Service Postcondition	Declarative Rule
Meet Service Precondition	Declarative Rule
Membership Rule	Declarative Rule
Membership via Value Link	Declarative Rule
MembershipThruLinkSte	Declarative Rule
ND and elimination	Declarative Rule
ND and introduction	Declarative Rule
ND implication introduction	Declarative Rule
ND modus ponens	Declarative Rule
ND Modus Pones with Unification	Declarative Rule
ND or elimination	Declarative Rule
ND universal instantiation	Declarative Rule
Negated Conclusion	Declarative Rule
Negative Paramodulation	Declarative Rule
Paramodulation	Declarative Rule
Reformulation	Declarative Rule
Relation Algebra Multi-Relation Union	Declarative Rule
Relation Annotation Argument Identification	Method Rule
Relation Identification	Method Rule
Relation Mapping	Method Rule
Relation Recognition	Method Rule
Relational Algebra Join	Declarative Rule
Relational Algebra Projection	Declarative Rule
Relational Algebra Selection	Declarative Rule
RuleCreationProofStep	Declarative Rule
RuleInstallationProofStep	Declarative Rule
Service Chain Success	Declarative Rule
Source Data Access	Declarative Rule
Subsumption Rule	Declarative Rule
Target Entity Classification	Method Rule
Task Completed Predecessors	Declarative Rule
Task Executing	Declarative Rule
Task Finished	Declarative Rule
Task Implementing Procedure Instance	Declarative Rule
Task Instance Precondition	Declarative Rule
Task Meet Intention Preconditions	Declarative Rule
Task Meet Procedure Preconditions	Declarative Rule
Task Not Meet Termination Conditions	Declarative Rule
Task Not Successful	Declarative Rule
Task Parent Support	Declarative Rule
Task Procedure Precondition Met	Declarative Rule
Task Self Support	Declarative Rule
Task Termination Condition Met	Declarative Rule
Task Top Level Goal	Declarative Rule
Task Top-Level Goal Support	Declarative Rule
Task Unfinished	Declarative Rule
Time Point for Temporal Reasoning	Declarative Rule
Time Point Mapping	Declarative Rule
TranslationReasoningStep	Declarative Rule
Unit Deletion	Declarative Rule
Unregistered Rule	Declarative Rule
UR-Resolution	Declarative Rule
Value Collection Listener Creation	Declarative Rule
Value Link Creation	Declarative Rule

Copyright 2009 Inference Web group.
All Rights Reserved.