Pages that link to "Item:Q3406682"
From MaRDI portal
The following pages link to Axiom Pinpointing in General Tableaux (Q3406682):
Displaying 17 items.
- On the query complexity of selecting minimal sets for monotone predicates (Q253999) (← links)
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities (Q465595) (← links)
- Automata-based axiom pinpointing (Q707741) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
- Generalized completeness for SOS resolution and its application to a new notion of relevance (Q2055868) (← links)
- Semantic relevance (Q2104509) (← links)
- Memory-limited model-based diagnosis (Q2124447) (← links)
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (Q2188772) (← links)
- Strong inconsistency (Q2321259) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← links)
- Pinpointing axioms in ontologies via ASP (Q2694580) (← links)
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- An Automata View to Goal-Directed Methods (Q5738990) (← links)
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes (Q6041308) (← links)
- The Probabilistic Description Logic (Q6063856) (← links)