default search action
Ringo Baumann
Person information
- affiliation: Leipzig University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c42]Ringo Baumann
, Anne-Marie Heine
On Naive Labellings - Realizability, Construction and Patterns of Redundancy. FoIKS 2024: 125-143 - [c41]Ringo Baumann
Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. LPNMR 2024: 154-166 - [c40]Mattes Ruckdeschel, Ringo Baumann
Argument Mining of Attack and Support Patterns in Dialogical Conversations with Sequential Pattern Mining. RATIO 2024: 39-56 - 2023
- [j15]Ringo Baumann, Christopher Harmen Penndorf:
Static and dynamic orderings on Dungean argumentation frameworks - An overview. Int. J. Approx. Reason. 163: 109036 (2023) - [j14]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: 891-948 (2023) - [c39]Ringo Baumann, Maximilian Heinrich:
Bipolar Abstract Dialectical Frameworks Are Covered by Kleene's Three-valued Logic. IJCAI 2023: 3123-3131 - [c38]Ringo Baumann, Anne-Marie Heine:
On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy. KR 2023: 720-725 - 2022
- [j13]Ringo Baumann
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Artif. Intell. 305: 103680 (2022) - [j12]Ringo Baumann
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility. Artif. Intell. 310: 103742 (2022) - [c37]Ringo Baumann, Anna Rapberger, Markus Ulbricht:
Equivalence in Argumentation Frameworks with a Claim-Centric View - Classical Results with Novel Ingredients. AAAI 2022: 5479-5486 - [c36]Ringo Baumann, Matti Berthold:
Limits and Possibilities of Forgetting in Abstract Argumentation. IJCAI 2022: 2539-2545 - [c35]Ringo Baumann, Christopher Harmen Penndorf:
Lattice Theoretical Analysis of Dung-style AFs - Information and Reachability Order. FCR@KI 2022: 53-65 - 2021
- [j11]Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner:
Enforcement in Formal Argumentation. FLAP 8(6): 1623-1678 (2021) - [c34]Ringo Baumann, Markus Ulbricht
On Cycles, Attackers and Supporters - A Contribution to The Investigation of Dynamics in Abstract Argumentation. IJCAI 2021: 1780-1786 - [c33]Ringo Baumann, Gerhard Brewka, Markus Ulbricht
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract). IJCAI 2021: 4740-4744 - [c32]Ringo Baumann, Markus Ulbricht
Choices and their Consequences - Explaining Acceptable Sets in Abstract Argumentation Frameworks. KR 2021: 110-119 - 2020
- [j10]Ringo Baumann, Gregor Wiedemann
The Road Map to FAME: A Framework for Mining and Formal Evaluation of Arguments. Datenbank-Spektrum 20(2): 107-113 (2020) - [c31]Ringo Baumann, Gerhard Brewka, Markus Ulbricht:
Revisiting the Foundations of Abstract Argumentation - Semantics Based on Weak Admissibility and Weak Defense. AAAI 2020: 2742-2749 - [c30]Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues
Forgetting an Argument. AAAI 2020: 2750-2757 - [c29]Ringo Baumann, Maximilian Heinrich:
A Python Script for Abstract Dialectical Frameworks. SAFA@COMMA 2020: 74-79 - [c28]Ringo Baumann, Maximilian Heinrich:
Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach. COMMA 2020: 103-110 - [c27]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: 79-88 - [i4]Ringo Baumann:
On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics. CoRR abs/2003.00767 (2020)
2010 – 2019
- 2019
- [b2]Ringo Baumann:
On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics. Leipzig University, Germany, 2019 - [j9]Ringo Baumann, Wolfgang Dvorák
A general notion of equivalence for abstract argumentation. Artif. Intell. 275: 379-410 (2019) - [j8]Markus Ulbricht
If Nothing Is Accepted - Repairing Argumentation Frameworks. J. Artif. Intell. Res. 66: 1099-1145 (2019) - [c26]Ringo Baumann, Gerhard Brewka:
Extension Removal in Abstract Argumentation - An Axiomatic Approach. AAAI 2019: 2670-2677 - [c25]Ringo Baumann, Felix Linker:
AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. JELIA 2019: 41-57 - [c24]Ringo Baumann, Frank Loebe, Heinrich Herre:
Properties Defined on the Basis of Coincidence in GFO-Space. JOWO 2019 - 2018
- [j7]Ringo Baumann, Gerhard Brewka:
The equivalence zoo for Dung-style semantics. J. Log. Comput. 28(3): 477-498 (2018) - [c23]Ringo Baumann, Markus Ulbricht:
If Nothing Is Accepted - Repairing Argumentation Frameworks. KR 2018: 108-117 - 2017
- [j6]Ringo Baumann:
On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability. FLAP 4(8) (2017) - [j5]Ringo Baumann, Hannes Strass:
On the number of bipolar Boolean functions. J. Log. Comput. 27(8): 2431-2449 (2017) - [c22]Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran:
A General Notion of Equivalence for Abstract Argumentation. IJCAI 2017: 800-806 - [c21]Ringo Baumann, Christof Spanring:
A Study of Unrestricted Abstract Argumentation Frameworks. IJCAI 2017: 807-813 - 2016
- [j4]Ringo Baumann, Wolfgang Dvorák
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics. Artif. Intell. 241: 244-284 (2016) - [j3]Ringo Baumann, Stefan Woltran:
The role of self-attacking arguments in characterizations of equivalence notions. J. Log. Comput. 26(4): 1293-1313 (2016) - [c20]Ringo Baumann, Thomas Linsbichler, Stefan Woltran:
Verifiability of Argumentation Semantics. COMMA 2016: 83-94 - [c19]Ringo Baumann, Frank Loebe, Heinrich Herre:
Towards an Ontology of Space for GFO. FOIS 2016: 53-66 - [c18]Ringo Baumann:
Characterizing Equivalence Notions for Labelling-Based Semantics. KR 2016: 22-32 - [c17]Ringo Baumann, Hannes Strass:
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. KR 2016: 525-528 - [i3]Ringo Baumann, Thomas Linsbichler, Stefan Woltran:
Verifiability of Argumentation Semantics. CoRR abs/1603.09502 (2016) - 2015
- [c16]Ringo Baumann, Christof Spanring:
Infinite Argumentation Frameworks - On the Existence and Uniqueness of Extensions. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 281-295 - [c15]Ringo Baumann, Hannes Strass:
Open Problems in Abstract Argumentation. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 325-339 - [c14]Ringo Baumann, Gerhard Brewka:
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks. IJCAI 2015: 2734-2740 - 2014
- [b1]Ringo Baumann:
Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation. Leipzig University, Germany, 2014 - [j2]Ringo Baumann, Frank Loebe, Heinrich Herre:
Axiomatic theories of the ontology of time in GFO. Appl. Ontology 9(3-4): 171-215 (2014) - [c13]Ringo Baumann:
Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in abstract Argumentation. ECAI 2014: 63-68 - [c12]Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran:
Compact Argumentation Frameworks. ECAI 2014: 69-74 - [i2]Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran:
Compact Argumentation Frameworks. CoRR abs/1404.7734 (2014) - 2013
- [c11]Ringo Baumann, Gerhard Brewka:
Analyzing the Equivalence Zoo in Abstract Argumentation. CLIMA 2013: 18-33 - [c10]Ringo Baumann, Gerhard Brewka:
Spectra in Abstract Argumentation: An Analysis of Minimal Change. LPNMR 2013: 174-186 - [c9]Ringo Baumann, Hannes Strass:
On the Maximal and Average Numbers of Stable Extensions. TAFA 2013: 111-126 - 2012
- [j1]Ringo Baumann:
Normal and strong expansion equivalence for argumentation frameworks. Artif. Intell. 193: 18-44 (2012) - [c8]Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran:
Parameterized Splitting: A Simple Modification-Based Approach. Correct Reasoning 2012: 57-71 - [c7]Ringo Baumann, Hannes Strass:
Default Reasoning about Actions via Abstract Argumentation. COMMA 2012: 297-309 - [c6]Ringo Baumann:
What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation. ECAI 2012: 127-132 - [c5]Ringo Baumann, Frank Loebe, Heinrich Herre:
Ontology of Time in GFO. FOIS 2012: 293-306 - 2011
- [c4]Ringo Baumann:
Splitting an Argumentation Framework. LPNMR 2011: 40-53 - [c3]Ringo Baumann, Gerhard Brewka, Renata Wong
Splitting Argumentation Frameworks: An Empirical Evaluation. TAFA 2011: 17-31 - [i1]Ringo Baumann, Heinrich Herre:
The Axiomatic Foundation of Space in GFO. CoRR abs/1110.5832 (2011) - 2010
- [c2]Ringo Baumann, Gerhard Brewka:
Expanding Argumentation Frameworks: Enforcing and Monotonicity Results. COMMA 2010: 75-86 - [c1]Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski:
State Defaults and Ramifications in the Unifying Action Calculus. KR 2010
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: