DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions

DOI10.1093/LOGCOM/13.3.319MaRDI QIDQ4444964zbMATH OpenOpenAlexFDO

Authors Bart Verheij

Publication date 28 January 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.9178

zbMATH Keywords

argumentationdefeasible reasoningnonmonotonic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60)

Recommendations

• Assumptive sequent-based argumentation
• Simple contrapositive assumption-based frameworks
• Simple contrapositive assumption-based argumentation frameworks
• A logic of knowledge and justified assumption
• Dialectic proof procedures for assumption-based, admissible argumentation

Cited in

(19)

• The carneades model of argument and burden of proof
• An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
• A characterization of types of support between structured arguments and their relationship with support in abstract argumentation
• Structured argumentation dynamics. Undermining attacks in default justification logic
• EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
• Bipolarity in argumentation graphs: towards a better understanding
• A two-phase method for extracting explanatory arguments from Bayesian networks
• Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks
• Backing and undercutting in defeasible logic programming
• Foundations for a logic of arguments
• Annotated defeasible logic
• A normative framework for argument quality: argumentation schemes with a Bayesian foundation
• Infinite argumentation frameworks. On the existence and uniqueness of extensions
• A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
• Coalitions of arguments: a tool for handling bipolar argumentation frameworks
• SCC-recursiveness in infinite argumentation
• Abstract argumentation and answer set programming: two faces of Nelson's logic
• Law and logic: a review from an argumentation perspective
• An approach to abstract argumentation with recursive attack and support

This page was built for publication: DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions

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