Relevance in the Computation of Non-monotonic Inferences

Keyphrases

• Nonmonotonic Reasoning 100%
• Inductive Inference Operators 100%
• Syntax Splitting 100%
• Lexicographic Inference 100%
• Knowledge Base 50%
• Decision Procedure 50%
• Modularity 50%
• Computational Complexity 50%
• Rational Closure 50%
• Closure System 50%
• Inference Relations 50%
• Inductive Inference 50%
• System Inference 50%

Computer Science

• Knowledge Base 100%
• Computational Complexity 100%
• Decision Procedure 100%
• Rational Closure 100%
• Inference System 100%

Mathematics

• Inductive Inference 100%
• Conditionals 66%
• Knowledge Base 33%
• Decision Procedure 33%
• Worst Case 33%
• P Systems 33%