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 logic; automated default reasoning

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

03B80: Other applications of logic

Related Items

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

Cites Work

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