Martin Diller

 
  • Project Assistant, MSc
  • TU Wien
  • Institut für Informationssysteme 184/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria


Research Interests

  • Knowledge representation and reasoning, computational models of argumentation

Current Position


Education


Publications

  1. G. Brewka, M. Diller, G. Heissenberger, T. Linsbichler, S. Woltran, Solving Advanced Argumentation Problems with Answer-Set Programming, in: Proceedings of the 31rst AAAI Conference on Artificial Intelligence, AAAI 2017, San Francisco, USA, February 4-9, 2017, pages 1077-1083, 2017.
  2. M. Diller, A. Hunter, Encoding monotonic multiset preferences using CI-nets, in: Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der Informatik, PPI 2017, Stuttgart, Germany, March 7, 2017 , pages 169-180, 2017.
  3. M. Diller, A. Hunter, Encoding monotonic multi-set preferences using CI-nets: preliminary report, in: CoRR, abs/1611.02885, 2016.
  4. M. Diller, J. P. Wallner, S. Woltran, Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas, in: Argument & Computation, 6(2):149–177, 2015.
  5. M Diller, A. Haret, T. Linsbichler, S. Rümmele, S. Woltran, An Extension-Based Approach to Belief Revision in Abstract Argumentation, in: Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, pages 2926–2932, AAAI Press, 2015.
  6. M. Diller, J. P. Wallner, S. Woltran, Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas, in: Proceedings of the 5th International Conference on Computational Models of Argument, COMMA 2014, Scottish Highlands, UK, September 9-12, pages 241–252, IOS Press, 2014.
  7. A. Bauer, P. Baumgartner, M. Diller, M. Norrish. Tableaux for Verification of Data-Centric Processes, in: Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, Nancy, France, September 16-19, pages 28-43, Springer, 2013.
  8. M. M. Strelin, A. Cosacov, M. Diller, A. N. Sérsic. Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction, in: Botanical Journal of the Linnean Society, 173(3):487-500, 2013.
  9. J. O. Blanco, P. García, M. Diller, R. Cherini, A Behavioral Characterization of Computational Systems, in: Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy, IACAP 2011, Aarhus, Denmark, July 4-6, pages 30-33, Verlagshaus Monsenstein und Vannerdat OHG, 2011.
  10. M. Diller, 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, in:  Las prácticas científicas: aportes para un enfoque epistemológico, pages 31-62. Editorial Brujas, 2011.