Year: 2006
2006
[14]Term Indexing for the LEO-II Prover (Frank Theiss, Christoph Benzmüller), In IWIL-6 workshop at LPAR 2006: The 6th International Workshop on the Implementation of Logics, 2006. (slides) (Preprint: http://christoph-benzmueller.de/papers/W35.pdf) [bibtex]
[13]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) (Preprint: http://christoph-benzmueller.de/papers/W34.pdf) [bibtex]
[12]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. (Preprint: http://christoph-benzmueller.de/papers/W33.pdf) [bibtex]
[11]Cumulative Habilitation Script (Christoph Benzmüller), Saarland University, Germany, pp. 1-357, 2006. (Preprint: http://christoph-benzmueller.de/papers/T3.pdf) [bibtex]
[10]Cut-Simulation in Impredicative Logics (extended version) (Christoph Benzmüller, Chad Brown, Michael Kohlhase), SEKI Publications (ISSN 1437-4447), number SR-2006-01, 2006. (Preprint: http://christoph-benzmueller.de/papers/R39.pdf) [bibtex]
[9]Semantics of Higher-Order Logic (Christoph Benzmüller, Chad Brown), pp. 1-50, 2006. (Preprint: http://christoph-benzmueller.de/papers/R38.pdf) [bibtex]
[8]Editorial: Towards Computer Aided Mathematics (Christoph Benzmüller), In Journal of Applied Logic, volume 4, number 4, pp. 359-365, 2006. (Preprint: http://christoph-benzmueller.de/papers/J13.pdf) [bibtex] [doi]
[7]Computer Supported Mathematics with OMEGA (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), In Journal of Applied Logic, volume 4, number 4, pp. 533-559, 2006. (Preprint: http://christoph-benzmueller.de/papers/J12.pdf) [bibtex] [doi]
[6] Special Issue on Assistance Systems for Mathematics, (Christoph Benzmüller, ed.), Journal of Applied Logic, Elsevier, 2006. [bibtex] [pdf]
[5] Proceedings of the 6th International Workshop on the Implementation of Logics, (Christoph Benzmüller, Bernd Fischer, Geoff Sutcliffe, eds.), CEUR-WS.org, CEUR Workshop Proceedings, volume 212, 2006. [bibtex] [pdf]
[4]Cut-Simulation in Impredicate Logics (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Ulrich Furbach, Natarajan Shankar, eds.), Springer, LNCS, volume 4130, pp. 220-234, 2006. (slides) (Preprint: http://christoph-benzmueller.de/papers/C23.pdf) [bibtex] [doi]
[3]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. (Preprint: http://christoph-benzmueller.de/papers/C20.pdf) [bibtex]
[2]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. (Preprint: http://christoph-benzmueller.de/papers/C19.pdf) [bibtex] [doi]
[1]OMEGA (Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg Siekmann), Chapter in The Seventeen Provers of the World (Freek Wiedijk, ed.), Springer, LNCS, number 3600, pp. 127-141, 2006. (Preprint: http://christoph-benzmueller.de/papers/B3.pdf) [bibtex] [doi]
Powered by bibtexbrowser