Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

DOI10.1007/BF00881830zbMath0842.68081WikidataQ57383747 ScholiaQ57383747MaRDI QIDQ1896367

Bernhard Hollunder, Franz Baader

Publication date: 14 July 1996

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

default logicautomated default reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)

Related Items

Query answering in circumscribed OWL2 profiles, Preferences in artificial intelligence, Defaults with priorities, Expressive probabilistic description logics, Logic Programming with Defaults and Argumentation Theories, On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\), ASP for minimal entailment in a rational extension of SROEL, Defeasible inheritance with doubt index and its axiomatic characterization, Semantic characterization of rational closure: from propositional logic to description logics, On combining ontologies and rules, A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure, A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$, Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases, Lexicographic priorities in default logic, Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure, Rational closure for all description logics, Typicalities and probabilities of exceptions in nonmotonic description logics, Prioritized logic programming and its application to commonsense reasoning

Cites Work

• A logic for default reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item