Keywords: DIALOG
2012
[29] 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]
2010
[28] 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]
[27] 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]
2009
[26] 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]
[25] 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]
[24] 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]
[23] 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]
2008
[22] 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]
[21] 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]
2007
[20] 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]
[19] DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics (Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayova, Marvin Schiller, Magdalena Wolska), In KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings (Christian Freksa, Michael Kohlhase, Kerstin Schill, eds.), Springer, LNCS, volume 4314, pp. 159-173, 2007. [bibtex] [pdf] [doi]
[18] An Agent-based Architecture for Dialogue Systems (Mark Buckley, Christoph Benzmüller), In Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers (Irina Virbitskaite, Andrei Voronkov, eds.), Springer, LNCS, volume 4378, pp. 135-147, 2007. [bibtex] [pdf] [doi]
[17] Natural Language Dialog with a Tutor System for Mathematical Proofs (Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Magdalena Wolska), Chapter in Cognitive Systems (Ruqian Lu, Jörg Siekmann, Carsten Ullrich, eds.), Springer, LNCS, volume 4429, pp. 1-14, 2007. [bibtex] [pdf] [doi]
2006
[16] 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]
[15] 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]
[14] A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material (Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayova, Marvin Schiller, Magdalena Wolska), In Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), ELDA, 2006. [bibtex] [pdf]
[13] A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth), In Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Michael Kohlhase, ed.), Springer, LNCS, volume 3863, pp. 126-142, 2006. [bibtex] [pdf] [doi]
2005
[12] System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (Mark Buckley, Christoph Benzmüller), In Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP), pp. 40-67, 2005. [bibtex] [pdf]
[11] System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (Mark Buckley, Christoph Benzmüller), 2005. (This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did not appear though.) [bibtex] [pdf]
[10] Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd), 2005. (This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did not appear though.) [bibtex] [pdf]
[9] Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs (Christoph Benzmüller, Bao Quoc Vo), In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA (Manuela Veloso, Subbarao Kambhampati, eds.), AAAI Press / The MIT Press, pp. 516-522, 2005. (slides) [bibtex] [pdf]
2004
[8] A Dialogue Manager for the DIALOG Demonstrator (Mark Buckley, Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), number SR-04-01, 2004. [bibtex] [pdf]
[7] DIALOG: Natural Language-based Interaction with a Mathematics Assistance System (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller, Ivana Kruijff-Korbayova), pp. 1-31, 2004. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[6] DIALOG: Tutorial Dialog with an Assistance System for Mathematics (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller), pp. 1-24, 2004. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[5] An annotated corpus of tutorial dialogs on mathematical theorem proving (Magdalena Wolska, Bao Quoc Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayova, Elena Karagjosova, Helmut Horacek, Malte Gabsdil, Armin Fiedler, Christoph Benzmüller), In Proceedings of International Conference on Language Resources and Evaluation (LREC 2004), ELDA, 2004. [bibtex] [pdf]
2003
[4] Language Phenomena in Tutorial Dialogs on Mathematical Proofs (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of the 7th Workshop on the semantics and pragmatics of dialogue (DiaBruck), 2003. [bibtex] [pdf]
[3] A Wizard of Oz Experiment for Tutorial Dialogues in Mathematics (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of AI in Education (AIED 2003) Workshop on Advanced Technologies for Mathematics Education, 2003. [bibtex] [pdf]
[2] Tutorial Dialogs on Mathematical Proofs (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12-22, 2003. (slides) [bibtex] [pdf]
2001
[1] DIALOG: Tutorieller Dialog mit einem Mathematik Assistenzsystem (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller), pp. 1-34, 2001. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
Powered by bibtexbrowser