Martin Diller

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 16

Top Topics

Natural Language

Quantified Boolean Formulas

Answer Set Programming

Abstract Argumentation

Top Venues

Int. J. Approx. Reason.

Argument Comput.

Publications

Piotr Gorczyca, Dörthe Arndt, Martin Diller, Pascal Kettmann, Stephan Mennicke, Hannes Strass
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes. CoRR (2024)
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation. SAFA@COMMA (2022)
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022)
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation. CLAR (2021)
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation. KR (2021)
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming. Theory Pract. Log. Program. 20 (3) (2020)
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating subclasses of abstract dialectical frameworks. Argument Comput. 11 (1-2) (2020)
Martin Diller, Adam Wyner, Hannes Strass
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization. IWCS (2) (2019)
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming. CoRR (2019)
Hannes Strass, Adam Wyner, Martin Diller
: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface. Int. J. Approx. Reason. 112 (2019)
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating Subclasses of Abstract Dialectical Frameworks. COMMA (2018)
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
An extension-based approach to belief revision in abstract argumentation. Int. J. Approx. Reason. 93 (2018)
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer-Set Programming. AAAI (2017)
Martin Diller, Anthony Hunter
Encoding monotonic multiset preferences using CI-nets. BTW (Workshops) (2017)
Martin Diller, Adam Z. Wyner, Hannes Strass
Defeasible AceRules: A Prototype. IWCS(1) (2017)
Martin Diller, Anthony Hunter
Encoding monotonic multi-set preferences using CI-nets: preliminary report. CoRR (2016)
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
An Extension-Based Approach to Belief Revision in Abstract Argumentation. IJCAI (2015)
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in abstract dialectical frameworks using quantified Boolean formulas. Argument Comput. 6 (2) (2015)
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas. COMMA (2014)
Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
Tableaux for Verification of Data-Centric Processes. TABLEAUX (2013)