Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
From MaRDI portal
Publication:1896367
Recommendations
Cites work
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- scientific article; zbMATH DE number 44622 (Why is no real title available?)
- scientific article; zbMATH DE number 140378 (Why is no real title available?)
- scientific article; zbMATH DE number 408775 (Why is no real title available?)
- scientific article; zbMATH DE number 1761422 (Why is no real title available?)
- scientific article; zbMATH DE number 194964 (Why is no real title available?)
- A logic for default reasoning
Cited in
(26)- Defaults with priorities
- A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
- On combining ontologies and rules
- Nonmonotonic reasoning by monotonic inferences with priority constraints
- Lexicographic priorities in default logic
- Expressive probabilistic description logics
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Defeasible inheritance with doubt index and its axiomatic characterization
- scientific article; zbMATH DE number 823628 (Why is no real title available?)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Query answering in circumscribed OWL2 profiles
- scientific article; zbMATH DE number 140394 (Why is no real title available?)
- Logic Programming with Defaults and Argumentation Theories
- Computing specificity in default reasoning
- Rational closure for all description logics
- Computing generalized specificity
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- Default Logics with Preference Order: Principles and Characterisations
- Preferences in artificial intelligence
- Prioritized logic programming and its application to commonsense reasoning
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- scientific article; zbMATH DE number 1761422 (Why is no real title available?)
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
- Semantic characterization of rational closure: from propositional logic to description logics
- An argument-based approach to reasoning with specificity
- ASP for minimal entailment in a rational extension of SROEL
This page was built for publication: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1896367)