Ringo Baumann

According to our database, Ringo Baumann authored at least 56 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On Naive Labellings - Realizability, Construction and Patterns of Redundancy.

Ringo Baumann, Anne-Marie Heine

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Static and dynamic orderings on Dungean argumentation frameworks - An overview.

Ringo Baumann, Christopher Harmen Penndorf

Int. J. Approx. Reason., December, 2023

Equivalence in Argumentation Frameworks with a Claim-centric View: Classical Results with Novel Ingredients.

Ringo Baumann, Anna Rapberger, Markus Ulbricht

J. Artif. Intell. Res., 2023

On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy.

Ringo Baumann, Anne-Marie Heine

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Bipolar Abstract Dialectical Frameworks Are Covered by Kleene's Three-valued Logic.

Ringo Baumann, Maximilian Heinrich

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms.

Ringo Baumann, Hannes Strass

Artif. Intell., 2022

Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility.

Ringo Baumann, Gerhard Brewka, Markus Ulbricht

Artif. Intell., 2022

Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability Order.

Ringo Baumann, Christopher Harmen Penndorf

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

Limits and Possibilities of Forgetting in Abstract Argumentation.

Ringo Baumann, Matti Berthold

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Enforcement in Formal Argumentation.

Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner

FLAP, 2021

Choices and their Consequences - Explaining Acceptable Sets in Abstract Argumentation Frameworks.

Ringo Baumann, Markus Ulbricht

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract).

Ringo Baumann, Gerhard Brewka, Markus Ulbricht

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

On Cycles, Attackers and Supporters - A Contribution to The Investigation of Dynamics in Abstract Argumentation.

Ringo Baumann, Markus Ulbricht

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

The Road Map to FAME: A Framework for Mining and Formal Evaluation of Arguments.

Ringo Baumann, Gregor Wiedemann, Maximilian Heinrich, Ahmad Dawar Hakimi, Gerhard Heyer

Datenbank-Spektrum, 2020

On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics.

Ringo Baumann

CoRR, 2020

Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation.

Ringo Baumann, Gerhard Brewka, Markus Ulbricht

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

A Python Script for Abstract Dialectical Frameworks.

Ringo Baumann, Maximilian Heinrich

Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach.

Ringo Baumann, Maximilian Heinrich

Proceedings of the Computational Models of Argument, 2020

Forgetting an Argument.

Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense.

Ringo Baumann, Gerhard Brewka, Markus Ulbricht

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics

Ringo Baumann

PhD thesis, 2019

If Nothing Is Accepted - Repairing Argumentation Frameworks.

Markus Ulbricht, Ringo Baumann

J. Artif. Intell. Res., 2019

A general notion of equivalence for abstract argumentation.

Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran

Artif. Intell., 2019

Properties Defined on the Basis of Coincidence in GFO-Space.

Ringo Baumann, Frank Loebe, Heinrich Herre

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

AGM Meets Abstract Argumentation: Contraction for Dung Frameworks.

Ringo Baumann, Felix Linker

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Extension Removal in Abstract Argumentation - An Axiomatic Approach.

Ringo Baumann, Gerhard Brewka

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

The equivalence zoo for Dung-style semantics.

Ringo Baumann, Gerhard Brewka

J. Log. Comput., 2018

2017

On the number of bipolar Boolean functions.

Ringo Baumann, Hannes Strass

J. Log. Comput., 2017

On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability.

Ringo Baumann

FLAP, 2017

A Study of Unrestricted Abstract Argumentation Frameworks.

Ringo Baumann, Christof Spanring

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

The role of self-attacking arguments in characterizations of equivalence notions.

Ringo Baumann, Stefan Woltran

J. Log. Comput., 2016

On rejected arguments and implicit conflicts: The hidden power of argumentation semantics.

Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Christof Spanring, Hannes Strass, Stefan Woltran

Artif. Intell., 2016

An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms.

Ringo Baumann, Hannes Strass

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Characterizing Equivalence Notions for Labelling-Based Semantics.

Ringo Baumann

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Towards an Ontology of Space for GFO.

Ringo Baumann, Frank Loebe, Heinrich Herre

Proceedings of the Formal Ontology in Information Systems, 2016

Verifiability of Argumentation Semantics.

Ringo Baumann, Thomas Linsbichler, Stefan Woltran

Proceedings of the Computational Models of Argument, 2016

2015

AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.

Ringo Baumann, Gerhard Brewka

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Open Problems in Abstract Argumentation.

Ringo Baumann, Hannes Strass

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Infinite Argumentation Frameworks - On the Existence and Uniqueness of Extensions.

Ringo Baumann, Christof Spanring

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation

Ringo Baumann

PhD thesis, 2014

Axiomatic theories of the ontology of time in GFO.

Ringo Baumann, Frank Loebe, Heinrich Herre

Appl. Ontology, 2014

Compact Argumentation Frameworks.

Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in abstract Argumentation.

Ringo Baumann

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

On the Maximal and Average Numbers of Stable Extensions.

Ringo Baumann, Hannes Strass

Proceedings of the Theory and Applications of Formal Argumentation, 2013

Spectra in Abstract Argumentation: An Analysis of Minimal Change.

Ringo Baumann, Gerhard Brewka

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Analyzing the Equivalence Zoo in Abstract Argumentation.

Ringo Baumann, Gerhard Brewka

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Normal and strong expansion equivalence for argumentation frameworks.

Ringo Baumann

Artif. Intell., 2012

Ontology of Time in GFO.

Ringo Baumann, Frank Loebe, Heinrich Herre

Proceedings of the Formal Ontology in Information Systems, 2012

What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation.

Ringo Baumann

Proceedings of the ECAI 2012, 2012

Default Reasoning about Actions via Abstract Argumentation.

Ringo Baumann, Hannes Strass

Proceedings of the Computational Models of Argument, 2012

Parameterized Splitting: A Simple Modification-Based Approach.

Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran

Proceedings of the Correct Reasoning, 2012

2011

The Axiomatic Foundation of Space in GFO

Ringo Baumann, Heinrich Herre

CoRR, 2011

Splitting Argumentation Frameworks: An Empirical Evaluation.

Ringo Baumann, Gerhard Brewka, Renata Wong

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Splitting an Argumentation Framework.

Ringo Baumann

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

State Defaults and Ramifications in the Unifying Action Calculus.

Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Expanding Argumentation Frameworks: Enforcing and Monotonicity Results.

Ringo Baumann, Gerhard Brewka

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010