Pages that link to "Item:Q4925173"
From MaRDI portal
The following pages link to Reasoning with inconsistencies in hybrid MKNF knowledge bases (Q4925173):
Displaying 11 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Three-valued semantics for hybrid MKNF knowledge bases revisited (Q1677437) (← links)
- A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite (Q1680691) (← links)
- Incoherency problems in a combination of description logics and rules (Q1714687) (← links)
- Analysing inconsistent first-order knowledgebases (Q2389648) (← links)
- Modular Paracoherent Answer Sets (Q2938513) (← links)
- Query-Driven Procedures for Hybrid MKNF Knowledge Bases (Q2946701) (← links)
- Well-founded operators for normal hybrid MKNF knowledge bases (Q4592713) (← links)
- Reasoning with vagueness in hybrid MKNF knowledge bases (Q5174583) (← links)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)