Algorithms for generating arguments and counterarguments in propositional logic

DOI10.1016/j.ijar.2011.01.005zbMath1252.68273OpenAlexW2073255218MaRDI QIDQ648354

Anthony Hunter, Vasiliki Efstathiou

Publication date: 22 November 2011

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2011.01.005

zbMATH Keywords

computational models of argumentcanonical undercutscounteragumentdisjunctive clauselogic-based argumentation

Mathematics Subject Classification ID

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

Related Items (6)

Semantic-based construction of arguments: an answer set programming approach ⋮ Generating possible intentions with constrained argumentation systems ⋮ Flexible dispute derivations with forward and backward arguments for assumption-based argumentation ⋮ Classical logic, argument and dialectic ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey ⋮ Bipolarity in argumentation graphs: towards a better understanding

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An argument-based approach to reasoning with clinical knowledge
• An argumentation framework for merging conflicting knowledge bases
• Encoding deductive argumentation in quantified Boolean formulae
• A reasoning model based on the production of acceptable arguments
• On the computational complexity of assumption-based argumentation for default reasoning.
• Dialectic proof procedures for assumption-based, admissible argumentation
• Argument-based extended logic programming with defeasible priorities
• An Algorithm for Generating Arguments in Classical Predicate Logic
• A Proof Procedure Using Connection Graphs
• The complexity of logic-based abduction
• Properties and Complexity of Some Formal Inter-agent Dialogues
• Computing argumentation in logic programming
• Defeasible logic programming: an argumentative approach
• Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
• A Machine-Oriented Logic Based on the Resolution Principle
• A logic-based theory of deductive arguments

This page was built for publication: Algorithms for generating arguments and counterarguments in propositional logic