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

(11)

• A reconstruction of multipreference closure
• Situated conditional reasoning
• Rational closure extension in SPO-representable inductive inference operators
• Approximations of system W between c-inference, system Z, and lexicographic inference
• Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
• Core c-representations and c-core closure for conditional belief bases
• A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation
• Reasoning with System W and infeasible worlds
• On the disjunctive rational closure of a conditional knowledge base
• Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
• Approximations of system W for inference from strongly and weakly consistent belief bases

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)