Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
From MaRDI portal
Publication:1896367
DOI10.1007/BF00881830zbMath0842.68081WikidataQ57383747 ScholiaQ57383747MaRDI QIDQ1896367
Franz Baader, Bernhard Hollunder
Publication date: 14 July 1996
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B80: Other applications of logic
Related Items
Logic Programming with Defaults and Argumentation Theories, Defeasible inheritance with doubt index and its axiomatic characterization, 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, Expressive probabilistic description logics, Defaults with priorities, A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$
Cites Work