Taking defeasible entailment beyond rational closure

DOI10.1007/978-3-030-19570-0_12OpenAlexW2944542618MaRDI QIDQ2296705FDOQ2296705

Authors: Giovanni Casini, Ivan Varzinczak, Thomas Meyer 

Publication date: 18 February 2020

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

Recommendations

• A KLM perspective on defeasible reasoning for description logics
• Relevant closure: a new form of defeasible reasoning for description logics
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
• Rationality and context in defeasible subsumption

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (6)

• Approximations of system W between c-inference, system Z, and lexicographic inference
• Situated conditional reasoning
• A reconstruction of multipreference closure
• Core c-representations and c-core closure for conditional belief bases
• Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
• Rational closure extension in SPO-representable inductive inference operators

This page was built for publication: Taking defeasible entailment beyond rational closure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2296705)