New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
<p>We present new tractable cases for default reasoning from conditional knowledge bases. In detail, we introduce q-Horn conditional knowledge bases, which allow for a limited use of disjunction.We show that previous tractability results for epsilon-entailment, proper epsilon-entailment, and z...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2000
|