A Logic of Abstract Argumentation
From MaRDI portal
Publication:3623901
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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cited In (31)
- 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
- Abstract argumentation systems
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
- 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?)
- 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
- Identifying the class of maxi-consistent operators in argumentation
- 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
- Meta-argumentation modelling. I: Methodology and techniques
- A logical account of formal argumentation
- An application of model checking games to abstract argumentation
- 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)