User: Anonymous Login

Main Menu > Browse Declarative Rules

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

Copyright 2009 Inference Web group.
All Rights Reserved.