Year: 2003
2003
[20] The CALCULEMUS Midterm Report, (Christoph Benzmüller, Corinna Hahn, eds.), Saarland University, Germany, 2003. (EU Report, Saarland University, Saarbrücken, Germany) [bibtex] [pdf]
[19] OMEGA --- From Proof Planning towards Mathematical Knowledge Management (Serge Autexier, Christoph Benzmüller), In Mathematical Knowledge Management Symposium, 2003. (slides) [bibtex] [pdf]
[18] Towards a Principled Approach to Tutoring 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 Workshop on Expressive Media and Intelligent Tools for Learning, German Conference on AI (KI 2003), 2003. [bibtex] [pdf]
[17] 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]
[16] Interactive Proof Construction at the Task Level (Malte Hübner, Christoph Benzmüller, Serge Autexier, Andreas Meier), In Proceedings of the Workshop User Interfaces for Theorem Provers (UITP 2003), ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6), pp. 81-100, 2003. (Also available as: Technical Report No. 189, Institut für Informatik, Albert-Ludwig-Universität, Freiburg) [bibtex] [pdf]
[15] 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]
[14] The CALCULEMUS research training network: A short overview (Christoph Benzmüller), In Proceedings of the First QPQ Workshop on Deductive Software Components at CADE-19, pp. 13-27, 2003. (slides) [bibtex] [pdf]
[13] The CALCULEMUS research training network: A short overview (Christoph Benzmüller), In Proceedings of the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2003), MMIII ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6), pp. 1-16, 2003. (slides) [bibtex] [pdf]
[12] 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]
[11] Assertion Application in Theorem Proving and Proof Planning (Bao Quoc Vo, Christoph Benzmüller, Serge Autexier), In Proceedings of the 10th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, 2003. [bibtex] [pdf]
[10] CALCULEMUS-II: Computer-supported Mathematical Knowledge Evolution (Christoph Benzmüller, Dieter Hutter), Saarland University, Germany, pp. 1-73, 2003. (Project proposal for a Marie Curie Research Training Network within the EU 6th framework; 73 pages) [bibtex] [pdf]
[9] ALONZO: Deduktionsagenten höherer Ordnung für Mathematische Assistenzsysteme (Christoph Benzmüller), pp. 1-43, 2003. (Project proposal in the DFG Aktionsplan Informatik) [bibtex] [pdf]
[8] Towards a Framework to Integrate Proof Search Paradigms (Serge Autexier, Christoph Benzmüller, Dieter Hutter), SEKI Publications (ISSN 1437-4447), number SR-03-02, 2003. [bibtex] [pdf]
[7] An Approach to Assertion Application via Generalized Resolution (Bao Quoc Vo, Christoph Benzmüller, Serge Autexier), SEKI Publications (ISSN 1437-4447), number SR-03-01, 2003. [bibtex] [pdf]
[6] Semantic Techniques for Cut-Elimination in Higher Order Logic. (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Technical report, Saarland University, Saarbrücken, Germany and Carnegie Mellon University, Pittsburgh, USA, 2003. [bibtex] [pdf]
[5] Higher Order Semantics and Extensionality. (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Technical report, Carnegie Mellon University, Pittsburgh, PA, number CMU-01-03, pp. 1-74, 2003. [bibtex] [pdf]
[4] 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]
[3] Systems for Integrated Computation and Deduction -- Interim Report of the CALCULEMUS IHP Network, (Christoph Benzmüller, ed.), SEKI Publications (ISSN 1437-4447), 2003. (135 pages) [bibtex] [pdf]
[2] Assertion Application in Theorem Proving and Proof Planning (Quoc Bao Vo, Christoph Benzmüller, Serge Autexier), In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (G. Gottlob, T. Walsh, eds.), 2003. (poster) (ISBN 0-127-05661-0) [bibtex] [pdf]
[1] Proof Development in OMEGA: The Irrationality of Square Root of 2 (Jörg Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Immanuel Normann, Martin Pollet), Chapter in Thirty Five Years of Automating Mathematics (Fairouz Kamareddine, ed.), Kluwer Academic Publishers, Applied Logic series (28), pp. 271-314, 2003. [bibtex] [pdf] [doi]
Powered by bibtexbrowser