戴尔·米勒 逻辑编程的证明理论基础综述。 (英语) Zbl 07776351号 理论与实践。日志。程序。 22,第6号,859-904(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller},理论与实践。日志。程序。22,第6号,859--904(2022;Zbl 07776351) 全文: 内政部 arXiv公司
菲利普·科纳;Michael Leuschel先生;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维罗尼卡·达尔;曼努埃尔五世(Manuel V.Hermenegildo)。;何塞·莫拉莱斯(Jose F.Morales)。;Wielemaker,简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托 五十年的序言及以后。 (英语) 兹比尔07776350 理论与实践。日志。程序。 22,第6号,776-858(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Körner}等人,《理论与实践》。日志。程序。22,编号6,776--858(2022;Zbl 07776350) 全文: 内政部 arXiv公司 OA许可证
延斯·奥滕 这个纳米CoP 2.0经典逻辑、直觉逻辑和模态逻辑的连接证明程序。 (英语) Zbl 07532519号 Das,Anupam(编辑)等人,《使用分析表和相关方法的自动推理》。第30届国际会议,2021年9月6日至9日,英国伯明翰,TABLEAUX 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12842, 236-249 (2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Otten},莱克特。注释计算。科学。12842,236--249(2021;Zbl 07532519) 全文: 内政部
比约恩·莱尔曼 从输入/输出逻辑到通过序列的条件逻辑——带有证明器。 (英语) Zbl 07532514号 Das,Anupam(编辑)等人,《使用分析表和相关方法的自动推理》。第30届国际会议,2021年9月6日至9日,英国伯明翰,TABLEAUX 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12842, 147-164 (2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Lellmann},莱克特。注释计算。科学。12842、147--164(2021;Zbl 07532514) 全文: 内政部
迈克尔·Färber;塞萨里·卡利西克;约瑟夫·乌尔班 连接表辅助的机器学习指南。 (英语) Zbl 07356974号 J.汽车。推理 65,第2期,287-320(2021年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Färber}等人,J.Autom。推理65,No.2,287--320(2021;Zbl 07356974) 全文: 内政部
佐姆博里(Zsolt Zombori);约瑟夫·乌尔班;乍得·E·布朗。 Prolog技术强化学习证明程序(系统描述)。 (英语) Zbl 07614694号 佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12167, 489-507 (2020).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zombori}等人,Lect。注释计算。科学。12167489-507(2020;Zbl 07614694) 全文: 内政部 arXiv公司
玛丽安娜·吉兰多;卢茨斯特拉汉堡 MOIN:直觉主义模态逻辑(系统描述)的嵌套序列定理证明程序。 (英语) Zbl 07614686号 Peltier,Nicolas(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12167, 398-407 (2020).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Girlando}和\textit{L.Straßburger},莱克特。注释计算。科学。12167398-407(2020年;Zbl 07614686) 全文: 内政部
蒂齐亚诺·达尔蒙特;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 HYPNO公司:非正规模态逻辑的超连续计算定理证明(系统描述)。 (英语) Zbl 07614684号 佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12167, 378-387 (2020).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Dalmonte}等人,Lect。注释计算。科学。12167378--387(2020;Zbl 07614684) 全文: 内政部
里卡多·泽斯;朱塞佩·科塔;伊芙琳娜·拉姆;埃琳娜·贝洛迪;法布里西奥·里古齐 带有精确公式的概率DL推理:基于Prolog的方法。 (英语) 兹比尔1472.68194 理论与实践。日志。程序。 19,第3号,449-476(2019).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Zese}等人,《理论与实践》。日志。程序。19,第3449-476号(2019年;兹bl 1472.68194) 全文: 内政部 arXiv公司
里卡多·泽斯;埃琳娜·贝洛迪;法布里西奥·里古齐;朱塞佩·科塔;伊芙琳娜·拉姆 描述逻辑的表推理及其对概率的扩展。 (英语) Zbl 1398.68506号 安。数学。Artif公司。智力。 82,编号1-3,101-130(2018).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Zese}等人,《数学年鉴》。Artif公司。智力。82,编号1--3,101-130(2018;Zbl 1398.68506) 全文: 内政部 链接
延斯·奥滕 nanoCoP:非子句连接证明程序。 (英语) Zbl 1475.68445号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 302-312 (2016).MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Otten},莱克特。注释计算。科学。9706302-312(2016;Zbl 1475.68445) 全文: 内政部
莱因哈德·马斯肯斯;斯特凡·温斯坦 所有\(\mathrm的分析表{十六}_3\). (英语) Zbl 1345.03050号 J.菲洛斯。日志。 44,第5期,473-487(2015).MSC公司:03B50号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Muskens}和\textit{S.Wintein},J.Philos。日志。44,第5号,473--487(2015;Zbl 1345.03050) 全文: 内政部
莱恩·凯利(Ryan F.Kelly)。;阿德里安·皮尔斯。 情境演算中带有隐藏动作的异步知识。 (英语) Zbl 1328.68213号 Artif公司。智力。 221, 1-35 (2015).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Kelly}和\textit{A.R.Pearce},Artif。智力。221、1--35(2015年;Zbl 1328.68213) 全文: 内政部
亚当·迈斯纳 对(mathcal{ALC})描述逻辑的简单并行推理系统中的一些计算规则进行了实验分析。 (英语) Zbl 1221.68239号 国际期刊申请。数学。计算。科学。 21,第1期,83-95(2011).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Meissner},国际期刊应用。数学。计算。科学。21,第1号,83--95(2011;Zbl 1221.68239) 全文: 内政部 欧洲DML
A.莫拉。;穆尼奥斯·贝拉斯科。;戈林斯卡·皮拉雷克,J。 实现模态逻辑K的关系定理证明器。 (英语) Zbl 1229.03019号 国际期刊计算。数学。 1869-1884年第9号第88页(2011年). 审核人:Viorica Sofronie-Stokkermans(萨尔布吕肯) MSC公司:03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Mora}等人,《国际计算杂志》。数学。88,第9号,1869--1884(2011;Zbl 1229.03019) 全文: 内政部
雷吉斯·阿伦达;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 CSL公司-倾斜:比较概念相似性逻辑的理论证明。 (英语) Zbl 1345.68253号 Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262,3-16(2010)。MSC公司:68吨15 68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Alenda}等人,电子。注释Theor。计算。科学。262、3--16(2010年;Zbl 1345.68253) 全文: 内政部
彼得罗·阿巴特;拉杰夫·戈尔 Tableau工作台。 (英语) Zbl 1347.68297号 Areces,Carlos(编辑)等人,《第五届模式方法研讨会论文集》(M4M5,2007年),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记231,55-67(2009)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Abate}和\textit{R.Goré},电子。注释Theor。计算。科学。231、55-67(2009年;Zbl 1347.68297) 全文: 内政部
尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 条件逻辑的定理证明:CondLean和目标D\(\mathcal U\)CK公司。 (英语) Zbl 1180.03014号 J.应用。非类别。日志。 18,第4期,427-473(2008).MSC公司:03B35型 03B60号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Olivetti}和\textit{G.L.Pozzato},J.Appl。非类别。日志。18,第4号,427--473(2008;Zbl 1180.03014) 全文: 内政部
约瑟夫·P·奈尔(Joseph P.Near)。;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。 \(\字母\)倾斜TAP接头:一阶经典逻辑的陈述性定理证明器。 (英语) Zbl 1183.68561号 Garcia de la Banda,Maria(编辑)等人,《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89981-5/pbk)。计算机科学课堂讲稿5366,238-252(2008)。MSC公司:68吨15 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Near}等人,Lect。注释计算。科学。5366、238--252(2008年;Zbl 1183.68561) 全文: 内政部
莱茨,莱因霍尔德;格诺·斯坦兹 断开表格演算。 (英语) Zbl 1121.03022号 J.汽车。推理 38,编号1-3,79-126(2007).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Letz}和\textit{G.Stenz},J.Autom。推理38,No.1--3,79-126(2007;Zbl 1121.03022) 全文: 内政部
延斯·奥滕;沃尔夫冈·比贝尔 IeanCOP:基于精益连接的定理证明。 (英语) 兹比尔1025.68076 J.塞姆。计算。 36,编号1-2,139-161(2003).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Otten}和\textit{W.Bibel},J.Symb。计算。36,编号1--2,139-161(2003;Zbl 1025.68076) 全文: 内政部
延斯·奥滕 \(\mathsf{ileanTAP}\):直觉定理证明器。 (英语) Zbl 1412.68250号 Galmiche,Didier(编辑),用分析表和相关方法进行自动推理。1997年5月13日至16日,法国蓬特-阿-穆森,TABLEAUX’97国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1227, 307-312 (1997).MSC公司:68吨15 03B20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Otten},莱克特。注释计算。科学。1227、307--312(1997;Zbl 1412.68250) 全文: 内政部
伯恩哈德·贝克特;拉杰夫·戈尔 命题模态逻辑的自由变量表。 (英语) Zbl 1415.03018号 Galmiche,Didier(编辑),用分析表和相关方法进行自动推理。1997年5月13日至16日,法国蓬特-阿-穆森,TABLEAUX’97国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1227, 91-106 (1997).MSC公司:03B35型 03B45号 68N17号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Beckert}和\textit{R.Goré},莱克特。注释计算。科学。1227,91-106(1997;Zbl 1415.03018) 全文: 内政部
彼得·鲍姆加特纳;乌尔里希·富巴赫;伊尔卡·尼梅尔 超级舞台。 (英语) Zbl 1427.03031号 Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。欧洲研讨会,JELIA’96,埃沃拉,葡萄牙,1996年9月30日至10月3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1126,1-17(1996年)。MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,Lect。注释计算。科学。1126年1月17日(1996年;Zbl 1427.03031) 全文: 内政部
约翰·哈里森 优化模型消除中的证明搜索。 (英语) Zbl 1412.68231号 McRobbie,M.A.(编辑)等人,《自动扣除——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1104, 313-327 (1996).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Harrison},莱克特。注释计算。科学。1104313-327(1996年;Zbl 1412.68231) 全文: 内政部
伯恩哈德·贝克特;雷纳·哈内尔;彼得·厄尔;马丁·苏尔兹曼 基于表格的定理证明器(_3\mkern-4mu T^{\mkern-5mu A}\mkern-5mu P\)版本4.0。 (英语) Zbl 1412.68207号 McRobbie,M.A.(编辑)等人,《自动扣除——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1104, 303-307 (1996).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Beckert}等人,Lect。注释计算。科学。1104、303--307(1996年;Zbl 1412.68207) 全文: 内政部
杰里米·皮特;吉姆·坎宁安 用KE证明分布式模态定理。 (英语) Zbl 1412.68254号 Migliolo,P.(编辑)等人,用解析表和相关方法证明定理。第五届国际研讨会,1996年5月15日至17日,意大利巴勒莫Terrasini,TABLEAUX’96。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1071, 160-176 (1996).MSC公司:68吨15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Pitt}和\textit{J.Cunningham},莱克特。注释计算。科学。1071160-176(1996年;兹bl 1412.68254) 全文: 内政部
Jean-Paul Billon 断开连接的方法。 (英语) Zbl 1412.68210号 Migliolo,P.(编辑)等人,用解析表和相关方法证明定理。第五届国际研讨会,1996年5月15日至17日,意大利巴勒莫Terrasini,TABLEAUX’96。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1071, 110-126 (1996).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Billon},莱克特。注释计算。科学。1071、110-126(1996年;Zbl 1412.68210) 全文: 内政部
伯恩哈德·贝克特;约阿希姆·波塞加 \(\mathsf{精益}T^AP \):基于精益表的定理证明。 (英语) Zbl 1433.68534号 阿兰·邦迪(编辑),《自动扣除——CADE-12》。第十二届国际会议,法国南希,1994年6月26日至7月1日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。814, 793-797 (1994).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Beckert}和\textit{J.Posegga},莱克特。注释计算。科学。814793-797(1994年;Zbl 1433.68534) 全文: 内政部