Tableaux for Verification of Data-Centric Processes. - Andreas Bauer 002; Peter Baumgartner 001; Martin Diller; Michael Norrish (TABLEAUX, 2013)

Reasoning in abstract dialectical frameworks using quantified Boolean formulas. - Martin Diller; Johannes Peter Wallner; Stefan Woltran (Argument Comput., 2015)

Encoding monotonic multi-set preferences using CI-nets: preliminary report. - Martin Diller; Anthony Hunter (CoRR, 2016)

Encoding monotonic multiset preferences using CI-nets. - Martin Diller; Anthony Hunter (BTW (Workshops), 2017)

Defeasible AceRules: A Prototype. - Martin Diller; Adam Z. Wyner; Hannes Strass (IWCS(1), 2017)

An extension-based approach to belief revision in abstract argumentation. - Martin Diller; Adrian Haret; Thomas Linsbichler; Stefan Rümmele; Stefan Woltran (Int. J. Approx. Reason., 2018)

Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization. - Martin Diller; Adam Wyner 001; Hannes Strass (IWCS (2), 2019)

EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface. - Hannes Strass; Adam Wyner 001; Martin Diller (Int. J. Approx. Reason., 2019)

Investigating subclasses of abstract dialectical frameworks. - Martin Diller; Atefeh Keshavarzi Zafarghandi; Thomas Linsbichler; Stefan Woltran (Argument Comput., 2020)

Solving Advanced Argumentation Problems with Answer Set Programming. - Gerhard Brewka; Martin Diller; Georg Heissenberger; Thomas Linsbichler; Stefan Woltran (Theory Pract. Log. Program., 2020)

Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation. - Martin Diller; Sarah Alice Gaggl; Piotr Gorczyca (CLAR, 2021)

Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation. - Martin Diller; Sarah Alice Gaggl; Piotr Gorczyca (SAFA@COMMA, 2022)

Admissibility in Probabilistic Argumentation. - Nikolai Käfer; Christel Baier; Martin Diller; Clemens Dubslaff; Sarah Alice Gaggl; Holger Hermanns (J. Artif. Intell. Res., 2022)

A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes. - Piotr Gorczyca; Dörthe Arndt; Martin Diller; Pascal Kettmann; Stephan Mennicke; Hannes Strass (CoRR, 2024)