U. Furbach, A. Gordon, и 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, том 1412 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)
M. Bender, B. Pelzer, и C. Schon. Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings, том 7898 из Lecture Notes in Computer Science, Springer, (2013)
U. Furbach, и C. Schon. Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings, том 8123 из Lecture Notes in Computer Science, Springer, (2013)
C. Schon. KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, 2011. Proceedings, том 7006 из Lecture Notes in Computer Science, Springer, (2011)
U. Furbach, и C. Schon. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, том 9060 из Lecture Notes in Computer Science, стр. 63--80. Springer, (2015)
U. Furbach, B. Pelzer, и C. Schon. Automated Deduction - CADE-25, том 9195 из Lecture Notes in Computer Science, Springer International Publishing, (2015)
U. Furbach, C. Schon, и F. Stolzenburg. Multi-disciplinary Trends in Artificial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings, том 8875 из Lecture Notes in Computer Science, стр. 57--68. Springer, (2014)
C. Obermaier, и M. Wagner. Proceedings of the Eleventh conference on Congress on Evolutionary Computation, стр. 1463--1469. Piscataway, NJ, USA, IEEE Press, (2009)