Martin Diller

24 papers A* 4B 2C 2Misc 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
ABA Disputes in ASP: Advancing Argument Games Through Multi-shot Solving.
PRIMA
Martin Diller, Piotr Gorczyca
2025 — conf
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving.
NMR
Martin Diller, Piotr Gorczyca
2025 A* conf
Grounding Rule-Based Argumentation Using Datalog.
KR
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
2025 J jnl
Grounding Rule-Based Argumentation Using Datalog.
CoRR
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
2025 Misc conf
Supporting Risk Management for Medical Devices via the RISKMAN Ontology and Shapes.
SEMANTiCS
Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Strass
2024 J jnl
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes.
CoRR
Piotr Gorczyca, Dörthe Arndt, Martin Diller, Pascal Kettmann, Stephan Mennicke, Hannes Strass
2022 J jnl
Admissibility in Probabilistic Argumentation.
J. Artif. Intell. Res.
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
2022 — conf
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation.
SAFA
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
2021 A* conf
Admissibility in Probabilistic Argumentation.
KR
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
2021 — conf
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation.
CLAR
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
2020 J jnl
Investigating subclasses of abstract dialectical frameworks.
Argument Comput.
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
2020 J jnl
Solving Advanced Argumentation Problems with Answer Set Programming.
Theory Pract. Log. Program.
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
2019 — conf
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)
Martin Diller, Adam Wyner, Hannes Strass
2019 J jnl
Solving Advanced Argumentation Problems with Answer Set Programming.
CoRR
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
2018 J jnl
An extension-based approach to belief revision in abstract argumentation.
Int. J. Approx. Reason.
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
2018 C conf
Investigating Subclasses of Abstract Dialectical Frameworks.
COMMA
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
2017 — conf
Defeasible AceRules: A Prototype.
IWCS(1)
Martin Diller, Adam Z. Wyner, Hannes Strass
2017 — conf
Encoding monotonic multiset preferences using CI-nets.
BTW (Workshops)
Martin Diller, Anthony Hunter
2017 A* conf
Solving Advanced Argumentation Problems with Answer-Set Programming.
AAAI
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
2016 J jnl
Encoding monotonic multi-set preferences using CI-nets: preliminary report.
CoRR
Martin Diller, Anthony Hunter
2015 A* conf
An Extension-Based Approach to Belief Revision in Abstract Argumentation.
IJCAI
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
2015 J jnl
Reasoning in abstract dialectical frameworks using quantified Boolean formulas.
Argument Comput.
Martin Diller, Johannes P. Wallner, Stefan Woltran
2014 C conf
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas.
COMMA
Martin Diller, Johannes Peter Wallner, Stefan Woltran
2013 B conf
Tableaux for Verification of Data-Centric Processes.
TABLEAUX
Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish