Demo Data from EDBT 2026 / reviewers in the wild / expert
Anne-Marie Heine
dblp:355/6273
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2024
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 1 first-author · 2 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
2 papers |
Knowledge representation and reasoning · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning › argumentation
abstract argumentation |
1.4 | 2 | 2024 | From Acceptance to Rejection in Abstract Argumentation · KR 2024 On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy · KR 2023 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › argumentation
formal argumentation |
0.8 | 1 | 2024 | From Acceptance to Rejection in Abstract Argumentation · KR 2024 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › argumentation › abstract argumentation
labelling semantics |
0.8 | 1 | 2024 | From Acceptance to Rejection in Abstract Argumentation · KR 2024 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic programming
strong equivalence |
0.7 | 1 | 2023 | On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy · KR 2023 |
Methods — techniques the papers use, named apart from their topics
consensus preservation · 0.8construction method · 0.7characterization theorem · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | From Acceptance to Rejection in Abstract ArgumentationabstractDynamic reasoning environments are among the key aspects in formal argumentation research. Presumably the best understood problem is the so-called enforcement problem which asks, generally speaking, whether a given argumentation framework can be modified in a way that a certain desired outcome is ensured. However, enforcement research primarily focuses on the acceptance of arguments or sets thereof. This paper aims to explore the dual problem and investigates means to reject certain unreasonable viewpoints. To achieve this, we use labelling semantics on abstract argumentation frameworks (AFs), since they provide a clearly defined notion of rejection. We consider different kinds of updates for our given AF and provide results on existence as well as minimality of syntactic and semantic changes. For the latter, we define the new concept of consensus preservation, formalizing the intuition that formerly acceptable opinions should remain acceptable in the adapted framework. Lastly we discuss how these two notions of minimizing change interact. Anne-Marie Heine, Markus Ulbricht 0001 |
KR | 1 |
| 2023 | On Conflict-free Labellings - Realizability, Construction and Patterns of RedundancyabstractThe paper deals with the topic of realizability in abstract argumentation. More precisely, we consider the most basic kind of labellings, so-called conflict-free labellings. The understanding of these labellings is essential as any mature labelling-based semantics selects its output among these labellings. We show how to decide whether a given set of labellings is the conflict-free outcome of a certain Dungean framework. To this end we introduce several new criteria like L-tightness, reject-witness and reject-compositionality. These properties play a decisive role in the central characterization theorem. Moreover, we present a construction method, showing how to realize a conflict-free realizable labelling-set. Finally, we study the representational freedom in case of such labellings. This leads to an uniqueness result for a certain sub-class and a surprising connection to strong equivalence in case of extension-based semantics. Ringo Baumann, Anne-Marie Heine |
KR | 2 |