Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Anne-Marie Heine

dblp:355/6273 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › argumentation
abstract argumentation
1.422024
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.812024
From Acceptance to Rejection in Abstract Argumentation · KR 2024
Knowledge, reasoning and agents › Knowledge representation and reasoning › argumentation › abstract argumentation
labelling semantics
0.812024
From Acceptance to Rejection in Abstract Argumentation · KR 2024
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic programming
strong equivalence
0.712023
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
YearPublicationVenuePosition
2024 From Acceptance to Rejection in Abstract Argumentation
abstract
Dynamic 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
KR1
2023 On Conflict-free Labellings - Realizability, Construction and Patterns of Redundancy
abstract
The 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
KR2