Argumentation within deductive reasoning

DOI10.1002/INT.20189MaRDI QIDQ3423156zbMATH OpenOpenAlexFDO

Authors Armin Fiedler, Helmut Horacek

Publication date 20 February 2007

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.20189

zbMATH Keywords

machine-oriented reasoning

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• scientific article; zbMATH DE number 1728343
• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• Making assumptions in the automated derivation
• Reasoning in BDI agents using Toulmin's argumentation model
• Non-monotonic reasoning in deductive argumentation

Cited in

(7)

• Assessing arguments with schemes and fallacies
• Debate-based learning game for constructing mathematical proofs
• scientific article; zbMATH DE number 1728343 (Why is no real title available?)
• An Indian logic-based argument representation formalism for knowledge-sharing
• Knowledge Qualification through Argumentation
• Automated reasoning, fast and slow
• Deductive Joint Support for Rational Unrestricted Rebuttal

This page was built for publication: Argumentation within deductive reasoning

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