Martin Diller

 

Research Interests

  • Knowledge representation and reasoning, computational models of argumentation

Former Position


Education


Publications

  1. M. Diller, W.  Dvořák. J. Pührer, J. P. Wallner, S. Woltran, Applications of ASP in Formal Argumentation, in: Proceedings of the Second Workshop on Theory and Applications of Answer Set Programming, TAASP 2018, Vienna, Austria, November 19-20, 2018
  2. M. Diller, A. Haret, T. Linsbichler, S. Rümmele, S. Woltran, An Extension-Based Approach to Belief Revision in Abstract Argumentation, in: International Journal of Approximate Reasoning, 93: 395-423,  2018.
  3. M. Diller, A. Keshavarzi Zafarghandi, T. Linsbichler, S. Woltran. Investigating Subclasses of Abstract Dialectical Frameworks, in: Proceedings of 7th International Conference on Computational Models of Argument, COMMA 2018, Warsaw, Poland, September 12-14, 2018.
  4. M. Diller, A. Z. Wyner, H. Strass, Defeasible AceRules: A prototype, in: Proceedings of the 12th International Conference on Computational Semantics, IWCS 2017, Montpellier, France, September 19-22, 2017.
  5. 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.
  6. 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.
  7. M. Diller, A. Hunter, Encoding monotonic multi-set preferences using CI-nets: preliminary report, in: CoRR, abs/1611.02885, 2016.
  8. M. Diller, J. P. Wallner, S. Woltran, Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas, in: Argument & Computation, 6(2):149–177, 2015.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.

Systems