与LEO-II项目相关的出版物（列表不是完整）
主要参考资料
书籍中的章节
- A.Pease和C.Benzmüller，知识工程工具。A.Pease的章节，本体论：A实用指南，2010年。Articulate软件出版社，美国加利福尼亚州安格温。国际标准图书编号：978-1-889455-10-5[下载：围兜,国防部]
- C.Benzmüller，验证模态逻辑立方体是一项简单的任务（对于高阶自动推理机）.在S.Siegler和N.Wasser（编辑）《验证、归纳》中，终止分析-Christoph Walther的Festschrift他60岁生日。LNCS公司第6463卷，pp。117-128, 2010. ©斯普林格版权所有。ISBN:978-3-642-17171-0[下载：围兜,pdf格式,国防部]
- C.Benzmüller和L.Paulson，探索简型理论中正规多模逻辑的性质LEO-II型为纪念Peter B.Andrews70岁生日。逻辑、数学逻辑和基础研究。2008年©学院出版物。[下载：围兜,pdf格式,ee公司]
期刊论文
- C.Benzmüller、L.Paulson、N.Sultana和F.Theiss。高阶证明LEO-II。
日记账自动推理，（2015年，接受）.ISSN 0168-7433©施普林格版权所有[下载：围兜,pdf格式,数字对象标识：]
- C.Benzmüller和A。皮斯，SUMO中的高阶方面和上下文。
Web语义：世界上的科学、服务和代理宽Web（关于上下文推理的特刊语义网），（2012）12-13:104-117.ISS编号1570-8268©爱思唯尔[下载：围兜,pdf格式,数字对象标识：2016年10月10日/j.websem.2011.11.008]
- C.Benzmüller、Dov Gabbay、ValerioGenovese和Daniele Rispoli，嵌入和自动化经典高阶逻辑中的条件逻辑。数学与人工年鉴《情报》，2012年。国际标准编号1012-2443©斯普林格版权所有。另请参见http://arxiv.org/abs/1106.3685
[下载：围兜]
- C.Benzmüller，组合和自动经典高阶经典与非经典逻辑逻辑。马塞马年鉴tics和人工智能（特殊问题计算逻辑多代理系统（CLIMA XI）, (2011)62(1-2):103-128ISSN 1012-2443©斯普林格。[下载：围兜,pdf格式,doi:10.1007/s10472-011-9249-7]
- A.Pease和C.Benzmüller，Sigma：形式本体的集成开发环境。AI通信（知识库智能工程技术专刊），印刷版。[下载：围兜,
pdf格式]
- C.Benzmüller和L.C.Paulson，简单类型理论中的量化多模态逻辑。Logica Universalis，2012年。[下载：围兜,pdf格式,数字对象标识：10.1007/s11787-012-0052-y]
- G.Sutcliffe和C.Benzmüller，使用TPTP-THF的高阶逻辑中的自动推理基础设施。第页，共页形式化推理, (2010) 3(1):1-27. ISSN 1972-5787。[下载：围兜,pdf格式,ee公司]
- C.Benzmüller和L.C.Paulson，简单类型理论中的多模态和直觉主义逻辑。《逻辑杂志》IGPL公司©牛津大学出版社，（2010）18（6）：881-892。ISSN 1367-0751。[下载：围兜,pdf格式,DOI:10.1093/jigpal/jzp080]
会议和研讨会文件
- C.Benzmüller和N.Sultana，LEO-II版本1.5.在2013年PxTP，EasyChair，EPiC系列，第14卷，2013年第2-10页。[下载：围兜,pdf格式]
- N.Sultana和C.Benzmüller，理解LEO-II的证据。第九届国际研讨会逻辑实施（IWIL-2012，附于LPAR-2012），委内瑞拉梅里达，2012年3月。[下载：围兜,pdf格式]
- C.Benzmüller和V.Genovese量化条件逻辑是HOL的片段。非经典模态与谓词逻辑国际会议，广州，中国，2011。[下载：围兜,pdf格式]
- C.Benzmüller，简单类型理论中的组合逻辑2010年8月16日至17日，葡萄牙里斯本，第十一届多智能体系统计算逻辑国际研讨会（CLIMA XI）。[下载：围兜,pdf格式]
- C.Benzmüller和A.Pease，SUMO中嵌入公式和模式的推理2010年8月16日至17日，葡萄牙里斯本，ECAI-10上下文和本体进化自动推理研讨会（ARCOE-10）。[下载：围兜,pdf格式]
- C.Benzmüller和A.Pease，自动化进展高阶本体推理IJCAR’10研讨会《自动推理的实践方面》（PAAR-2008），爱丁堡，英国，2010年。[下载：围兜,pdf格式]
- C.Benzmüller，作为框架的简单类型理论用于组合逻辑。世界大会和学校通用逻辑III（UNILOG’2010）。UNILOG 2010年竞赛论文，葡萄牙里斯本，4月18-25, 2010.http://arxiv.org/abs/104.5500 [下载：围兜,pdf格式]
- C.Benzmüller，通过LEO-II自动化简单类型理论中的访问控制逻辑。新出现的挑战安全、隐私和信任，第24届IFIP TC 11国际2009年5月在塞浦路斯帕福斯举行的SEC信息安全会议2009年18月20日，《会议记录》，IFIP第297卷，第387-398页，2009年。©斯普林格版权所有。国际标准图书编号978-3-642-01243-3[下载：围兜,pdf格式,ee公司]
- C.Benzmüller、L.Paulson、F.Theiss和A.Fietzke，LEO-II——一个用于高阶逻辑。第四届国际联席会议自动推理（IJCAR’08），LNAI公司第5195卷，pp。162-170，澳大利亚悉尼，2008年。©斯普林格版权所有。国际标准图书编号978-3-540-71069-1[下载：围兜,pdf格式,ee公司]
- C.Benzmüller、F.Rabe和G.Sutcliffe，核心用于经典高阶逻辑的TPTP语言。第四国际自动推理联合会议（IJCAR’08），LNAI公司2008年，澳大利亚悉尼。©斯普林格版权所有。[下载：围兜,pdf格式,ee公司]
- C.Benzmüller、L.Paulson、F.Theiss、A。菲茨克：LEO-II进展报告——自动高阶逻辑的定理证明器。2007年TPHOL《新兴趋势学报》，第33-48页，内部报告364/07，计算机科学系，大学德国凯泽斯劳滕，2007年。[下载：围兜,pdf格式]
- C.Benzmüller、L.Paulson、F.Theiss、A。菲茨克：LEO-II项目。在第十四届自动推理研讨会论文集：桥接理论与实践之间的差距，伦敦帝国理工学院，英国，2007年。 [下载：围兜,pdf格式]
- F.Theiss、C.Benzmüller、，术语索引LEO-II校准仪。2006年LPAR IWIL-6研讨会：第6届逻辑实施国际研讨会，金边，柬埔寨，2006年。[下载：围兜,pdf格式]
LEO-II技术报告
- C.Benzmüller和N.Sultana，更新报告：LEO-II 1.5版。在CoRR中，卷abs/1303.37612013。[下载：围兜,pdf格式]
- C.Benzmüller，关于LEO-II和简单类型理论的基本片段。AAR新闻稿第84期，2009年7月。[下载：围兜,
链接]
- C.Benzmüller，LEO-II接口Ontologieschliessen–Antrag auf an Forschungsvorhaben an模具DFG。2009[下载：围兜]
- C、。本兹穆勒自动化简单类型理论中的量化多模态逻辑——一个案例学习。塞基工作文件SWP-2009-02（ISSN 1860-5931），萨尔州大学，2009年（ii+28页）[下载：围兜, pdf格式]
- C、。Benzmüller，自动化通过LEO-II实现简单类型理论中的访问控制逻辑（技术报告）。塞基报告SR-2008-01（ISSN 1437-4447），萨尔州大学，2008年。（20页） [下载：围兜, pdf格式]
LEO-II海报