Ringo Baumann

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 40

Top Topics

Strong Equivalence

Formal Evaluation

Abstract Argumentation

Horn Contraction

Top Venues

Publications

Mattes Ruckdeschel, Ringo Baumann, Gregor Wiedemann
Argument Mining of Attack and Support Patterns in Dialogical Conversations with Sequential Pattern Mining. RATIO (2024)
Ringo Baumann, Anne-Marie Heine
On Naive Labellings - Realizability, Construction and Patterns of Redundancy. FoIKS (2024)
Ringo Baumann, Maximilian Heinrich
Bipolar Abstract Dialectical Frameworks Are Covered by Kleene's Three-valued Logic. IJCAI (2023)
Ringo Baumann, Anne-Marie Heine
On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy. KR (2023)
Ringo Baumann, Anna Rapberger, Markus Ulbricht
Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients. J. Artif. Intell. Res. 77 (2023)
Ringo Baumann, Christopher Harmen Penndorf
Static and dynamic orderings on Dungean argumentation frameworks - An overview. Int. J. Approx. Reason. 163 (2023)
Ringo Baumann, Anna Rapberger, Markus Ulbricht
Equivalence in Argumentation Frameworks with a Claim-Centric View - Classical Results with Novel Ingredients. AAAI (2022)
Ringo Baumann, Hannes Strass
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Artif. Intell. 305 (2022)
Ringo Baumann, Matti Berthold
Limits and Possibilities of Forgetting in Abstract Argumentation. IJCAI (2022)
Ringo Baumann, Gerhard Brewka, Markus Ulbricht
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility. Artif. Intell. 310 (2022)
Ringo Baumann, Christopher Harmen Penndorf
Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability Order. FCR@KI (2022)
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner
Enforcement in Formal Argumentation. FLAP 8 (6) (2021)
Ringo Baumann, Gerhard Brewka, Markus Ulbricht
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract). IJCAI (2021)
Ringo Baumann, Markus Ulbricht
On Cycles, Attackers and Supporters - A Contribution to The Investigation of Dynamics in Abstract Argumentation. IJCAI (2021)
Ringo Baumann, Markus Ulbricht
Choices and their Consequences - Explaining Acceptable Sets in Abstract Argumentation Frameworks. KR (2021)
Ringo Baumann, Gerhard Brewka, Markus Ulbricht
Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense. AAAI (2020)
Ringo Baumann, Maximilian Heinrich
A Python Script for Abstract Dialectical Frameworks. SAFA@COMMA (2020)
Ringo Baumann, Maximilian Heinrich
Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach. COMMA (2020)
Ringo Baumann, Gerhard Brewka, Markus Ulbricht
Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. KR (2020)
Ringo Baumann
On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics. CoRR (2020)
Ringo Baumann, Gregor Wiedemann, Maximilian Heinrich, Ahmad Dawar Hakimi, Gerhard Heyer
The Road Map to FAME: A Framework for Mining and Formal Evaluation of Arguments. Datenbank-Spektrum 20 (2) (2020)
Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues
Forgetting an Argument. AAAI (2020)
Ringo Baumann, Gerhard Brewka
Extension Removal in Abstract Argumentation - An Axiomatic Approach. AAAI (2019)
Ringo Baumann, Frank Loebe, Heinrich Herre
Properties Defined on the Basis of Coincidence in GFO-Space. JOWO (2019)
Markus Ulbricht, Ringo Baumann
If Nothing Is Accepted - Repairing Argumentation Frameworks. J. Artif. Intell. Res. 66 (2019)
Ringo Baumann, Felix Linker
AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. JELIA (2019)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
A general notion of equivalence for abstract argumentation. Artif. Intell. 275 (2019)
Ringo Baumann, Markus Ulbricht
If Nothing Is Accepted - Repairing Argumentation Frameworks. KR (2018)
Ringo Baumann, Gerhard Brewka
The equivalence zoo for Dung-style semantics. J. Log. Comput. 28 (3) (2018)
Ringo Baumann, Christof Spanring
A Study of Unrestricted Abstract Argumentation Frameworks. IJCAI (2017)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
A General Notion of Equivalence for Abstract Argumentation. IJCAI (2017)
Ringo Baumann, Hannes Strass
On the number of bipolar Boolean functions. J. Log. Comput. 27 (8) (2017)
Ringo Baumann
On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability. FLAP 4 (8) (2017)
Ringo Baumann, Stefan Woltran
The role of self-attacking arguments in characterizations of equivalence notions. J. Log. Comput. 26 (4) (2016)
Ringo Baumann
Characterizing Equivalence Notions for Labelling-Based Semantics. KR (2016)
Ringo Baumann, Thomas Linsbichler, Stefan Woltran
Verifiability of Argumentation Semantics. CoRR (2016)
Ringo Baumann, Frank Loebe, Heinrich Herre
Towards an Ontology of Space for GFO. FOIS (2016)
Ringo Baumann, Hannes Strass
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. KR (2016)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Christof Spanring, Hannes Strass, Stefan Woltran
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics. Artif. Intell. 241 (2016)
Ringo Baumann, Thomas Linsbichler, Stefan Woltran
Verifiability of Argumentation Semantics. COMMA (2016)
Ringo Baumann, Gerhard Brewka
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks. IJCAI (2015)
Ringo Baumann, Christof Spanring
Infinite Argumentation Frameworks - On the Existence and Uniqueness of Extensions. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Ringo Baumann, Hannes Strass
Open Problems in Abstract Argumentation. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Ringo Baumann
Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in abstract Argumentation. ECAI (2014)
Ringo Baumann, Frank Loebe, Heinrich Herre
Axiomatic theories of the ontology of time in GFO. Appl. Ontology 9 (3-4) (2014)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
Compact Argumentation Frameworks. CoRR (2014)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
Compact Argumentation Frameworks. ECAI (2014)
Ringo Baumann, Gerhard Brewka
Spectra in Abstract Argumentation: An Analysis of Minimal Change. LPNMR (2013)
Ringo Baumann, Gerhard Brewka
Analyzing the Equivalence Zoo in Abstract Argumentation. CLIMA (2013)
Ringo Baumann, Hannes Strass
On the Maximal and Average Numbers of Stable Extensions. TAFA (2013)
Ringo Baumann
What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation. ECAI (2012)
Ringo Baumann
Normal and strong expansion equivalence for argumentation frameworks. Artif. Intell. 193 (2012)
Ringo Baumann, Hannes Strass
Default Reasoning about Actions via Abstract Argumentation. COMMA (2012)
Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran
Parameterized Splitting: A Simple Modification-Based Approach. Correct Reasoning (2012)
Ringo Baumann, Frank Loebe, Heinrich Herre
Ontology of Time in GFO. FOIS (2012)
Ringo Baumann, Gerhard Brewka, Renata Wong
Splitting Argumentation Frameworks: An Empirical Evaluation. TAFA (2011)
Ringo Baumann
Splitting an Argumentation Framework. LPNMR (2011)
Ringo Baumann, Heinrich Herre
The Axiomatic Foundation of Space in GFO CoRR (2011)
Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
State Defaults and Ramifications in the Unifying Action Calculus. KR (2010)
Ringo Baumann, Gerhard Brewka
Expanding Argumentation Frameworks: Enforcing and Monotonicity Results. COMMA (2010)