Axiom Pinpointing in General Tableaux
From MaRDI portal
Recommendations
- Axiom Pinpointing in General Tableaux
- Axiomatic and tableau-based reasoning for Kt (H, R)
- Automata-based axiom pinpointing
- Automata-Based Axiom Pinpointing
- Axiomatizing schemes and their behaviors
- A tableau proof system for a Mazurkiewicz trace logic with fixpoints
- scientific article; zbMATH DE number 637397
- Consequence-based axiom pinpointing
- Table-analytical axiomatizations of expansions of logic Par
- AXIOMATIZATION OF PROVABLE n-PROVABILITY
Cited in
(25)- Tableau reasoning for description logics and its extension to probabilities
- Understanding the complexity of axiom pinpointing in lightweight description logics
- Generalized completeness for SOS resolution and its application to a new notion of relevance
- Semantic relevance
- Memory-limited model-based diagnosis
- Explaining axiom pinpointing
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- Strong inconsistency
- The Bayesian ontology language \(\mathcal {BEL}\)
- On the query complexity of selecting minimal sets for monotone predicates
- Pinpointing axioms in ontologies via ASP
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- Automata-Based Axiom Pinpointing
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
- Axiom Pinpointing in General Tableaux
- An automata view to goal-directed methods
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- The Probabilistic Description Logic
- Consequence-based axiom pinpointing
- Exploiting uncertainty for querying inconsistent description logics knowledge bases
- Explanations for query answers under existential rules
- Automata-based axiom pinpointing
- Explaining reasoning results for description logic ontologies (invited paper)
This page was built for publication: Axiom Pinpointing in General Tableaux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3406682)
