Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Martin
    Last name: Diller
    DBLP: 134/6314
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 8 of 8  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Martin Diller, Anthony Hunter.
    Encoding monotonic multiset preferences using CI-nets.
    Datenbanksysteme für Business, Technologie und Web (BTW 2017), 17. Fachtagung des GI-Fachbereichs Datenbanken und Informationssysteme" (DBIS), 6.-10. März 2017, Stuttgart, Germany, Workshopband 2017 (0) 2017
    Conference paper
    Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran.
    Solving Advanced Argumentation Problems with Answer-Set Programming.
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. 2017 (0) 2017
    Conference paper
    Martin Diller, Adam Z. Wyner, Hannes Strass.
    Defeasible AceRules: A Prototype.
    IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017 2017 (0) 2017
    Conference paper
    Martin Diller, Anthony Hunter.
    Encoding monotonic multi-set preferences using CI-nets: preliminary report.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran.
    An Extension-Based Approach to Belief Revision in Abstract Argumentation.
    Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 2015 (0) 2015
    Conference paper
    Martin Diller, Johannes Peter Wallner, Stefan Woltran.
    Reasoning in abstract dialectical frameworks using quantified Boolean formulas.
    Argument Computation 2015, Volume 6 (0) 2015
    Conference paper
    Martin Diller, Johannes Peter Wallner, Stefan Woltran.
    Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas.
    Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014 2014 (0) 2014
    Conference paper
    Andreas Bauer 0002, Peter Baumgartner 0001, Martin Diller, Michael Norrish.
    Tableaux for Verification of Data-Centric Processes.
    Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings 2013 (0) 2013
    Show item 1 to 8 of 8  

    Your query returned 8 matches in the database.