A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$
From MaRDI portal
Publication:3010368
DOI10.1007/978-3-642-22119-4_15zbMath1332.68209OpenAlexW158224318WikidataQ58207607 ScholiaQ58207607MaRDI QIDQ3010368
Nicola Olivetti, Laura Giordano, Gian Luca Pozzato, Valentina Gliozzi
Publication date: 1 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22119-4_15
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Nonmonotonic reasoning, preferential models and cumulative logics
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- Reasoning about Typicality in Preferential Description Logics
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
- Rational Closure for Defeasible Description Logics
- Description logics of minimal knowledge and negation as failure