Year: 2004
[17]The CALCULEMUS Final Report (Christoph Benzmüller, Corinna Hahn), Saarland University, Germany, pp. 1-57, 2004. (Preprint: [bibtex]
[16]A Dialogue Manager for the DIALOG Demonstrator (Mark Buckley, Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), number SR-04-01, 2004. (Preprint: [bibtex]
[15]Abschlussbericht Projekt HOTEL (Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-14, 2004. (Preprint: [bibtex]
[14]VERMATH: Distributed Mathematical Problem Solving (Serge Autexier, Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-22, 2004. (Preprint: [bibtex]
[13]ALONZO: Higher-Order Reasoning Agents and Semantical Mediation of Mathematical Knowledge (Christoph Benzmüller), pp. 1-29, 2004. (Preprint: [bibtex]
[12]OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), pp. 1-26, 2004. (Preprint: [bibtex]
[11]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. (Preprint: [bibtex]
[10]OMEGA: Resource-adaptive Proof Planning (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-22, 2004. (Preprint: [bibtex]
[9]DIALOG: Tutorial Dialog with an Assistance System for Mathematics (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller), pp. 1-24, 2004. (Preprint: [bibtex]
[8]ALONZO: Higher-Order Reasoning Agents for Mathematics (Christoph Benzmüller), pp. 1-37, 2004. (Preprint: [bibtex]
[7]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. (Preprint: [bibtex] [doi]
[6]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. (Preprint: [bibtex] [doi]
[5]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. (Preprint: [bibtex] [doi]
[4]Computer-Supported Mathematical Theory Development, (Christoph Benzmüller, Wolfgang Windsteiger, eds.), RISC Report Series, number 04-14, 2004. (Preprint: [bibtex]
[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. (Preprint: [bibtex] [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. (Preprint: [bibtex]
[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. (Preprint: [bibtex] [doi]
Powered by bibtexbrowser