Parameterized splitting: a simple modification-based approach

DOI10.1007/978-3-642-30743-0_5zbMATH Open1357.68026OpenAlexW44160680MaRDI QIDQ2900508FDOQ2900508

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

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

Cited In (14)

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

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)