Martin Diller
Orcid: 0000-0001-6342-0756Affiliations:
- TU Dresden, International Center For Computational Logic, Germany
- TU Wien, Institute of Logic and Computation, Austria
- NICTA, Canberra, Australia
According to our database1,
Martin Diller
authored at least 13 papers
between 2013 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
2021
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation.
Proceedings of the Logic and Argumentation - 4th International Conference, 2021
2020
Theory Pract. Log. Program., 2020
2019
<i>EMIL</i>: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface.
Int. J. Approx. Reason., 2019
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization.
Proceedings of the 13th International Conference on Computational Semantics, 2019
2018
Int. J. Approx. Reason., 2018
2017
Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19, 2017
Proceedings of the Datenbanksysteme für Business, 2017
2016
CoRR, 2016
2015
Argument Comput., 2015
2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013