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

DOI10.1007/BF00881830zbMATH Open0842.68081WikidataQ57383747 ScholiaQ57383747MaRDI QIDQ1896367FDOQ1896367

Authors: Franz Baader, Bernhard Hollunder 

Publication date: 14 July 1996

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

Recommendations

• scientific article; zbMATH DE number 1761422
• Lexicographic priorities in default logic
• scientific article; zbMATH DE number 1748571
• An argument-based approach to reasoning with specificity
• scientific article; zbMATH DE number 1249652

zbMATH Keywords

default logicautomated default reasoning

Mathematics Subject Classification ID

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

Cites Work

• A logic for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (26)

• Query answering in circumscribed OWL2 profiles
• Title not available (Why is that?)
• Semantic characterization of rational closure: from propositional logic to description logics
• Computing specificity in default reasoning
• Typicalities and probabilities of exceptions in nonmotonic description logics
• Default Logics with Preference Order: Principles and Characterisations
• Defaults with priorities
• A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
• Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
• On combining ontologies and rules
• Prioritized logic programming and its application to commonsense reasoning
• Title not available (Why is that?)
• ASP for minimal entailment in a rational extension of SROEL
• Preferences in artificial intelligence
• Logic Programming with Defaults and Argumentation Theories
• On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
• Nonmonotonic reasoning by monotonic inferences with priority constraints
• An argument-based approach to reasoning with specificity
• Defeasible inheritance with doubt index and its axiomatic characterization
• Computing generalized specificity
• Rational closure for all description logics
• Lexicographic priorities in default logic
• Expressive probabilistic description logics
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
• Title not available (Why is that?)
• A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)

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)