1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies
Merlin Humml, Lutz Schröder, Dirk Pattinson
Alternating-time temporal logic (ATL) and its extensions, including the alternating-time -calculus (AMC), serve the specification of the strategic abilities of coalitions of age…
cs.AI2018★ 1 cited
Trichotomic Argumentation Representation
Merlin Göttlinger, Lutz Schröder
The Aristotelian trichotomy distinguishes three aspects of argumentation: Logos, Ethos, and Pathos. Even rich argumentation representations like the Argument Interchange Format (AI…