https://iccl.inf.tu-dresden.de/w/api.php?action=feedcontributions&feedformat=atom&user=Martin+Diller 2026-04-18T19:23:44Z Benutzerbeiträge MediaWiki 1.43.1 https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3439&diff=43360 2025-10-20T17:17:53Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Piotr Gorczyca<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving<br /> |To appear=1<br /> |Year=2025<br /> |Month=November<br /> |Booktitle=Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning (NMR)<br /> }}<br /> {{Publikation Details<br /> |Abstract=Argumentation games, which model reasoning as adversarial dialogue, offer intuitive and explainable mechanisms for decision-making in AI. However, their implementation has lagged behind inference-focused approaches, particularly in structured argumentation frameworks like assumption-based argumentation (ABA). This work presents, to our knowledge, the first application of multi-shot answer set programming (ASP) for implementing argument games, focusing on ABA dispute derivations. Leveraging a recent rule-based representation of ABA disputes, our method combines a declarative program with lightweight script-based control of multi-shot aspects, yielding a modular and adaptable system. We extend this core approach to support alternative games and show how it can also be used to implement argument games for Dung’s abstract argumentation formalism. Empirical results show that our implementation outperforms existing ABA dispute systems. We also introduce an approximate variant that further improves efficiency – reaching the level of the best current inference-focused ABA system – while maintaining perfect specificity (i.e. true negative rate), demonstrating the practical value of multi-shot ASP, particularly in interactive settings where explainability is key.<br /> |Download=Nmr-diller-gorczyca2.pdf<br /> |Projekt=KIMEDS, MEDGE, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Nmr-diller-gorczyca2.pdf&diff=43359 2025-10-20T17:17:38Z

<p>Martin Diller: </p> <hr /> <div></div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3439&diff=43358 2025-10-20T17:16:26Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Piotr Gorczyca<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving<br /> |To appear=1<br /> |Year=2025<br /> |Month=November<br /> |Booktitle=Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning (NMR)<br /> }}<br /> {{Publikation Details<br /> |Abstract=Argumentation games, which model reasoning as adversarial dialogue, offer intuitive and explainable mechanisms for decision-making in AI. However, their implementation has lagged behind inference-focused approaches, particularly in structured argumentation frameworks like assumption-based argumentation (ABA). This work presents, to our knowledge, the first application of multi-shot answer set programming (ASP) for implementing argument games, focusing on ABA dispute derivations. Leveraging a recent rule-based representation of ABA disputes, our method combines a declarative program with lightweight script-based control of multi-shot aspects, yielding a modular and adaptable system. We extend this core approach to support alternative games and show how it can also be used to implement argument games for Dung’s abstract argumentation formalism. Empirical results show that our implementation outperforms existing ABA dispute systems. We also introduce an approximate variant that further improves efficiency – reaching the level of the best current inference-focused ABA system – while maintaining perfect specificity (i.e. true negative rate), demonstrating the practical value of multi-shot ASP, particularly in interactive settings where explainability is key.<br /> |Projekt=KIMEDS, MEDGE, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3424&diff=43334 2025-10-14T16:22:39Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Piotr<br /> |ErsterAutorNachname=Gorczyca<br /> |FurtherAuthors=Dörthe Arndt; Martin Diller; Jochen Hampe; Georg Heidenreich; Pascal Kettmann; Markus Krötzsch; Stephan Mennicke; Sebastian Rudolph; Hannes Straß<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes<br /> |To appear=1<br /> |Year=2025<br /> |Month=September<br /> |Booktitle=Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025)<br /> }}<br /> {{Publikation Details<br /> |Abstract=We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices.<br /> Risk management is concerned with taking necessary precautions to ensure that a medical device does not cause harms for users or the environment. To date, risk management documentation is submitted to notified bodies (for certification) in the form of semi-structured natural language text. We propose to use terms from the Riskman ontology to provide a formal, logical underpinning for risk management documentation, and to use the included SHACL constraints to check whether the provided data is in accordance with the requirements of the two relevant norms, i.e. ISO 14971 and VDE Spec 90025.<br /> |Download=Gorczyca-et-al2025supporting-risk-management-for-medical-devices-via-the-riskman-ontology-and-shapes.pdf<br /> |Slides=Gorczyca-riskman-slides.pdf<br /> |Projekt=KIMEDS, MEDGE, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation, Wissensbasierte Systeme<br /> }}<br /> Access the live presentation at https://gorczyca.github.io/semantics-25-slides/</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3439&diff=43333 2025-10-14T15:55:59Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Piotr Gorczyca<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving<br /> |To appear=1<br /> |Year=2025<br /> |Month=November<br /> |Booktitle=Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning (NMR)<br /> }}<br /> {{Publikation Details<br /> |Abstract=Argumentation games, which model reasoning as adversarial dialogue, offer intuitive and explainable mechanisms for decision-making in AI. However, their implementation has lagged behind inference-focused approaches, particularly in structured argumentation frameworks like assumption-based argumentation (ABA). This work presents, to our knowledge, the first application of multi-shot answer set programming (ASP) for implementing argument games, focusing on ABA dispute derivations. Leveraging a recent rule-based representation of ABA disputes, our method combines a declarative program with lightweight script-based control of multi-shot aspects, yielding a modular and adaptable system. We extend this core approach to support alternative games and show how it can also be used to implement argument games for Dung’s abstract argumentation formalism. Empirical results show that our implementation outperforms existing ABA dispute systems. We also introduce an approximate variant that further improves efficiency – reaching the level of the best current inference-focused ABA system – while maintaining perfect specificity (i.e. true negative rate), demonstrating the practical value of multi-shot ASP, particularly in interactive settings where explainability is key.<br /> |Download=Nmr-diller-gorczyca.pdf<br /> |Projekt=KIMEDS, MEDGE, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Nmr-diller-gorczyca.pdf&diff=43332 2025-10-14T15:54:01Z

<p>Martin Diller: </p> <hr /> <div></div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3440&diff=43237 2025-10-01T14:05:37Z

<p>Martin Diller: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Piotr Gorczyca }} {{Inproceedings |Referiert=1 |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving |To appear=1 |Year=2025 |Month=Dezember |Booktitle=Proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems }} {{Publikation Details |Projekt=KIMEDS, SEMECO-Q2 |Forschungsgruppe=Computational…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Piotr Gorczyca<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving<br /> |To appear=1<br /> |Year=2025<br /> |Month=Dezember<br /> |Booktitle=Proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems<br /> }}<br /> {{Publikation Details<br /> |Projekt=KIMEDS, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3439&diff=43235 2025-10-01T14:01:13Z

<p>Martin Diller: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Piotr Gorczyca }} {{Inproceedings |Referiert=1 |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving |To appear=1 |Year=2025 |Month=November |Booktitle=Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning }} {{Publikation Details |Projekt=KIMEDS, SEMECO-Q2 |Forschungsgruppe=Computational Logic, Logische Programmie…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Piotr Gorczyca<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving<br /> |To appear=1<br /> |Year=2025<br /> |Month=November<br /> |Booktitle=Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning<br /> }}<br /> {{Publikation Details<br /> |Projekt=KIMEDS, SEMECO-Q2<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3060&diff=42708 2025-08-21T11:57:02Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Sarah Alice Gaggl; Philipp Hanisch; Giuseppina Monterosso; Fritz Rauschenbach<br /> }}<br /> {{Techreport<br /> |Title=Grounding Rule-Based Argumentation Using Datalog<br /> |Year=2025<br /> |Month=August<br /> |Institution=arXiv.org<br /> |Type=Long version of article to appear in Proceedings of KR 2025<br /> }}<br /> {{Publikation Details<br /> |Abstract=ASPIC+ is one of the main general frameworks for rule-based argumentation for AI. Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reason over rule-based argumentation only support propositional rules. To enable reasoning over first-order instances, a preliminary grounding step is required. As groundings can lead to an exponential increase in the size of the input theories, intelligent procedures are needed. However, there is a lack of dedicated solutions for ASPIC+. Therefore, we propose an intelligent grounding procedure that keeps the size of the grounding manageable while preserving the correctness of the reasoning process. To this end, we translate the first-order ASPIC+ instance into a Datalog program and query a Datalog engine to obtain ground substitutions to perform the grounding of rules and contraries. Additionally, we propose simplifications specific to the ASPIC+ formalism to avoid grounding of rules that have no influence on the reasoning process. Finally, we performed an empirical evaluation of a prototypical implementation to show scalability.<br /> |Download=DGHMR2025 arxiv.pdf<br /> |Link=https://doi.org/10.48550/arXiv.2508.10976<br /> |DOI Name=https://doi.org/10.48550/arXiv.2508.10976<br /> |Projekt=SECAI, SEMECO-Q2<br /> |Forschungsgruppe=Logische Programmierung und Argumentation, Wissensbasierte Systeme<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Regelbasiertes Schließen<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3419&diff=42648 2025-08-13T13:50:26Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Sarah Alice Gaggl; Philipp Hanisch; Giuseppina Monterosso; Fritz Rauschenbach<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Grounding Rule-Based Argumentation Using Datalog<br /> |To appear=1<br /> |Year=2025<br /> |Booktitle=KR 2025<br /> }}<br /> {{Publikation Details<br /> |Projekt=SECAI, SEMECO-Q2<br /> |Forschungsgruppe=Logische Programmierung und Argumentation, Wissensbasierte Systeme<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=39458 2024-04-02T10:02:16Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020. I am currently a researcher for the &quot;AI<br /> assisted regulatory workflows for medical microsystems and cyber security&quot; project, part of the interdisciplinary [https://semeco.info SEMECO] cluster. Being located at TU Dresden since May 2019 (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group), I was previously employed by the [https://scads.ai Center for Scalable Data Analytics and Artificial Intelligence] (2023) as well as the [https://www.perspicuous-computing.science/ Transregional Collaborative Research Centre “Foundations of Perspicuous Software Systems”] (2019-22).  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://informatics.tuwien.ac.at/orgs/e192-02 Database And Artificial Intelligence] and [https://informatics.tuwien.ac.at/orgs/e192-03 Knowledge-based Systems] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team initiated by [https://informatics.tuwien.ac.at/people/stefan-woltran Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020. I am currently a researcher for the &quot;AI<br /> assisted regulatory workflows for medical microsystems and cyber security&quot; project, part of the interdisciplinary [https://semeco.info SEMECO] cluster. Being located at TU Dresden since May 2019 (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group), I was previously employed by the [https://scads.ai Center for Scalable Data Analytics and Artificial Intelligence] (2023) as well as the [https://www.perspicuous-computing.science/ Transregional Collaborative Research Centre “Foundations of Perspicuous Software Systems”] (2019-22).  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://informatics.tuwien.ac.at/orgs/e192-02 Database And Artificial Intelligence] and [https://informatics.tuwien.ac.at/orgs/e192-03 Knowledge-based Systems] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team initiated by [https://informatics.tuwien.ac.at/people/stefan-woltran Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=39457 2024-04-02T10:00:00Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020. I am currently a researcher for the &quot;AI<br /> assisted regulatory workflows for medical microsystems and cyber security&quot; project, part of the interdisciplinary [https://semeco.info SEMECO] cluster. Being located at TU Dresden since May 2019 (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group), I was previously employed by the [https://scads.ai Center for Scalable Data Analytics and Artificial Intelligence] (2023) as well as the [https://www.perspicuous-computing.science/ Transregional Collaborative Research Centre “Foundations of Perspicuous Software Systems”] (2019-22).  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://informatics.tuwien.ac.at/orgs/e192-02 Database And Artificial Intelligence] and [https://informatics.tuwien.ac.at/orgs/e192-03 Knowledge-based Systems] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://informatics.tuwien.ac.at/people/stefan-woltran Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020. I am currently a researcher for the &quot;AI<br /> assisted regulatory workflows for medical microsystems and cyber security&quot; project, part of the interdisciplinary [https://semeco.info SEMECO] cluster. Being located at TU Dresden since May 2019 (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group), I was previously employed by the [https://scads.ai Center for Scalable Data Analytics and Artificial Intelligence] (2023) as well as the [https://www.perspicuous-computing.science/ Transregional Collaborative Research Centre “Foundations of Perspicuous Software Systems”] (2019-22).  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://informatics.tuwien.ac.at/orgs/e192-02 Database And Artificial Intelligence] and [https://informatics.tuwien.ac.at/orgs/e192-03 Knowledge-based Systems] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://informatics.tuwien.ac.at/people/stefan-woltran Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=39456 2024-04-02T09:58:32Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020. I am currently a researcher for the &quot;AI<br /> assisted regulatory workflows for medical microsystems and cyber security&quot; project, part of the interdisciplinary [https://semeco.info SEMECO] cluster. Being located at TU Dresden since May 2019 (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group), I was previously employed by the [https://scads.ai Center for Scalable Data Analytics and Artificial Intelligence] (2023) and [https://www.perspicuous-computing.science/ Transregional Collaborative Research Centre “Foundations of Perspicuous Software Systems”] (2019-22).  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://informatics.tuwien.ac.at/orgs/e192-02 Database And Artificial Intelligence] and [https://informatics.tuwien.ac.at/orgs/e192-03 Knowledge-based Systems] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://informatics.tuwien.ac.at/people/stefan-woltran Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020. I am currently a researcher for the &quot;AI<br /> assisted regulatory workflows for medical microsystems and cyber security&quot; project, part of the interdisciplinary [https://semeco.info SEMECO] cluster. Being located at TU Dresden since May 2019 (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group), I was previously employed by the [https://scads.ai Center for Scalable Data Analytics and Artificial Intelligence] (2023) and [https://www.perspicuous-computing.science/ Transregional Collaborative Research Centre “Foundations of Perspicuous Software Systems”] (2019-22).  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://informatics.tuwien.ac.at/orgs/e192-02 Database And Artificial Intelligence] and [https://informatics.tuwien.ac.at/orgs/e192-03 Knowledge-based Systems] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://informatics.tuwien.ac.at/people/stefan-woltran Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=37915 2023-03-17T11:10:11Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=37914 2023-03-17T11:09:29Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=37904 2023-03-14T11:52:33Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My main research interest are formal models of argumentation, towards enabling [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> <br /> My main research interest are formal models of argumentation, towards enabling [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=37869 2023-02-28T11:33:35Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=37868 2023-02-27T20:21:44Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=37867 2023-02-27T20:20:06Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL], Erasmus-Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |Info EN=I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL], Erasmus-Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=37321 2022-10-12T11:14:25Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2018<br /> |Bild=Martin-diller-2019.jpg<br /> |Info=I am part of Sarah Gaggl's group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL]). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |Info EN=I am part of Sarah Gaggl's group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL]). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Google Scholar=https://scholar.google.com/citations?hl=de&amp;user=Uil2U_AAAAAJ<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{#subobject:<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |@category=Mitarbeiter<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Sarah_Alice_Gaggl/NAVAS_Workshop-Wien&diff=36416 2022-05-10T09:43:36Z

<p>Martin Diller: </p> <hr /> <div>{{DISPLAYTITLE:NAVAS Workshop 2022 in Vienna}}<br /> &lt;!--*<br /> The NAVAS workshop series is jointly organized by research groups at Alpen-Adria-Universität Klagenfurt, Technische Universität Wien, and Universität Potsdam. TAASP 2018 is the second workshop of its type, which was held November 19-20, 2018 at Technische Universität Wien, Vienna, Austria.--&gt;<br /> <br /> The NAVAS workshop on ''Navigation Approaches for Answer Sets'' is jointly organized by research groups at [http://www.tuwien.at TU Wien] and [http://www.tu-dresden.de TU Dresden] will take place in Vienna , Austria, may 23-25, 2022. &lt;!--*The event will be held at the TODO--&gt;<br /> <br /> [[Image:Vienna-Pierre Blaché.jpg|center|Vienna Skyline]]<br /> <br /> {{#maketabs:<br /> |Aim and Scope=<br /> <br /> |Programme=<br /> The NaVAS workshop will take place from Monday, May 21th until Wednesday May 23th of 2022. <br /> <br /> Monday, May 23th:<br /> <br /> *09:15 Welcome<br /> *09:20 Talk: NAVAS - Navigation in the solution space of answer sets and Visualization for Argument Frameworks - [[Sarah Alice Gaggl]]<br /> *09:45 Talk: Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy - [[Elisa Böhl]]<br /> <br /> *10:15 Coffee break<br /> <br /> *10:30 Talk: Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation - [[Martin Diller]]<br /> *11:30 Talk: Rushing and Strolling among Answer Sets - Navigation Made Easy [[Dominik Rusovac]]<br /> <br /> <br /> Tuesday, May 24th:<br /> <br /> *14:00 - 19:00 [https://www.tuwien.at/caiml/news-detail/caiml-annual-event-edward-a-lee/# CAIML Event] - [https://www2.eecs.berkeley.edu/Faculty/Homepages/lee.html Edward A. Lee], [https://www.dc.fi.udc.es/~cabalar/ Pedro Cabalar]<br /> <br /> &lt;!--TODO: link ersetzen --&gt;<br /> <br /> |Abstracts=<br /> For the schedule on on Monday, May 23th the following talks are presented.<br /> <br /> === Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy ===<br /> [[Elisa Böhl]]<br /> <br /> Answer set programming (ASP) solvers have advanced in the recent years, with a variety of different specialisation and overall development. Thus, even more complex and detailed programs can be solved. A side effect of this development are growing solution spaces and the problem of how to find those answer sets one is interested in. One general approach is to give an overview in form of a small number of highly diverse answer sets. By choosing a favourite and repeating the process the user is able to leap through the solution space. But finding highly diverse answer sets is computationally expensive. In this paper we introduce a new approach called Tunas for Trade Up Navigation for Answer Sets to find diverse answer sets by reworking existing solution collections. The core idea is to collect diverse answer sets. Once no more answer sets can be added to the collection, the program is allowed to trade answer sets from the collection for different answer sets, as long as the collection grows and stays diverse. Elaboration of the approach is possible in three variations, which we implemented and compared to established methods in an empirical evaluation. The evaluation shows that the Tunas approach is competitive with existing methods, and that efficiency of the approach is highly connected to the underlying logic program.<br /> <br /> <br /> === Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation ===<br /> [[Martin Diller]]<br /> <br /> Assumption-based argumentation (ABA) is one of the main general frameworks for structured argumentation. Dispute derivations for ABA allow for evaluating claims in a dialectical manner: i.e. on the basis of an exchange of arguments and counter-arguments for a claim between a proponent and an opponent of the claim. Current versions of dispute derivations are geared towards determining (credulous) acceptance of claims w.r.t. the admissibility-based semantics that ABA inherits from abstract argumentation. Relatedly, they make use of backwards or top down reasoning for constructing arguments. In this work we define flexible dispute derivations with forward as well as backward reasoning allowing us, in particular, to also have dispute derivations for finding admissible, complete, and stable assumption sets rather than only determine acceptability of claims. We give an argumentation-based definition of such dispute derivations and a more implementation friendly alternative representation in which disputes involve exchange of claims and rules rather than arguments. These can be seen as elaborations on, in particular, existing graph-based dispute derivations on two fronts: first, in also allowing for forward reasoning; second, in that all arguments put forward in the dispute are represented by a graph and not only the proponents.<br /> <br /> === Rushing and Strolling among Answer Sets - Navigation Made Easy ===<br /> [[Dominik Rusovac]] <br /> <br /> |Organization=<br /> '''Organization '''&lt;br /&gt;<br /> *[[Sarah Gaggl]]<br /> *[https://informatics.tuwien.ac.at/people/johannes-fichte Johannes Fichte]<br /> <br /> <br /> }}&lt;!-- End of #maketabs --&gt;</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=31414 2020-09-28T17:39:01Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |Info EN=I am part of Sarah Gaggl's group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL]). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=31413 2020-09-28T17:32:53Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |Info EN=I am part of Sarah Gaggl's group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic]  group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation]  team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL]). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina.  There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en 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.<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=31403 2020-09-21T17:39:45Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |Info EN=I am part of Sarah Gaggl's group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020.  I am also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic]  group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC]  since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR]  groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation]  team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/woltran/ Stefan Woltran] there.  At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science].     <br /> <br /> I hold a joint MSc degree (2014) in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://www.emcl-study.eu/home.html EMCL]). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/&quot; Universidad Nacional de Córdoba], Argentina (2010).  There I was also briefly (2010-2011) a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en CONICET]. I have also been at the University of Aberdeen, Scotland (2017), UCL in London, England (2016), and NICTA-Canberra, Australia (2012) for internships and short research stays working on more applied aspects of formal argumentation and automated reasoning.<br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3039&diff=31387 2020-09-18T12:43:40Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Anthony Hunter<br /> }}<br /> {{Techreport<br /> |Title=Encoding monotonic multi-set preferences using CI-nets: preliminary report<br /> |Year=2016<br /> |Institution=arXiv.org<br /> }}<br /> {{Publikation Details<br /> |Link=https://arxiv.org/abs/1611.02885<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Incollection3014&diff=31386 2020-09-18T12:43:25Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> }}<br /> {{Incollection<br /> |Title=Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación<br /> |To appear=0<br /> |Year=2011<br /> |Booktitle=Las prácticas científicas: aportes para un enfoque epistemológico<br /> |Pages=31-62<br /> |Publisher=Editorial Brujas<br /> }}<br /> {{Publikation Details<br /> |Download=Verificacion.pdf<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3220&diff=31385 2020-09-18T12:43:09Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Javier Oscar<br /> |ErsterAutorNachname=Blanco<br /> |FurtherAuthors=Pio Garcia; Martin Diller; Renato Cherini<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=A Behavioral Characterization of Computational Systems<br /> |To appear=0<br /> |Year=2011<br /> |Booktitle=Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy<br /> |Pages=30-33<br /> |Editor=Verlagshaus Monsenstein und Vannerdat OHG<br /> }}<br /> {{Publikation Details<br /> |Link=http://gordana.se/work/PUBLICATIONS-files/2011-IACAP11-PROCEEDINGS.pdf#page=30<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3219&diff=31384 2020-09-18T12:42:52Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Andreas<br /> |ErsterAutorNachname=Bauer<br /> |FurtherAuthors=Peter Baumgartner; Martin Diller; Michael Norrish<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Tableaux for Verification of Data-Centric Processes<br /> |To appear=0<br /> |Year=2013<br /> |Booktitle=Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods<br /> |Pages=28-43<br /> |Publisher=Springer<br /> }}<br /> {{Publikation Details<br /> |Link=https://link.springer.com/chapter/10.1007/978-3-642-40537-2_5<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3228&diff=31383 2020-09-18T12:42:36Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Johannes Peter Wallner; Stefan Woltran<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas<br /> |To appear=0<br /> |Year=2014<br /> |Booktitle=Proceedings of the 5th International Conference on Computational Models of Argument<br /> |Pages=241-252<br /> |Publisher=IOS Press<br /> }}<br /> {{Publikation Details<br /> |Link=http://ebooks.iospress.nl/volumearticle/37793<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3221&diff=31382 2020-09-18T12:42:20Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Adrian Haret; Thomas Linsbichler; Stefan Rümmele; Stefan Woltran<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=An Extension-Based Approach to Belief Revision in Abstract Argumentation<br /> |To appear=0<br /> |Year=2015<br /> |Booktitle=Proceedings of the 24th International Joint Conference on Artificial Intelligence<br /> |Pages=2926–2932<br /> |Publisher=AAAI Press<br /> }}<br /> {{Publikation Details<br /> |Link=https://www.ijcai.org/Proceedings/15/Papers/414.pdf<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3224&diff=31381 2020-09-18T12:42:04Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Adam Zachary Wyner; Hannes Strass<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Defeasible AceRules: A prototype<br /> |To appear=0<br /> |Year=2017<br /> |Booktitle=Proceedings of the 12th International Conference on Computational Semantics<br /> |Pages=19-22<br /> }}<br /> {{Publikation Details<br /> |Link=https://aclweb.org/anthology/papers/W/W17/W17-6805/<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3222&diff=31380 2020-09-18T12:41:49Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Anthony Hunter<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Encoding monotonic multiset preferences using CI-nets<br /> |To appear=0<br /> |Year=2017<br /> |Booktitle=Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der Informatik<br /> }}<br /> {{Publikation Details<br /> |Link=https://dl.gi.de/handle/20.500.12116/912<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3223&diff=31379 2020-09-18T12:41:31Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Gerhard<br /> |ErsterAutorNachname=Brewka<br /> |FurtherAuthors=Martin Diller; Georg Heissenberger; Thomas Linsbichler; Stefan Woltran<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Solving Advanced Argumentation Problems with Answer-Set Programming<br /> |To appear=0<br /> |Year=2017<br /> |Booktitle=Proceedings of the 31rst AAAI Conference on Artificial Intelligence<br /> |Pages=1077-1083<br /> }}<br /> {{Publikation Details<br /> |Link=https://www.aaai.org/ocs/index.php/AAAI/AAAI17/paper/viewPaper/14369<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3226&diff=31378 2020-09-18T12:41:13Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Wolfgang Dvořák; Jörg Pührer; Johannes Peter Wallner; Stefan Woltran<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Applications of ASP in Formal Argumentation<br /> |To appear=0<br /> |Year=2018<br /> |Booktitle=Proceedings of the Second Workshop on Theory and Applications of Answer Set Programming<br /> }}<br /> {{Publikation Details<br /> |Link=http://www.kr.tuwien.ac.at/events/taasp18/papers/TAASP_2018_paper_16.pdf<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3225&diff=31377 2020-09-18T12:40:57Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Atefeh Keshavarzi Zafarghandi; Thomas Linsbichler; Stefan Woltran<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Investigating Subclasses of Abstract Dialectical Frameworks<br /> |To appear=0<br /> |Year=2018<br /> |Booktitle=Proceedings of 7th International Conference on Computational Models of Argument<br /> |Pages=12-14<br /> }}<br /> {{Publikation Details<br /> |Link=http://comma2018.argdiap.pl/wp-content/uploads/6_Diller.pdf<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3227&diff=31376 2020-09-18T12:40:37Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Adam Zachary Wyner; Hannes Strass<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization<br /> |To appear=0<br /> |Year=2019<br /> |Booktitle=Proceedings of the 13th International Conference on Computational Semantics<br /> |Pages=32-37<br /> |Publisher=Association for Computational Linguistics<br /> }}<br /> {{Publikation Details<br /> |Abstract=We present the design of a system for making sense of conflicting rules expressed in a fragment of the prominent controlled natural language ACE, yet extended with means of expressing defeasible rules in the form of normality assumptions. The approach we describe is ultimately based on answer-set-programming (ASP); simulating existential quantification by using skolemization in a manner resembling a translation for ASP recently formalized in the context of ∃-ASP. We discuss the advantages of this approach to building on the existing ACE interface to rule-systems, ACERules.<br /> |Link=https://aclweb.org/anthology/papers/W/W19/W19-0505/<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Article3048&diff=31375 2020-09-18T12:40:09Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Marina M.<br /> |ErsterAutorNachname=Strelin<br /> |FurtherAuthors=Andrea Cosacov; Martin Diller; Alicia N. Sérsic<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction<br /> |To appear=0<br /> |Year=2013<br /> |Journal=Botanical Journal of the Linnean Society<br /> |Volume=173<br /> |Number=3<br /> |Pages=487-500<br /> }}<br /> {{Publikation Details<br /> |Link=https://onlinelibrary.wiley.com/doi/full/10.1111/boj.12078<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Article3049&diff=31374 2020-09-18T12:39:37Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Johannes Peter Wallner; Stefan Woltran<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas<br /> |To appear=0<br /> |Year=2015<br /> |Journal=Argument &amp; Computation<br /> |Volume=6<br /> |Number=2<br /> |Pages=149–177<br /> }}<br /> {{Publikation Details<br /> |Link=https://www.tandfonline.com/doi/abs/10.1080/19462166.2015.1036922<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Article3050&diff=31373 2020-09-18T12:39:03Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Adrian Haret; Thomas Linsbichler; Stefan Rümmele; Stefan Woltran<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=An Extension-Based Approach to Belief Revision in Abstract Argumentation<br /> |To appear=0<br /> |Year=2018<br /> |Journal=International Journal of Approximate Reasoning<br /> |Volume=93<br /> |Pages=395-423<br /> }}<br /> {{Publikation Details<br /> |Link=https://www.sciencedirect.com/science/article/abs/pii/S0888613X17301858<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Article3051&diff=31372 2020-09-18T12:38:29Z

<p>Martin Diller: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Hannes<br /> |ErsterAutorNachname=Strass<br /> |FurtherAuthors=Adam Zachary Wyner; Martin Diller<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface<br /> |To appear=0<br /> |Year=2019<br /> |Journal=International Journal of Approximate Reasoning<br /> |Volume=112<br /> |Pages=55-84<br /> }}<br /> {{Publikation Details<br /> |Link=https://www.sciencedirect.com/science/article/abs/pii/S0888613X18300793<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Article3060&diff=31371 2020-09-18T12:36:34Z

<p>Martin Diller: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Atefeh Keshavarzi Zafarghandi; Thomas Linsbichler; Stefan Wol…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Atefeh Keshavarzi Zafarghandi; Thomas Linsbichler; Stefan Woltran<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Investigating subclasses of abstract dialectical frameworks<br /> |To appear=0<br /> |Year=2020<br /> |Month=Mai<br /> |Journal=Argument &amp; Computation<br /> |Volume=11<br /> |Number=1-2<br /> |Pages=191-219<br /> }}<br /> {{Publikation Details<br /> |Abstract=Abstract dialectical frameworks (ADFs) are generalizations of Dung argumentation frameworks where arbitrary relationships among arguments can be formalized. This additional expressibility comes with the price of higher computational complexity, thus an understanding of potentially easier subclasses is essential. Compared to Dung argumentation frameworks, where several subclasses such as acyclic and symmetric frameworks are well understood, there has been no in-depth analysis for ADFs in such direction yet (with the notable exception of bipolar ADFs). In this work, we introduce certain subclasses of ADFs and investigate their properties. In particular, we show that for acyclic ADFs, the different semantics coincide. On the other hand, we show that the concept of symmetry is less powerful for ADFs and further restrictions are required to achieve results that are similar to the known ones for Dung’s frameworks. A particular such subclass (support-free symmetric ADFs) turns out to be closely related to argumentation frameworks with collective attacks (SETAFs); we investigate this relation in detail and obtain as a by-product that even for SETAFs symmetry is less powerful than for AFs. We also discuss the role of odd-length cycles in the subclasses we have introduced. Finally, we analyse the expressiveness of the ADF subclasses we introduce in terms of signatures.<br /> |Link=https://content.iospress.com/articles/argument-and-computation/aac190481<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3043/en&diff=31370 2020-09-18T12:33:05Z

<p>Martin Diller: Page created automatically by parser function on page Techreport3043</p> <hr /> <div>#REDIRECT [[Techreport3043]]</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3043&diff=31369 2020-09-18T12:33:05Z

<p>Martin Diller: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Gerhard |ErsterAutorNachname=Brewka |FurtherAuthors=Martin Diller; Georg Heissenberger; Thomas Linsbichler; Stef…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Gerhard<br /> |ErsterAutorNachname=Brewka<br /> |FurtherAuthors=Martin Diller; Georg Heissenberger; Thomas Linsbichler; Stefan Woltran<br /> }}<br /> {{Techreport<br /> |Title=Solving Advanced Argumentation Problems with Answer Set Programming<br /> |Year=2019<br /> |Month=Dezember<br /> |Institution=arXiv.org<br /> }}<br /> {{Publikation Details<br /> |Abstract=Powerful formalisms for abstract argumentation have been proposed, among them abstract dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the relationship between arguments, and the GRAPPA framework which allows argumentation scenarios to be represented as arbitrary edge-labelled graphs. The complexity of ADFs and GRAPPA is located beyond NP and ranges up to the third level of the polynomial hierarchy. The combined complexity of Answer Set Programming (ASP) exactly matches this complexity when programs are restricted to predicates of bounded arity. In this paper, we exploit this coincidence and present novel efficient translations from ADFs and GRAPPA to ASP. More specifically, we provide reductions for the five main ADF semantics of admissible, complete, preferred, grounded, and stable interpretations, and exemplify how these reductions need to be adapted for GRAPPA for the admissible, complete and preferred semantics.<br /> |Link=https://arxiv.org/abs/1912.02734<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Article3057&diff=31368 2020-09-18T12:29:18Z

<p>Martin Diller: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Gerhard |ErsterAutorNachname=Brewka |FurtherAuthors=Martin Diller; Georg Heissenberger; Thomas Linsbichler; Stef…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Gerhard<br /> |ErsterAutorNachname=Brewka<br /> |FurtherAuthors=Martin Diller; Georg Heissenberger; Thomas Linsbichler; Stefan Woltran<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Solving Advanced Argumentation Problems with Answer Set Programming<br /> |To appear=0<br /> |Year=2020<br /> |Month=Januar<br /> |Journal=Theory and Practice of Logic Programming<br /> }}<br /> {{Publikation Details<br /> |Abstract=Powerful formalisms for abstract argumentation have been proposed, among them abstract dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the relationship between arguments, and the GRAPPA framework which allows argumentation scenarios to be represented as arbitrary edge-labelled graphs. The complexity of ADFs and GRAPPA is located beyond NP and ranges up to the third level of the polynomial hierarchy. The combined complexity of Answer Set Programming (ASP) exactly matches this complexity when programs are restricted to predicates of bounded arity. In this paper, we exploit this coincidence and present novel efficient translations from ADFs and GRAPPA to ASP. More specifically, we provide reductions for the five main ADF semantics of admissible, complete, preferred, grounded, and stable interpretations, and exemplify how these reductions need to be adapted for GRAPPA for the admissible, complete and preferred semantics.<br /> |Link=https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/solving-advanced-argumentation-problems-with-answer-set-programming/898A89692DB64A9E8B574D0C40C39D71<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Martin_Diller&diff=31367 2020-09-18T12:22:04Z

<p>Martin Diller: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Martin<br /> |Nachname=Diller<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Logische Programmierung und Argumentation<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=martin.diller@tu-dresden.de<br /> |Raum=APB 2036<br /> |Bild=Martin-diller-2019.jpg<br /> |Info EN=I am part of Sarah Gaggl's group, &lt;a href=&quot;https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en&quot;&gt;Logic Programming and Argumentation&lt;/a&gt;, since its inception in October 2020.  I am also located at TU Dresden (first in the &lt;a href=&quot;https://iccl.inf.tu-dresden.de/web/Computational_Logic/en&quot;&gt;Computational Logic&lt;/a&gt;  group) and employed as a research assistant for &lt;a href=&quot;https://www.perspicuous-computing.science/&quot;&gt;CPEC&lt;/a&gt;  since May 2019.  <br /> <br /> Before coming (back) to TU Dresden I was a research assistant at the &lt;a href=&quot;https://www.dbai.tuwien.ac.at/&quot;&gt;DBAI&lt;/a&gt; and &lt;a href=&quot;http://www.kr.tuwien.ac.at//&quot;&gt;KR&lt;/a&gt;  groups at TU Wien, Austria from 2014-2019 and part of the &lt;a href=&quot;https://www.dbai.tuwien.ac.at/research/argumentation/&quot;&gt;formal argumentation&lt;/a&gt;  team(s) initiated by &lt;a href=&quot;https://www.dbai.tuwien.ac.at/staff/woltran/&quot;&gt;Stefan Woltran&lt;/a&gt; there.  At TU Wien I also completed my Phd, in the doctoral program &lt;a href=&quot;https://logic-cs.at/phd/&quot;&gt;Logical Methods in Computer Science&lt;/a&gt;.     <br /> <br /> I hold a joint MSc degree (2014) in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien (&lt;a href=&quot;https://www.emcl-study.eu/home.html&quot;&gt;EMCL&lt;/a&gt;). Before, I did the equivalent of a MA in Philosophy (Logic &amp; Epistemology track) and a BSc in Computer Science at &lt;a href=&quot;https://www.unc.edu.ar/english/&quot;&gt;Universidad Nacional de Córdoba&lt;/a&gt;, Argentina (2010).  There I was also briefly (2010-2011) a postgraduate scholar funded by &lt;a href=&quot;https://www.conicet.gov.ar/?lan=en&quot;&gt;CONICET&lt;/a&gt;. I have also been at the University of Aberdeen, Scotland (2017), UCL in London, England (2016), and NICTA-Canberra, Australia (2012) for internships and short research stays. <br /> <br /> The focus of my research since 2014 is computational argumentation, which I see as a natural point of convergence for fruitful human-computer interaction. <br /> |DBLP=https://dblp.uni-trier.de/pers/hd/d/Diller:Martin<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Abstrakte Argumentation<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3228/en&diff=29001 2019-08-20T15:13:05Z

<p>Martin Diller: Page created automatically by parser function on page Inproceedings3228</p> <hr /> <div>#REDIRECT [[Inproceedings3228]]</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3228&diff=29000 2019-08-20T15:13:05Z

<p>Martin Diller: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Johannes Peter Wallner; Stefan Woltran }} {{Inproceedings |Re…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Johannes Peter Wallner; Stefan Woltran<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas<br /> |To appear=0<br /> |Year=2014<br /> |Booktitle=Proceedings of the 5th International Conference on Computational Models of Argument<br /> |Pages=241-252<br /> |Publisher=IOS Press<br /> }}<br /> {{Publikation Details<br /> |Link=http://ebooks.iospress.nl/volumearticle/37793<br /> |Forschungsgruppe=Computational Logic<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3227/en&diff=28985 2019-08-16T16:49:39Z

<p>Martin Diller: Page created automatically by parser function on page Inproceedings3227</p> <hr /> <div>#REDIRECT [[Inproceedings3227]]</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3227&diff=28984 2019-08-16T16:49:39Z

<p>Martin Diller: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Adam Zachary Wyner; Hannes Strass }} {{Inproceedings |Referie…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Martin<br /> |ErsterAutorNachname=Diller<br /> |FurtherAuthors=Adam Zachary Wyner; Hannes Strass<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization<br /> |To appear=0<br /> |Year=2019<br /> |Booktitle=Proceedings of the 13th International Conference on Computational Semantics<br /> |Pages=32-37<br /> |Publisher=Association for Computational Linguistics<br /> }}<br /> {{Publikation Details<br /> |Abstract=We present the design of a system for making sense of conflicting rules expressed in a fragment of the prominent controlled natural language ACE, yet extended with means of expressing defeasible rules in the form of normality assumptions. The approach we describe is ultimately based on answer-set-programming (ASP); simulating existential quantification by using skolemization in a manner resembling a translation for ASP recently formalized in the context of ∃-ASP. We discuss the advantages of this approach to building on the existing ACE interface to rule-systems, ACERules.<br /> |Link=https://aclweb.org/anthology/papers/W/W19/W19-0505/<br /> |Projekt=CPEC<br /> |Forschungsgruppe=Computational Logic<br /> }}</div>

Martin Diller https://iccl.inf.tu-dresden.de/w/index.php?title=Article3051/en&diff=28983 2019-08-16T16:39:07Z

<p>Martin Diller: Page created automatically by parser function on page Article3051</p> <hr /> <div>#REDIRECT [[Article3051]]</div>

Martin Diller