Martin Diller

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. Martin Diller

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Logische Programmierung und Argumentation

I am part of Sarah Gaggl's group, Logic Programming and Argumentation, since its inception in October 2020.  I am also located at TU Dresden (first in the Computational Logic group) and employed as a research assistant for CPEC since May 2019.  

Before coming (back) to TU Dresden I was a research assistant at the DBAI and KR groups at TU Wien, Austria from 2014-2019 and part of the formal argumentation team(s) initiated by Stefan Woltran there.  At TU Wien I also completed my Phd, in the doctoral program Logical Methods in Computer Science.    

I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien (EMCL). Before, I did the equivalent of a MA in Philosophy (Logic & Epistemology track) and a BSc in Computer Science at Universidad Nacional de Córdoba, Argentina.  There I was also briefly a postgraduate scholar funded by CONICET. I have also been at the University of Aberdeen, Scotland, UCL in London, England, and NICTA-Canberra, Australia for internships and short research stays working on applied aspects of argumentation and automated reasoning.

Neueste Publikationen

Komplette Publikationsliste anzeigen

Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 87-98, November 2021
Details Download
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
In Pietro Baroni, Christoph Benzmüller, Yì N. Wán, eds., Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021), volume 13040 of LNCS, 147-168, 2021. Springer
Details Download
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating subclasses of abstract dialectical frameworks
Argument & Computation, 11(1-2):191-219, May 2020
Details
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Theory and Practice of Logic Programming, January 2020
Details
Hannes Straß, Adam Z. Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface
International Journal of Approximate Reasoning, 112:55--84, 2019
Details Download
Martin Diller, Adam Z. Wyner, Hannes Straß
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
In Simon Dobnik and Stergios Chatzikyriakidis and Vera Demberg, eds., Proceedings of the Thirteenth International Conference on Computational Semantics (IWCS), Short Papers, 32--37, May 2019. The Association for Computational Linguistics
Details Download
Martin Diller, Adam Zachary 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
Proceedings of the 13th International Conference on Computational Semantics, 32-37, 2019. Association for Computational Linguistics
Details Download
Hannes Strass, Adam Zachary Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface
International Journal of Approximate Reasoning, 112:55-84, 2019
Details Download
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Technical Report, arXiv.org, December 2019
Details
Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes Peter Wallner, Stefan Woltran
Applications of ASP in Formal Argumentation
Proceedings of the Second Workshop on Theory and Applications of Answer Set Programming, 2018
Details
Komplette Publikationsliste anzeigen
CPEC-logo.png

CPEC
Grundlagen verständlicher Softwaresysteme