Year: 2009
2009
[18] A Note on LEO-II and the Basic Fragment of Simple Type Theory (Christoph Benzmüller), Technical report, AAR Newsletter No. 84, 2009. [bibtex] [pdf]
[17] Effective Higher-Order Automated Theorem Proving with integrated Descente Infinie and Presburger Arithmetic LEO-III (Christoph Benzmüller, Claus-Peter Wirth), 2009. [bibtex] [pdf]
[16] The THFTPTP Project --- An Infrastructure for Typed Higher-order Form Automated Theorem Proving Marie Curie International Incoming Fellowship Grant Agreement PIIF-GA-2008-219982 Project Report --- Scientific (Christoph Benzmüller, Geoff Sutcliffe), Saarland University, 2009. [bibtex] [pdf]
[15] The THFTPTP Project --- An Infrastructure for Typed Higher-order Form Automated Theorem Proving Marie Curie International Incoming Fellowship Grant Agreement PIIF-GA-2008-219982 Project Report --- Implications (Christoph Benzmüller, Geoff Sutcliffe), Technical report, Saarland University, 2009. [bibtex] [pdf]
[14] LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG (Christoph Benzmüller), 2009. [bibtex] [pdf]
[13] Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study (Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), SEKI Working-Paper SWP-2009-02, 2009. (arXiv:0905.4369) [bibtex] [pdf]
[12] Quantified Multimodal Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), SEKI Publications (ISSN 1437-4447), SEKI Report SR-2009-02 (ISSN 1437-4447), 2009. (arXiv:0905.2435) [bibtex] [pdf]
[11] Granularity-Adaptive Proof Presentation (Marvin Schiller, Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), SEKI Working-Paper SWP--2009--01, 2009. (arXiv:0903.0314) [bibtex] [pdf]
[10] Lectures on Jacques Herbrand as a Logician (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), SEKI Publications (ISSN 1437-4447), 2009. (arXiv:0902.4682) [bibtex] [pdf]
[9] Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP 2008) (Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 226, number 1, pp. 1-2, 2009. [bibtex] [pdf] [doi]
[8] Cut-Simulation and Impredicativity (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Logical Methods in Computer Science, volume 5, number 1:6, pp. 1-21, 2009. [bibtex] [pdf] [doi]
[7] Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers (UITP 2008), Montréal, Canada, (Serge Autexier, Christoph Benzüller, eds.), Elsevier, Electronic Notes in Theoretical Computer Science, volume 226, pp. 1-106, 2009. [bibtex] [pdf]
[6] Presenting Proofs with Adapted Granularity (Marvin Schiller, Christoph Benzmüller), In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings (Bärbel Mertsching, Marcus Hund, Muhammad Zaheer Aziz, eds.), Springer, LNAI, volume 5803, pp. 289-297, 2009. [bibtex] [pdf] [doi]
[5] Granularity-Adaptive Proof Presentation (Marvin Schiller, Christoph Benzmüller), In Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, Proceedings of the 14th International Conference on Artificial Intelligence in Education, AIED 2009, July 6-10, 2009, Brighton, UK, IOS Press, Frontiers in Artificial Intelligence and Applications, volume 200, pp. 599-601, 2009. [bibtex] [pdf]
[4] Progress in the Development of Automated Theorem Proving for Higher-order Logic (Geoff Sutcliffe, Christoph Benzmüller, Chad Brown, Frank Theiss), In Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Renate Schmidt, ed.), Springer, LNCS, volume 5663, pp. 116-130, 2009. [bibtex] [pdf] [doi]
[3] Proof Granularity as an Empirical Problem? (Marvin Schiller, Christoph Benzmüller), In CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009 - Volume 1 (José A. Moinhos Cordeiro, Boris Shishkov, Alexander Verbraeck, Markus Helfert, eds.), SciTePress Digital Library, pp. 350-354, 2009. [bibtex] [pdf] [doi]
[2] Automating Access Control Logic in Simple Type Theory with LEO-II (Christoph Benzmüller), In Emerging Challenges for Security, Privacy and Trust, 24th IFIP TC 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009. Proceedings (Dimitris Gritzalis, Javier López, eds.), Springer, IFIP, volume 297, pp. 387-398, 2009. (slides) [bibtex] [pdf] [doi]
[1] Jacques Herbrand: Life, Logic, and Automated Deduction (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), Chapter in Handbook of the History of Logic, Volume 5 -- Logic from Russell to Church (Dov Gabbay, John Woods, eds.), Elsevier, 2009. [bibtex] [pdf] [doi]
Powered by bibtexbrowser