Sie sind hier

Dr. Claudia Schon

B 114
+49 261 287-2773
schon@uni-koblenz.de

Publications

2016
Furbach, U., & Schon, C. (2016). Commonsense Reasoning Meets Theorem Proving. In M. Klusch, Unland, R., Shehory, O., Pokahr, A., & Ahrndt, S. (Eds.), Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings (Vol. 9872, p. 3--17). Springer. doi:10.1007/978-3-319-45889-2_1
Schon, C. (2016). Techniques for Optimized Reasoning in Description Logic Knowledge Bases (PhD dissertation).
2015
Furbach, U., Pelzer, B., & Schon, C. (2015). Automated Reasoning in the Wild. In A. P. Felty & Middeldorp, A. (Eds.), Automated Deduction - CADE-25 (Vol. 9195, pp. 55-72). Springer International Publishing. doi:10.1007/978-3-319-21401-6_3
Furbach, U., Schon, C., & Stolzenburg, F. (2015). Cognitive Systems and Question Answering. Industrie 4.0 Management, 2015(1), 29-32.
Furbach, U., & Schon, C. (2015). Deontic Logic for Human Reasoning. In T. Eiter, Strass, H., Truszczynski, M., & Woltran, S. (Eds.), Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (Vol. 9060, p. 63--80). Springer.
Furbach, U., Gordon, A. S., & Schon, C. (2015). Tackling Benchmark Problems of Commonsense Reasoning. In U. Furbach & Schon, C. (Eds.), 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 (Vol. 1412). CEUR-WS.org.
Furbach, U., Schon, C., Stolzenburg, F., Weis, K. -H., & Wirth, C. -P. (2015). The RatioLog Project: Rational Extensions of Logical Reasoning. Ki - Künstliche Intelligenz, 29(3), 271-277.
2014
Furbach, U., Schon, C., & Stolzenburg, F. (2014). Automated Reasoning in Deontic Logic. In M. N. Murty, He, X., Rao, C. R., & Weng, P. (Eds.), Multi-disciplinary Trends in Artificial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings (Vol. 8875, p. 57--68). Springer. doi:10.1007/978-3-319-13365-2_6
2013
Furbach, U., & Schon, C. (2013). Semantically Guided Evolution of SHI ABoxes. In D. Galmiche & Larchey-Wendling, D. (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings (Vol. 8123). Springer.
Bender, M., Pelzer, B., & Schon, C. (2013). System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. In M. P. Bonacina (Ed.), Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings (Vol. 7898). Springer.
2011
Schon, C. (2011). Linkless Normal Form for ALC Concepts and TBoxes. In J. Bach & Edelkamp, S. (Eds.), KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, 2011. Proceedings (Vol. 7006). Springer.
2009
Furbach, U., Günther, H., & Obermaier, C. (2009). A Knowledge Compilation Technique for ALC TBoxes. In H. C. Lane & Guesgen, H. W. (Eds.), Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA. AAAI Press.
Obermaier, C., & Wagner, M. (2009). Towards an evolved lower bound for the most circular partition of a square. In Proceedings of the Eleventh conference on Congress on Evolutionary Computation (p. 1463--1469). Trondheim, Norway: IEEE Press. [Link]
2007
Furbach, U., & Obermaier, C. (2007). Applications of Automated Reasoning. In C. Freksa, Kohlhase, M., & Schill, K. (Eds.), KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings (Vol. 4314). Springer.
Furbach, U., & Obermaier, C. (2007). Knowledge Compilation for Description Logics. In N. Dershowitz & Voronkov, A. (Eds.), 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings.