Pages that link to "Item:Q1274279"
From MaRDI portal
The following pages link to Verification of knowledge bases based on containment checking (Q1274279):
Displaying 7 items.
- Reductions and saturation reductions of (abstract) knowledge bases (Q276409) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- \(\ast\)-reductions in a knowledge base (Q1749973) (← links)
- A formal model for verification of dynamic consistency of KBSs (Q1842811) (← links)
- Relationships between knowledge bases and their uncertainty measures (Q2329096) (← links)
- A semantical perspective on verification of knowledge (Q2778425) (← links)
- Verifying Context-Dependent Reduction Relations for Knowledge Specifications (Q4932615) (← links)