R. Berardi, M. Schiessl, M. Thimm, and M. Casanova. Proceedings of the 25th International Conference on Database and Expert System Applications (DEXA'14), (September 2014)
M. Leinberger, R. Lämmel, and S. Staab. Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, page 750--776. Springer, (2017)
U. Furbach, A. Gordon, and C. Schon. Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction - CADE-25, Berlin, Germany, 2015, volume 1412 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)
M. Bender, B. Pelzer, and C. Schon. Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings, volume 7898 of Lecture Notes in Computer Science, Springer, (2013)
M. Thimm, and J. Wallner. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), (April 2016)
U. Furbach, and C. Schon. Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings, volume 8123 of Lecture Notes in Computer Science, Springer, (2013)
P. Krümpelmann, M. Thimm, M. Falappa, A. Garcia, G. Kern-Isberner, and G. Simari. Theory and Applications of Formal Argumentation, Proceedings of the First International Workshop (TAFA'11, revised selected papers), volume 7132 of Lecture Notes in Artificial Intelligence, page 147--162. Springer, (July 2011)
Y. Cobos, C. Sarasua, M. Linaza, I. Jiménez, and A. García. Proceedings of the 3rd International Workshop on Semantic Media Adaptation and Personalisation (SMAP). Prague, Czech Republic, (2008)
M. Thimm, G. Kern-Isberner, and J. Fisseler. Proceedings of the Eleventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), volume 6717 of Lecture Notes in Computer Science, page 447--458. Springer, (June 2011)
M. Thimm. Argumentation in Multi-Agent Systems, Post-Proceedings of the Sixth International Workshop (ArgMAS), Budapest, Hungary, May 2009 (revised, selected and invited papers), volume 6057 of Lecture Notes in Artificial Intelligence, Springer, (July 2010)
R. Dividino, G. Gröner, S. Scheglmann, and M. Thimm. Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW'12), (October 2012)
T. Rienstra, and M. Thimm. Proceedings of the Seventh International Conference on Computational Models of Argumentation (COMMA'18), Warsaw, Poland, (September 2018)
S. Scheglmann, M. Leinberger, R. Lämmel, S. Staab, and M. Thimm. Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy, October 21, 2014., page 149--152. (2014)
S. Staab, S. Scheglmann, M. Leinberger, and T. Gottron. The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings, volume 8465 of Lecture Notes in Computer Science, page 1--5. Springer, (2014)
C. Sarasua. Proceedings of the ESWC Developers Workshop 2015 co-located with the 12th Extended Semantic Web Conference (ESWC 2015), Portoroz, Slovenia, May 31, 2015., page 29--34. (2015)