Martin Diller

According to our database, Martin Diller authored at least 14 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2022

Admissibility in Probabilistic Argumentation.

Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns

J. Artif. Intell. Res., 2022

Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation.

Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca

Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

2021

Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation.

Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

Solving Advanced Argumentation Problems with Answer Set Programming.

Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran

Theory Pract. Log. Program., 2020

Investigating subclasses of abstract dialectical frameworks.

Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran

Argument Comput., 2020

2019

<i>EMIL</i>: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface.

Hannes Strass, Adam Wyner, Martin Diller

Int. J. Approx. Reason., 2019

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, Hannes Strass

Proceedings of the 13th International Conference on Computational Semantics, 2019

2018

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

2017

Defeasible AceRules: A Prototype.

Martin Diller, Adam Z. Wyner, Hannes Strass

Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19, 2017

Encoding monotonic multiset preferences using CI-nets.

Martin Diller, Anthony Hunter

Proceedings of the Datenbanksysteme für Business, 2017

2016

Encoding monotonic multi-set preferences using CI-nets: preliminary report.

Martin Diller, Anthony Hunter

CoRR, 2016

2015

Reasoning in abstract dialectical frameworks using quantified Boolean formulas.

Martin Diller, Johannes Peter Wallner, Stefan Woltran

Argument Comput., 2015

2013

Tableaux for Verification of Data-Centric Processes.

Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013