Taking defeasible entailment beyond rational closure

DOI10.1007/978-3-030-19570-0_12MaRDI QIDQ2296705zbMATH OpenOpenAlexFDO

Authors Giovanni Casini, Ivan Varzinczak, Thomas Meyer

Publication date 18 February 2020

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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

Cited in

(6)

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

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)