A KLM perspective on defeasible reasoning for description logics

DOI10.1007/978-3-030-22102-7_7zbMath1443.68172OpenAlexW2954712437MaRDI QIDQ2185464

Ivan Varzinczak, Giovanni Casini, Katarina Britz, Thomas Andreas Meyer

Publication date: 4 June 2020

Full work available at URL: http://orbilu.uni.lu/handle/10993/40666

zbMATH Keywords

knowledge representationdescription logicsdefeasible reasoningpreferential semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (3)

Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic ⋮ Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings

This page was built for publication: A KLM perspective on defeasible reasoning for description logics