- I am now part of the Computational Logic group at TU Dresden, working in the context of the "Foundations of Perspicuous Computing" Collaborative Research Center.
Research Interests
- Knowledge representation and reasoning, computational models of argumentation
Former Position
- Until 2019 I was a PhD student, fully funded by the Doctoral College Logical Methods in Computer Science, TU Wien. My supervisors were Prof. Dr. Uwe Egly and Prof. Dr. Stefan Woltran. I was also a project assistant in the Knowledge Based Systems group and part of the GRAPPA team.
Education
- MSc in Computational Logic (EMCL; at TU Dresden, FU Bozen-Bolzano, TU Wien),
- MSc in Philosophy (Logic and Epistemology track; at FFyH,Universidad Nacional de Córdoba, Argentina),
- BSc in Computer Science (at FaMAF, UNC)
Publications
-
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
- 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.
- 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.
- 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.
- 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.
- 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.
- M. Diller, A. Hunter, Encoding monotonic multi-set preferences using CI-nets: preliminary report, in: CoRR, abs/1611.02885, 2016.
- M. Diller, J. P. Wallner, S. Woltran, Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas, in: Argument & Computation, 6(2):149–177, 2015.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.