Pages that link to "Item:Q646502"

The following pages link to Local closed world reasoning with description logics under the well-founded semantics (Q646502):

Displaying 12 items.

• Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
• On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
• Three-valued semantics for hybrid MKNF knowledge bases revisited (Q1677437) (← links)
• Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
• A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
• Towards provenance in heterogeneous knowledge bases (Q2694577) (← links)
• Flexible Approximators for Approximating Fixpoint Theory (Q2814522) (← links)
• Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
• Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
• Well-founded operators for normal hybrid MKNF knowledge bases (Q4592713) (← links)
• A goal-directed implementation of query answering for hybrid MKNF knowledge bases (Q5410731) (← links)
• Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)