Martin Diller

According to our database, Martin Diller authored at least 15 papers between 2013 and 2025.

Collaborative distances:

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

2025

Grounding Rule-Based Argumentation Using Datalog.

Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach

CoRR, August, 2025

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

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

Admissibility in Probabilistic Argumentation.

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

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 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

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

Investigating Subclasses of Abstract Dialectical Frameworks.

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

Proceedings of the Computational Models of Argument, 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

Solving Advanced Argumentation Problems with Answer-Set Programming.

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

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

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

Martin Diller, Anthony Hunter

CoRR, 2016

2015

An Extension-Based Approach to Belief Revision in Abstract Argumentation.

Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas.

Martin Diller, Johannes Peter Wallner, Stefan Woltran

Proceedings of the Computational Models of Argument, 2014

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