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)
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)
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)
U. Furbach, H. Günther, and C. Obermaier. Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA, AAAI Press, (2009)
U. Furbach, and C. Obermaier. KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings, volume 4314 of Lecture Notes in Computer Science, Springer, (2007)
U. Furbach, and C. Obermaier. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings, (2007)
U. Furbach, B. Pelzer, and C. Schon. Automated Deduction - CADE-25, volume 9195 of Lecture Notes in Computer Science, Springer International Publishing, (2015)
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)