Towards an argumentative unification of default reasoning

DOI10.3233/FAIA240331MaRDI QIDQ6936324zbMATH OpenFDO

Authors Kees van Berkel, Christian Straßer, Zheng Zhou

Publication date 29 August 2025

Full work available at URL https://doi.org/10.3233/FAIA240331

zbMATH Keywords

proof theorysequent calculidefault logiclogical argumentationdisjunctive defeasible reasoningphilosophy of reasons

Mathematics Subject Classification ID

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

Cited in

(2)

• A tutorial in proof-theoretic approaches to logical argumentation
• Hypothesis-driven disjunctive reasoning in logical argumentation

This page was built for publication: Towards an argumentative unification of default reasoning

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