Axiom Pinpointing in General Tableaux
From MaRDI portal
Publication:3406682
DOI10.1093/logcom/exn058zbMath1191.68645OpenAlexW2140061645WikidataQ57383694 ScholiaQ57383694MaRDI QIDQ3406682
Publication date: 19 February 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10281/258029
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)
Related Items (16)
Memory-limited model-based diagnosis ⋮ The Bayesian ontology language \(\mathcal {BEL}\) ⋮ Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Understanding the complexity of axiom pinpointing in lightweight description logics ⋮ Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ The Probabilistic Description Logic ⋮ Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities ⋮ An Automata View to Goal-Directed Methods ⋮ Automata-based axiom pinpointing ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Generalized completeness for SOS resolution and its application to a new notion of relevance ⋮ Strong inconsistency ⋮ Semantic relevance ⋮ On the query complexity of selecting minimal sets for monotone predicates
This page was built for publication: Axiom Pinpointing in General Tableaux
