Publications related to the LEO-II project (the list is not complete)

    Main Reference

    Chapters in Books

    • A. Pease and C. Benzmüller, Knowledge Engineering Tools. Chapter in A. Pease, Ontology: A Practical Guide, 2010. Articulate Software Press, Angwin, CA, USA. ISBN: 978-1-889455-10-5 [Download: bib,doi]
    • C. Benzmüller, Verifying the Modal Logic Cube is an Easy Task (for Higher-Order Automated Reasoners). In S. Siegler and N. Wasser (eds.), Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. LNCS vol. 6463, pp. 117-128, 2010. © Springer. ISBN: 978-3-642-17171-0 [Download: bib,pdf,doi]
    • C. Benzmüller and L. Paulson, Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II. Festschrift in Honor of Peter B. Andrews on His 70th Birthday. Studies in Logic, Mathematical Logic and Foundations. 2008. © College Publications. [Download: bib,pdf,ee]

    Journal Papers

    • C. Benzmüller, L. Paulson, N. Sultana, and F. Theiss. The Higher-Order Prover LEO-II. Journal of Automated Reasoning, (2015, accepted) . ISSN 0168-7433 © Springer [Download: bib, pdf,doi: ]
    • C. Benzmüller and A. Pease, Higher-Order Aspects and Context in SUMO. Web Semantics: Science, Services and Agents on the World Wide Web (Special issue on Reasoning with context in the Semantic Web), (2012) 12-13:104-117. ISSN 1570-8268 © Elsevier [Download: bib,pdf,doi: 10.1016/j.websem.2011.11.008]
    • C. Benzmüller, Dov Gabbay, Valerio Genovese, and Daniele Rispoli, Embedding and automating conditional logics in classical higher-order logic. Annals of Mathematics and Artificial Intelligence, 2012. ISSN 1012-2443 © Springer. See also http://arxiv.org/abs/1106.3685 [Download: bib]
    • C. Benzmüller, Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics. Annals of Mathematics and Artificial Intelligence (Special issue Computational logics in Multi-agent Systems (CLIMA XI)), (2011) 62(1-2):103-128. ISSN 1012-2443 © Springer. [Download: bib,pdf,doi: 10.1007/s10472-011-9249-7]
    • A. Pease and C. Benzmüller, Sigma: An Integrated Development Environment for Formal Ontology. AI Communications (Special Issue on Intelligent Engineering Techniques for Knowledge Bases), in print. [Download: bib, pdf]
    • C. Benzmüller and L. C. Paulson, Quantified Multimodal Logics in Simple Type Theory. Logica Universalis, 2012. [Download: bib, pdf, doi: 10.1007/s11787-012-0052-y]
    • G. Sutcliffe and C. Benzmüller, Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure. Journal of Formalized Reasoning, (2010) 3(1):1-27. ISSN 1972-5787. [Download: bib,pdf, ee]
    • C. Benzmüller and L. C. Paulson, Multimodal and Intuitionistic Logics in Simple Type Theory. The Logic Journal of the IGPL. © Oxford University Press, (2010) 18(6): 881-892. ISSN 1367-0751. [Download: bib, pdf, DOI:10.1093/jigpal/jzp080]

    Conference and Workshop Papers

    • C. Benzmüller and N. Sultana, LEO-II Version 1.5. In PxTP 2013, EasyChair, EPiC Series, volume 14, pp. 2-10, 2013. [Download: bib,pdf]
    • N. Sultana and C. Benzmüller, Understanding LEO-II's Proofs. The 9th International Workshop on the Implementation of Logics (IWIL-2012, affiliated with LPAR-2012), Merida, Venezuela, March 2012. [Download: bib,pdf]
    • C. Benzmüller and V. Genovese Quantified Conditional Logics are Fragments of HOL. The International Conference on Non-classical Modal and Predicate Logics (NCMPL), Guangzhou (Canton), China, 2011.[Download: bib,pdf]
    • C. Benzmüller, Combining Logics in Simple Type Theory. The 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lisbon, Portugal, August 16-17, 2010.[Download: bib,pdf]
    • C. Benzmüller and A. Pease, Reasoning with Embedded Formulas and Modalities in SUMO. The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Lisbon, Portugal, August 16-17, 2010. [Download: bib,pdf]
    • C. Benzmüller and A. Pease, Progress in Automating Higher-Order Ontology Reasoning. IJCAR'10 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008), Edinburgh, UK, 2010. [Download: bib,pdf]
    • C. Benzmüller, Simple Type Theory as Framework for Combining Logics. World Congress and School on Universal Logic III (UNILOG'2010). UNILOG'2010 contest paper, Lisbon, Portugal, April 18-25, 2010. http://arxiv.org/abs/1004.5500 [Download: bib,pdf]
    • C. Benzmüller, Automating Access Control Logic in Simple Type Theory via LEO-II. Emerging Challenges for Security, Privacy and Trust, 24th IFIP TC 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009, Proceedings, IFIP vol. 297, pp. 387-398, 2009. © Springer. ISBN 978-3-642-01243-3 [Download: bib,pdf,ee]
    • C. Benzmüller, L. Paulson, F. Theiss, and A. Fietzke, LEO-II - A Cooperative Automatic Theorem Prover for Higher-Order Logic. Fourth International Joint Conference on Automated Reasoning (IJCAR'08), LNAI vol. 5195, pp. 162-170, Sydney, Australia, 2008. © Springer. ISBN 978-3-540-71069-1 [Download: bib,pdf,ee]
    • C. Benzmüller, F. Rabe, and G. Sutcliffe, The Core TPTP Language for Classical Higher-Order Logic. Fourth International Joint Conference on Automated Reasoning (IJCAR'08), LNAI, Sydney, Australia, 2008. © Springer. [Download: bib,pdf,ee]
    • C. Benzmüller, L. Paulson, F. Theiss, A. Fietzke: Progress Report on LEO-II – An Automatic Theorem Prover for Higher-Order Logic. TPHOLs 2007 Emerging Trends Proceedings, pp. 33-48, Internal Report 364/07, Department of Computer Science, University of Kaiserslautern, Germany, 2007. [Download: bib,pdf]
    • C. Benzmüller, L. Paulson, F. Theiss, A. Fietzke: The LEO-II Project. In Proceedings of the 14th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, Imperial College, London, England, 2007. [Download: bib, pdf]
    • F. Theiss, C. Benzmüller, Term Indexing for the LEO-II Prover. IWIL-6 workshop at LPAR 2006: The 6th International Workshop on the Implementation of Logics, Pnom Penh, Cambodia, 2006. [Download: bib,pdf]

    Technical Reports on LEO-II

    • C. Benzmüller and N. Sultana, Update report: LEO-II version 1.5. In CoRR, volume abs/1303.3761, 2013. [Download: bib,pdf]
    • C. Benzmüller, A Note on LEO-II and the Basic Fragment of Simple Type Theory. AAR Newsletter No. 84, July 2009. [Download: bib, link]
    • C. Benzmüller, LEO-II im Ontologieschliessen – Antrag auf an Forschungsvorhaben an die DFG. 2009. [Download: bib]
    • C. Benzmüller Automating Quantified Multimodal Logic in Simple Type Theory – A Case Study. Seki Working-Paper SWP-2009-02 (ISSN 1860-5931), Saarland University, 2009. (ii + 28 pages) [Download: bib, pdf]
    • C. Benzmüller, Automating Access Control Logic in Simple Type Theory via LEO-II (Techreport). Seki Report SR-2008-01 (ISSN 1437-4447), Saarland University, 2008. (20 pages) [Download: bib, pdf]

    Posters on LEO-II