An Algorithm for Generating Arguments in Classical Predicate Logic

DOI10.1007/978-3-642-02906-6_12zbMath1245.03014OpenAlexW1897081024MaRDI QIDQ3638143

Vasiliki Efstathiou, Anthony Hunter

Publication date: 2 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02906-6_12

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items

Algorithms for generating arguments and counterarguments in propositional logic

Cites Work

• Unnamed Item
• Unnamed Item
• A reasoning model based on the production of acceptable arguments
• Dialectic proof procedures for assumption-based, admissible argumentation
• Argument-based extended logic programming with defeasible priorities
• A Proof Procedure Using Connection Graphs
• 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