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) [bibtex] [pdf]
[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) [bibtex] [pdf]
[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. [bibtex] [pdf]
[11] Cumulative Habilitation Script (Christoph Benzmüller), Saarland University, Germany, pp. 1-357, 2006. [bibtex] [pdf]
[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. [bibtex] [pdf]
[9] Semantics of Higher-Order Logic (Christoph Benzmüller, Chad Brown), pp. 1-50, 2006. (Course Notes from the 18th European Summer School in Logic, Language and Information (ESSLLI'06)) [bibtex] [pdf]
[8] Editorial: Towards Computer Aided Mathematics (Christoph Benzmüller), In Journal of Applied Logic, volume 4, number 4, pp. 359-365, 2006. [bibtex] [pdf] [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. [bibtex] [pdf] [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) [bibtex] [pdf] [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. [bibtex] [pdf]
[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. [bibtex] [pdf] [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. [bibtex] [pdf] [doi]
Powered by bibtexbrowser