Keywords: Machine Learning
[14] Adaptive Assertion-Level Proofs (Christoph Benzmüller, Marvin Schiller), In EMSQMS 2010 -- Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions (Aaron Stump, Geoff Sutcliffe, Cesare Tinelli, eds.), EasyChair, EPiC Series in Computing, volume 6, pp. 39-40, 2012. [bibtex] [pdf]
[13] Human-Oriented Proof Techniques are Relevant for Proof Tutoring (Marvin Schiller, Christoph Benzmüller), In Workshop on Mathematically Intelligent Proof Search (MIPS 2010, affiliated with CICM 2010), 2010. [bibtex] [pdf]
[12] Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs (Christoph Benzmüller, Marvin Schiller, Jörg Siekmann), Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 291-311, 2010. ((Final project report, DFG SFB 378)) [bibtex] [pdf] [doi]
[11] Granularity-Adaptive Proof Presentation (Marvin Schiller, Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), SEKI Working-Paper SWP--2009--01, 2009. (arXiv:0903.0314) [bibtex] [pdf]
[10] Presenting Proofs with Adapted Granularity (Marvin Schiller, Christoph Benzmüller), In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings (Bärbel Mertsching, Marcus Hund, Muhammad Zaheer Aziz, eds.), Springer, LNAI, volume 5803, pp. 289-297, 2009. [bibtex] [pdf] [doi]
[9] Granularity-Adaptive Proof Presentation (Marvin Schiller, Christoph Benzmüller), In Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, Proceedings of the 14th International Conference on Artificial Intelligence in Education, AIED 2009, July 6-10, 2009, Brighton, UK, IOS Press, Frontiers in Artificial Intelligence and Applications, volume 200, pp. 599-601, 2009. [bibtex] [pdf]
[8] Proof Granularity as an Empirical Problem? (Marvin Schiller, Christoph Benzmüller), In CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009 - Volume 1 (José A. Moinhos Cordeiro, Boris Shishkov, Alexander Verbraeck, Markus Helfert, eds.), SciTePress Digital Library, pp. 350-354, 2009. [bibtex] [pdf] [doi]
[7] DIALOG: Natural Language-based Interaction with a Mathematics Assistance System (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller, Ivana Kruijff-Korbayova), pp. 1-20, 2008. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[6] Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity (Marvin Schiller, Dominik Dietrich, Christoph Benzmüller), In Teaching Mathematics and Computer Science, volume 6, number 2, pp. 325-343, 2008. [bibtex] [pdf]
[5] Towards Computer-Assisted Proof Tutoring (Marvin Schiller, Dominik Dietrich, Christoph Benzmüller), In JEM Workshop on identifying and supporting (scientific) communities in education and research, 2007. ((Mildly reviewed)) [bibtex] [pdf]
[4] Judging Granularity for Automated Mathematics Teaching (Marvin Schiller, Christoph Benzmüller, Ann van de Veire), In Short papers at LPAR 2006: 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2006. (slides) [bibtex] [pdf]
[3] Granularity Judgments in Proof Tutoring (Marvin Schiller, Christoph Benzmüller), In Poster papers at KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on AI, 2006. [bibtex] [pdf]
[2] Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), In The Logic Journal of the IGPL, volume 11, number 6, pp. 647-674, 2003. [bibtex] [pdf] [doi]
[1] Towards Learning New Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Christoph Benzmüller), In Symbolic Computation and Automated Reasoning (Manfred Kerber, Michael Kohlhase, eds.), A.K.Peters, pp. 142-159, 2000. [bibtex] [pdf]
Powered by bibtexbrowser