23 citations · 44 across the 7 of their papers we have counts for
7 papers
Solving Advanced Argumentation Problems with Answer Set Programming
Gerhard Brewka, Martin Diller, Georg Heissenberger +2
Powerful formalisms for abstract argumentation have been proposed, among them abstract dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the rel…
Weighted Abstract Dialectical Frameworks: Extended and Revised Report
Gerhard Brewka, Jörg Pührer, Hannes Strass +2
Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further gen…
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves +3
Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way. They were, however, mainly designed for static…
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
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. We extend mMCSs w…
Logic Programming with Ordered Disjunction
Gerhard Brewka
Logic programs with ordered disjunction (LPODs) combine ideas underlying Qualitative Choice Logic (Brewka et al. KR 2002) and answer set programming. Logic programming under answer…
Declarative Representation of Revision Strategies
Gerhard Brewka
In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about th…