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)
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)
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)
C. Obermaier, and M. Wagner. Proceedings of the Eleventh conference on Congress on Evolutionary Computation, page 1463--1469. Piscataway, NJ, USA, IEEE Press, (2009)
C. Schon, and S. Staab. Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017., volume 2050 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)
M. Leinberger, P. Seifer, C. Schon, R. Lämmel, and S. Staab. The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, volume 11778 of Lecture Notes in Computer Science, page 399--417. Springer, (2019)