A Logic of Abstract Argumentation

DOI10.1007/11794578_2MaRDI QIDQ3623901zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(46)

• On a formal connection between truth, argumentation and belief
• 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
• Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
• The attack as strong negation. I
• The attack as intuitionistic negation
• Relating concrete argumentation formalisms and abstract argumentation
• Metalevel argumentation
• On interactive proof-search for constructive modal necessity
• CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION
• Towards the proof-theoretic unification of Dung's argumentation framework: an adaptive logic approach
• Generic logical encoding for argumentation
• scientific article; zbMATH DE number 7084933 (Why is no real title available?)
• A rational account of classical logic argumentation for real-world agents
• Local logics, non-monotonicity and defeasible argumentation
• Logical limits of abstract argumentation frameworks
• On the semantics of abstract argumentation
• Modal and temporal argumentation networks
• A formal concept view of abstract argumentation
• A logic of argumentation for specification and verification of abstract argumentation frameworks
• Standard and nonstandard logics of argumentation. I
• A formalization of abstract argumentation in higher-order logic
• Abstract argument games via modal logic
• Logic-based approaches to formal argumentation
• Identifying the class of maxi-consistent operators in argumentation
• Sampling logic and argumentation networks: a manifesto
• Instantiating abstract argumentation with classical logic arguments: postulates and properties
• scientific article; zbMATH DE number 6902516 (Why is no real title available?)
• Abducible Semantics and Argumentation
• 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
• 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)