Parameterized splitting: a simple modification-based approach

DOI10.1007/978-3-642-30743-0_5MaRDI QIDQ2900508zbMATH OpenOpenAlexFDO

Authors Ringo Baumann, Gerhard Brewka, Wolfgang Dvořák, Stefan Woltran

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_5

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Splitting an Argumentation Framework
• Logic Programming
• Splitting an operator: algebraic modularity results for logics with fixpoint semantics
• Splitting finite default theories: A comparison of two approaches
• Modular paracoherent answer sets

Cites work

• A Faster Algorithm for Finding the Minimum Cut in a Directed Graph
• Depth-First Search and Linear Graph Algorithms
• Dynamics of argumentation systems: a division-based method
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Modularity aspects of disjunctive stable models
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Splitting an Argumentation Framework

Cited in

(14)

• On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
• A general notion of equivalence for abstract argumentation
• Methods for solving reasoning problems in abstract argumentation -- a survey
• On topology-related properties of abstract argumentation semantics. A correction and extension to ``Dynamics of argumentation systems: a division-based method
• Incremental computation of deterministic extensions for dynamic argumentation frameworks
• Normal and strong expansion equivalence for argumentation frameworks
• On the input/output behavior of argumentation frameworks
• Complexity-sensitive decision procedures for abstract argumentation
• A glimpse on Gerhard Brewka's contributions to artificial intelligence
• I don't care, I don't know \(\dots \) I know too much! on incompleteness and undecidedness in abstract argumentation
• Logic Programming
• RAFDivider  : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks
• Constrained derivation in assumption-based argumentation
• How to split a logic program

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Parameterized splitting: a simple modification-based approach

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