Year: 2007
2007
[11] Towards Computer-Assisted Proof Tutoring (Marvin Schiller, Dominik Dietrich, Christoph Benzmüller), In JEM Workshop on identifying and supporting (scientific) communities in education and research, 2007. ((Mildly reviewed)) [bibtex] [pdf]
[10] Progress Report on LEO-II -- An Automatic Theorem Prover for Higher-Order Logic (Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke), In TPHOLs 2007 Emerging Trends Proceedings, Internal Report 364/07 at Department of Computer Science, pp. 33-48, 2007. (slides) [bibtex] [pdf]
[9] The LEO-II Project (Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke), In Proceedings of the Fourteenth Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, Imperial College, London, England, 2007. ((Mildly reviewed)) [bibtex] [pdf]
[8] Preface: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006) (Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 1-2, 2007. [bibtex] [pdf] [doi]
[7] PLATO: A Mediator between Text-Editors and Proof Assistance Systems (Marc Wagner, Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 87-107, 2007. [bibtex] [pdf] [doi]
[6] User Interfaces for Theorem Provers, Proceedings of UITP'06, (Serge Autexier, Christoph Benzmüller, eds.), Elsevier, Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 1-2, 2007. [bibtex] [pdf]
[5] Deep Inference for Automated Proof Tutoring? (Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier), In KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings (Joachim Hertzberg, Michael Beetz, Roman Englert, eds.), Springer, volume 4667, pp. 435-439, 2007. [bibtex] [pdf] [doi]
[4] DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics (Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayova, Marvin Schiller, Magdalena Wolska), In KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings (Christian Freksa, Michael Kohlhase, Kerstin Schill, eds.), Springer, LNCS, volume 4314, pp. 159-173, 2007. [bibtex] [pdf] [doi]
[3] An Agent-based Architecture for Dialogue Systems (Mark Buckley, Christoph Benzmüller), In Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers (Irina Virbitskaite, Andrei Voronkov, eds.), Springer, LNCS, volume 4378, pp. 135-147, 2007. [bibtex] [pdf] [doi]
[2] Natural Language Dialog with a Tutor System for Mathematical Proofs (Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Magdalena Wolska), Chapter in Cognitive Systems (Ruqian Lu, Jörg Siekmann, Carsten Ullrich, eds.), Springer, LNCS, volume 4429, pp. 1-14, 2007. [bibtex] [pdf] [doi]
[1] The curious inference of Boolos in MIZAR and OMEGA (Christoph Benzmüller, Chad Brown), Chapter in From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec (Roman Matuszewski, Anna Zalewska, eds.), The University of Bialystok, Polen, Studies in Logic, Grammar, and Rhetoric, volume 10(23), pp. 299-388, 2007. [bibtex] [pdf]
Powered by bibtexbrowser