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

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

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

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

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

Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating Subclasses of Abstract Dialectical Frameworks
Proceedings of 7th International Conference on Computational Models of Argument, 12-14, 2018
Details

Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
An Extension-Based Approach to Belief Revision in Abstract Argumentation
International Journal of Approximate Reasoning, 93:395-423, 2018
Details

Martin Diller, Adam Zachary Wyner, Hannes Strass
Defeasible AceRules: A prototype
Proceedings of the 12th International Conference on Computational Semantics, 19-22, 2017
Details

Martin Diller, Anthony Hunter
Encoding monotonic multiset preferences using CI-nets
Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der Informatik, 2017
Details

Komplette Publikationsliste anzeigen
Logo CPEC final RGB.svg

CPEC
Grundlagen verständlicher Softwaresysteme