Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients (Q6488795): Difference between revisions

Revision as of 11:59, 3 December 2024

scientific article; zbMATH DE number 7753316

Language	Label	Description	Also known as
English	Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients	scientific article; zbMATH DE number 7753316

Statements

instance of

scholarly article

0 references

title

Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients (English)

0 references

0 references

0 references

0 references

The Journal of Artificial Intelligence Research (JAIR)

0 references

publication date

23 October 2023

0 references

zbMATH Keywords

knowledge representation

0 references

nonmonotonic reasoning

0 references

abstract argumentation

0 references

computational complexity

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Incremental computation for structured argumentation over dynamic DeLP knowledge bases

0 references

Equivalence in logic-based argumentation

0 references

AFRA: argumentation framework with recursive attacks

0 references

Enhancing Statement Evaluation in Argumentation via Multi-labelling Systems

0 references

Splitting an Argumentation Framework

0 references

Normal and strong expansion equivalence for argumentation frameworks

0 references

Q3457206

0 references

A general notion of equivalence for abstract argumentation

0 references

An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms

0 references

A logic-based theory of deductive arguments

0 references

Change in Abstract Argumentation Frameworks: Adding an Argument

0 references

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

0 references

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games

0 references

The complexity landscape of claim-augmented argumentation frameworks

0 references

On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs

0 references

Explanations, belief revision and defeasible reasoning.

0 references

Instantiating abstract argumentation with classical logic arguments: postulates and properties

0 references

Dynamics of argumentation systems: a division-based method

0 references

Strongly equivalent logic programs

0 references

A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments

0 references

Characterizing strong equivalence for argumentation frameworks

0 references

0 references

0 references

0 references

0 references

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

0 references

Complete extensions in argumentation coincide with 3-valued stable models in logic programming

0 references

Identifiers

DOI

10.1613/jair.1.14625

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6488795

@@ Property / cites work @@
+Incremental computation for structured argumentation over dynamic DeLP knowledge bases
+Normal rank
@@ Property / cites work @@
+Equivalence in logic-based argumentation
@@ Property / cites work: Equivalence in logic-based argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+AFRA: argumentation framework with recursive attacks
+Normal rank
@@ Property / cites work @@
+Enhancing Statement Evaluation in Argumentation via Multi-labelling Systems
+Normal rank
@@ Property / cites work @@
+Splitting an Argumentation Framework
@@ Property / cites work: Splitting an Argumentation Framework / rank @@
+Normal rank
@@ Property / cites work @@
+Normal and strong expansion equivalence for argumentation frameworks
+Normal rank
@@ Property / cites work @@
+Q3457206
@@ Property / cites work: Q3457206 / rank @@
+Normal rank
@@ Property / cites work @@
+A general notion of equivalence for abstract argumentation
+Normal rank
@@ Property / cites work @@
+An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
+Normal rank
@@ Property / cites work @@
+A logic-based theory of deductive arguments
@@ Property / cites work: A logic-based theory of deductive arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Change in Abstract Argumentation Frameworks: Adding an Argument
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+The complexity landscape of claim-augmented argumentation frameworks
+Normal rank
@@ Property / cites work @@
+On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs
+Normal rank
@@ Property / cites work @@
+Explanations, belief revision and defeasible reasoning.
+Normal rank
@@ Property / cites work @@
+Instantiating abstract argumentation with classical logic arguments: postulates and properties
+Normal rank
@@ Property / cites work @@
+Dynamics of argumentation systems: a division-based method
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
+Normal rank
@@ Property / cites work @@
+Characterizing strong equivalence for argumentation frameworks
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736482
@@ Property / cites work: Q4736482 / rank @@
+Normal rank
@@ Property / cites work @@
+Argument Revision
@@ Property / cites work: Argument Revision / rank @@
+Normal rank
@@ Property / cites work @@
+Q3455611
@@ Property / cites work: Q3455611 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation
+Normal rank
@@ Property / cites work @@
+Complete extensions in argumentation coincide with 3-valued stable models in logic programming
+Normal rank