Instantiating abstract argumentation with classical logic arguments: postulates and properties
From MaRDI portal
Publication:646494
Recommendations
Cites work
- A logic-based theory of deductive arguments
- A mathematical treatment of defeasible reasoning and its implementation.
- A reasoning model based on the production of acceptable arguments
- An abstract, argumentation-theoretic approach to default reasoning
- Argument-based extended logic programming with defeasible priorities
- Argumentation in artificial intelligence
- Argumentative logics: Reasoning with classically inconsistent information
- Computing ideal sceptical argumentation
- Defeasible logic programming: an argumentative approach
- Dialectic proof procedures for assumption-based, admissible argumentation
- Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
- How to reason defeasibly
- Mechanizing Mathematical Reasoning
- On bipolarity in argumentation frameworks
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the evaluation of argumentation formalisms
- Persuasion in Practical Argument Using Value-based Argumentation Frameworks
- Properties and Complexity of Some Formal Inter-agent Dialogues
- Reasoning about preferences in argumentation frameworks
Cited in
(32)- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
- Equivalence in logic-based argumentation
- A postulate-driven study of logical argumentation
- Weakest link in formal argumentation: lookahead and principle-based analysis
- On the equivalence between logic programming semantics and argumentation semantics
- Computational complexity of flat and generic assumption-based argumentation, with and without probabilities
- Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients
- A QBF-based formalization of abstract argumentation semantics
- A comparative study of some central notions of \(\mathit{ASPIC}^+\) and \textit{DeLP}
- Characterizing strong equivalence for argumentation frameworks
- Balancing rationality and utility in logic-based argumentation with classical logic sentences and belief contraction
- Logical argumentation by dynamic proof systems
- A review of the relations between logical argumentation and reasoning with maximal consistency
- Dialogue games for argumentation frameworks with necessities
- A paraconsistent approach to deal with epistemic inconsistencies in argumentation
- Rich preference-based argumentation frameworks
- A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness
- The complexity landscape of claim-augmented argumentation frameworks
- Logical limits of abstract argumentation frameworks
- Belief revision and computational argumentation: a critical comparison
- Postulates for logic-based argumentation systems
- An axiomatic analysis of structured argumentation with priorities
- Beyond maxi-consistent argumentation operators
- An argumentation system for defeasible reasoning
- On dynamics in structured argumentation formalisms
- Opposition Frameworks
- Normal and strong expansion equivalence for argumentation frameworks
- Complexity of abstract argumentation under a claim-centric view
- Classical logic, argument and dialectic
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Theory of semi-instantiation in abstract argumentation
This page was built for publication: Instantiating abstract argumentation with classical logic arguments: postulates and properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q646494)
