Solving Advanced Argumentation Problems with Answer Set Programming

no code implementations • 5 Dec 2019 • Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran

Powerful formalisms for abstract argumentation have been proposed, among them abstract dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the relationship between arguments, and the GRAPPA framework which allows argumentation scenarios to be represented as arbitrary edge-labelled graphs.

Abstract Argumentation

Weighted Abstract Dialectical Frameworks: Extended and Revised Report

no code implementations • 20 Jun 2018 • Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P. Wallner, Stefan Woltran

Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way.

Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments

no code implementations • 12 Sep 2016 • Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way.

Multi-Context Systems for Reactive Reasoning in Dynamic Environments

no code implementations • 20 May 2015 • Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer

We show in this paper how managed multi-context systems (mMCSs) can be turned into a reactive formalism suitable for continuous reasoning in dynamic environments.