Dr. Martin Diller
Wissenschaftlicher MitarbeiterTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de 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, Erasmus Mundus scholarship). 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.
My research is mainly on formal models of argumentation and their realisation for argumentation-based AI systems.
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation
- von Piotr Gorczyca (5 Juli 2022)
- Betreuer: Sarah Alice Gaggl, Martin Diller