Reasoning about Typicality in Preferential Description Logics
From MaRDI portal
Publication:3532467
DOI10.1007/978-3-540-87803-2_17zbMath1178.68561WikidataQ58207620 ScholiaQ58207620MaRDI QIDQ3532467
Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato, Laura Giordano
Publication date: 27 October 2008
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87803-2_17
Related Items
Adaptively applying modus ponens in conditional logics of normality, From KLM-style conditionals to defeasible modalities, and back, A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\), Nonmonotonic reasoning, expectations orderings, and conceptual spaces, Contextual rational closure for defeasible \(\mathcal{ALC} \), On rational entailment for propositional typicality logic, A Tableau Calculus for Minimal Modal Model Generation, A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$