拉瓦尼亚·辛格 自动康德伦理学：忠实的实现。 （英语） 兹比尔1522.68442 Bergmann，Ralph（编辑）等人，KI 2022：人工智能的进展。2022年9月19日至23日在德国特里尔举行的第45届德国人工智能会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13404, 187-208 (2022).MSC公司：68T01型 03A05号 03B45号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Singh}，莱克特。注释计算。科学。13404，187--208（2022；Zbl 1522.68442） 全文： 内政部 arXiv公司
亚历山大·斯蒂恩;克里斯托夫·本穆勒 Leo-III中的扩展高阶副调制。 （英语） Zbl 1509.68321号 J.汽车。推理 65，第6号，775-807（2021）.MSC公司：68伏15 03B16号 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Steen}和\textit{C.Benzmüller}，J.Autom。推理65，No.6，775--807（2021；Zbl 1509.68321） 全文： 内政部 arXiv公司
亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;乌韦·沃尔德曼 无λ高阶逻辑的叠加。 （英语） Zbl 07350767号 日志。方法计算。科学。 17，第2号，第1号论文，38页（2021）.MSC公司：03B35型 03B16号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人，《日志》。方法计算。科学。17，第2号，第1号论文，38页（2021；Zbl 07350767） 全文： arXiv公司 链接
克里斯托夫·本穆勒;家长，Xavier;范德托雷、伦德特 为伦理和法律推理设计规范理论：LogiKEy公司框架、方法和工具支持。 （英语） Zbl 1493.68286号 Artif公司。智力。 287，文章ID 103348，28 p.（2020）.MSC公司：68T01型 03A05号 03年11月16日 03B35型 03B45号 第68页第27页 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人，Artif。智力。287，文章ID 103348，28 p.（2020；Zbl 1493.68286） 全文： 内政部 arXiv公司
亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas重叠。 （英语） Zbl 1471.03014号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 55-73 (2019). 审核人：Łukasz Czajka（多特蒙德） MSC公司：03B35型 03B16号 03B40型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人，Lect。注释计算。科学。11716，55-73（2019；Zbl 1471.03014） 全文： 内政部 arXiv公司 哈尔
詹姆斯·切尼;阿尔贝托·莫米利亚诺 \（\alpha\mathrm｛Check｝\）：一种机械化的元理论模型检查器。 （英语） 兹比尔1379.68236 理论与实践。日志。程序。 17，第3号，311-352（2017）.MSC公司：60年第68季度 03B70号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.切尼}和\textit{A.莫米利亚诺}，理论与实践。日志。程序。17，No.3，311--352（2017；Zbl 1379.68236） 全文： 内政部 arXiv公司
贾斯敏·克里斯蒂安·布兰切特;安德烈·波佩斯库;德米特里·特拉泰尔 通过共导方法的健全性和完整性证明。 （英语） Zbl 1409.68251号 J.汽车。推理 58，第1期，149-179（2017）.MSC公司：第68页第15页 03B10号机组 03B35型 03年3月 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，J.Autom。推理58，No.1，149--179（2017；Zbl 1409.68251） 全文： 内政部 哈尔
布鲁诺沃尔岑洛格尔古 最小逻辑上下文自然演绎的实现和评估。 （英语） Zbl 1461.68248号 Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 314-324 (2016).MSC公司：68伏15 03B35型 03B53号 03年3月 PDF格式BibTeX公司 XML格式引用 \textit｛B.Woltzenlogel Paleo｝，勒克特。注释计算。科学。9609，314--324（2016；Zbl 1461.68248） 全文： 内政部
克里斯托夫·本兹穆勒 受邀演讲：关于一种（相当）普遍的定理证明方法及其在形而上学中的应用。 （英语） Zbl 1471.68302号 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 213-220 (2015).MSC公司：68伏15 03A05号 03B16号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}，莱克特。注释计算。科学。9323、213--220（2015；Zbl 1471.68302） 全文： 内政部
托马斯·希伦布兰德;克里斯托夫·韦登巴赫 有界域的叠加。 （英语） Zbl 1383.03018号 Bonacina，Maria Paola（编辑）等人，《自动推理与数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。《人工智能课堂讲稿》，68-100（2013）。MSC公司：03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Hillenbrand}和\textit{C.Weidenbach}，莱克特。注释计算。科学。7788，68--100（2013；Zbl 1383.03018） 全文： 内政部