A Logic of Abstract Argumentation

DOI10.1007/11794578_2zbMATH Open1236.68246OpenAlexW1903103834MaRDI QIDQ3623901FDOQ3623901

Authors: Guido Boella, Joris Hulstijn, Leendert van der Torre 

Publication date: 28 April 2009

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

Full work available at URL: https://doi.org/10.1007/11794578_2

Recommendations

• A logical account of formal argumentation
• Logical limits of abstract argumentation frameworks
• Logic-based approaches to formal argumentation
• Metalevel argumentation
• Foundations for a logic of arguments

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cited In (46)

• Metalogical contributions to the nonmonotonic theory of abstract argumentation
• Abstract Machines for Argumentation
• Foundations for a logic of arguments
• A dual-context sequent calculus for the constructive modal logic S4
• Logical modes of attack in argumentation networks
• A QBF-based formalization of abstract argumentation semantics
• On the Meta-logic of Arguments
• A sequent-based representation of logical argumentation
• Towards conditional logic semantics for abstract dialectical frameworks
• Abstract argumentation systems
• The attack as strong negation. I
• Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
• The attack as intuitionistic negation
• Relating concrete argumentation formalisms and abstract argumentation
• Metalevel argumentation
• CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION
• On interactive proof-search for constructive modal necessity
• Towards the proof-theoretic unification of Dung's argumentation framework: an adaptive logic approach
• Generic logical encoding for argumentation
• Title not available (Why is that?)
• A rational account of classical logic argumentation for real-world agents
• Logical limits of abstract argumentation frameworks
• Local logics, non-monotonicity and defeasible argumentation
• On the semantics of abstract argumentation
• Modal and temporal argumentation networks
• A formal concept view of abstract argumentation
• Standard and nonstandard logics of argumentation. I
• A logic of argumentation for specification and verification of abstract argumentation frameworks
• A formalization of abstract argumentation in higher-order logic
• Logic-based approaches to formal argumentation
• Identifying the class of maxi-consistent operators in argumentation
• Abstract argument games via modal logic
• Title not available (Why is that?)
• Sampling logic and argumentation networks: a manifesto
• Abducible Semantics and Argumentation
• Instantiating abstract argumentation with classical logic arguments: postulates and properties
• The same, similar, or just completely different? Equivalence for argumentation in light of logic
• Base argumentation as an abstraction of deductive argumentation
• Meta-argumentation modelling. I: Methodology and techniques
• Classical logic, argument and dialectic
• Logical argumentation principles, sequents, and nondeterministic matrices
• A logical account of formal argumentation
• An application of model checking games to abstract argumentation
• Connecting fuzzy logic and argumentation frames via logical attack principles
• On a formal connection between truth, argumentation and belief
• Theory of semi-instantiation in abstract argumentation

This page was built for publication: A Logic of Abstract Argumentation

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