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)
T. Rienstra, C. Schon, and S. Staab. to appear in 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020, (2020)
S. Siebert, F. Stolzenburg, and C. Schon. To appear in Proceedings of CD-MAKE Cross Domain Conference for Machine Learning and Knowledge Extraction, Canterbury, UK, Springer, (2019)
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)
U. Furbach, and C. Schon. Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings, volume 9872 of Lecture Notes in Computer Science, page 3--17. Springer, (2016)
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, 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, 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, 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)
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)
C. Schon. KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, 2011. Proceedings, volume 7006 of Lecture Notes in Computer Science, Springer, (2011)
U. Furbach, and C. Schon. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, page 63--80. Springer, (2015)
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, C. Schon, and F. Stolzenburg. Multi-disciplinary Trends in Artificial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings, volume 8875 of Lecture Notes in Computer Science, page 57--68. Springer, (2014)
C. Obermaier, and M. Wagner. Proceedings of the Eleventh conference on Congress on Evolutionary Computation, page 1463--1469. Piscataway, NJ, USA, IEEE Press, (2009)