Year: 2004
2004
[17] Interactive Theorem Proving with Tasks (Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier), In Electronic Notes in Theoretical Computer Science, volume 103, number C, pp. 161-181, 2004. [bibtex] [pdf] [doi]
[16] Computer-Supported Mathematical Theory Development, (Christoph Benzmüller, Wolfgang Windsteiger, eds.), RISC Report Series, number 04-14, 2004. (Proceedings of the first ``Workshop on Computer-Supported Mathematical Theory Development'' held in the frame of IJCAR 2004 in Cork, Ireland, July 5, 2004. ISBN 3-902276-04-5.) [bibtex] [pdf]
[15] The CALCULEMUS Final Report (Christoph Benzmüller, Corinna Hahn), Saarland University, Germany, pp. 1-57, 2004. (Final report of the Marie Curie Research Training Network CALCULEMUS within the EU 5th framework) [bibtex] [pdf]
[14] A Dialogue Manager for the DIALOG Demonstrator (Mark Buckley, Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), number SR-04-01, 2004. [bibtex] [pdf]
[13] Abschlussbericht Projekt HOTEL (Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-14, 2004. (DFG research grant report) [bibtex] [pdf]
[12] VERMATH: Distributed Mathematical Problem Solving (Serge Autexier, Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-22, 2004. (DFG research grant proposal) [bibtex] [pdf]
[11] ALONZO: Higher-Order Reasoning Agents and Semantical Mediation of Mathematical Knowledge (Christoph Benzmüller), pp. 1-29, 2004. (DFG research grant proposal) [bibtex] [pdf]
[10] OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), pp. 1-26, 2004. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[9] 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]
[8] OMEGA: Resource-adaptive Proof Planning (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-22, 2004. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[7] 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]
[6] ALONZO: Higher-Order Reasoning Agents for Mathematics (Christoph Benzmüller), pp. 1-37, 2004. (EURYI project proposal) [bibtex] [pdf]
[5] Assertion-level Proof Representation with Under-Specification (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Bao Quoc Vo), In Electronic Notes in Theoretical Computer Science, volume 93, pp. 5-23, 2004. [bibtex] [pdf] [doi]
[4] Higher-Order Semantics and Extensionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Journal of Symbolic Logic, volume 69, number 4, pp. 1027-1088, 2004. [bibtex] [pdf] [doi]
[3] OMEGA: Computer Supported Mathematics (Jörg Siekmann, Christoph Benzmüller), In KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings (Susanne Biundo, Thom W. Frühwirth, Günther Palm, eds.), LNCS, number 3228, pp. 3-28, 2004. [bibtex] [pdf] [doi]
[2] 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]
[1] Bridging Theorem Proving and Mathematical Knowledge Retrieval (Christoph Benzmüller, Andreas Meier, Volker Sorge), Chapter in Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday (Dieter Hutter, Werner Stephan, eds.), Springer, LNCS, volume 2605, pp. 277-296, 2004. [bibtex] [pdf] [doi]
Powered by bibtexbrowser