Year: 2008
2008
[12] Evaluation of Systems for Higher-order Logic (ESHOL) (Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe), In Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 (Boris Konev, Renate A. Schmidt, Stephan Schulz, eds.), CEUR-WS.org, CEUR Workshop Proceedings, volume 373, 2008. ((Invited non-reviewed paper)) [bibtex] [pdf]
[11] Automating Access Control Logics in Simple Type Theory with LEO-II (Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), number SR-2008-01, 2008. (arXiv:0901.3574) [bibtex] [pdf]
[10] DIALOG: Natural Language-based Interaction with a Mathematics Assistance System (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller, Ivana Kruijff-Korbayova), pp. 1-20, 2008. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[9] OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Serge Autexier, Christoph Benzmüller), pp. 1-19, 2008. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[8] Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity (Marvin Schiller, Dominik Dietrich, Christoph Benzmüller), In Teaching Mathematics and Computer Science, volume 6, number 2, pp. 325-343, 2008. [bibtex] [pdf]
[7] Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner), In Mathematics in Computer Science, volume 2, number 2, pp. 253-277, 2008. [bibtex] [pdf] [doi]
[6] Combined Reasoning by Automated Cooperation (Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber), In Journal of Applied Logic, volume 6, number 3, pp. 318-342, 2008. [bibtex] [pdf] [doi]
[5] Reasoning in Simple Type Theory -- Festschrift in Honor of Peter B. Andrews on His 70th Birthday, (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 460, 2008. [bibtex] [pdf]
[4] LEO-II - A Cooperative Automatic Theorem Prover for Higher-Order Logic (System Description) (Christoph Benzmüller, Frank Theiss, Lawrence Paulson, Arnaud Fietzke), In Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings (Alessandro Armando, Peter Baumgartner, Gilles Dowek, eds.), Springer, LNCS, volume 5195, pp. 162-170, 2008. (slides) [bibtex] [pdf] [doi]
[3] THF0 -- The Core of the TPTP Language for Classical Higher-Order Logic (Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe), In Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings (Alessandro Armando, Peter Baumgartner, Gilles Dowek, eds.), Springer, LNCS, volume 5195, pp. 491-506, 2008. [bibtex] [pdf] [doi]
[2] Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller, Lawrence Paulson), Chapter in Reasoning in Simple Type Theory --- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 386-406, 2008. ((Superseded by 2013 article in Logica Universalis)) [bibtex] [pdf]
[1] Cut Elimination with Xi-Functionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Chapter in Reasoning in Simple Type Theory --- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 84-100, 2008. [bibtex] [pdf]
Powered by bibtexbrowser