林戈·鲍曼;安娜·拉贝格;马库斯·乌布利希特 以权利要求为中心的观点在论证框架中的等效性:具有新成分的经典结果。 (英语) Zbl 07753316号 J.阿蒂夫。智力。研究(JAIR) 77, 891-948 (2023).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Baumann}等人,J.Artif。智力。决议(JAIR)77891-948(2023;兹bl 0775316) 全文: 内政部
安娜·拉贝格;马库斯·乌布利希特 结构论证形式中的动力学。 (英语) Zbl 07753310号 J.阿蒂夫。智力。研究(JAIR) 77, 563-643 (2023).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Rapberger}和\textit{M.Ulbricht},J.Artif。智力。研究(JAIR)77,563--643(2023;Zbl 07753310) 全文: 内政部
阿吉·库鲁茨;弗拉迪斯拉夫·里日科夫;尤里·萨瓦泰耶夫;迈克尔·扎克哈里亚舍夫 确定线性时态逻辑中正则语言和本体论中介查询的FO可写性。 (英语) Zbl 07732093号 J.阿蒂夫。智力。研究(JAIR) 76, 645-703 (2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Kurucz}等人,J.Artif。智力。研究(JAIR)76,645--703(2023;Zbl 07732093) 全文: 内政部 arXiv公司
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 二维时间本体论中介查询的一阶可重写性和复杂性。 (英语) Zbl 07639820号 J.阿蒂夫。智力。研究(JAIR) 75, 1223-1291 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,J.Artif。智力。研究(JAIR)75,1223--1291(2022;Zbl 07639820) 全文: 内政部 arXiv公司
尼古拉·卡夫;克里斯特尔·拜尔;马丁·迪勒;克莱门斯·杜伯斯拉夫;莎拉·爱丽丝·加格尔;霍尔格·赫尔曼斯 概率论证中的可接受性。 (英语) Zbl 07566003号 J.阿蒂夫。智力。研究(JAIR) 74, 957-1009 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{N.Käfer}等人,J.Artif。智力。研究(JAIR)74,957--1009(2022;Zbl 07566003) 全文: 内政部
达尔维切,阿德南;皮埃尔·侯爵 布尔逻辑中的量化文字及其在可解释人工智能中的应用。 (英语) Zbl 1522.68526号 J.阿蒂夫。智力。研究(JAIR) 72, 285-328 (2021).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Darwiche}和\textit{P.Marquis},J.Artif。智力。研究(JAIR)72,285--328(2021;Zbl 1522.68526) 全文: 内政部 arXiv公司
约翰·利维埃拉托斯;Phokion G.科莱蒂斯。;Lefteris Kirousis公司 关于非独裁聚合的计算复杂性。 (英语) Zbl 1518.68144号 J.阿蒂夫。智力。研究(JAIR) 72, 137-183 (2021).MSC公司:65年第68季度 68T20型 68T42型 68瓦40 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Livieratos}等人,J.Artif。智力。决议(JAIR)72137-183(2021;兹bl 1518.68144) 全文: 内政部
帕维尔·瑙莫夫;元,元 战略游戏中的智慧。 (英语) Zbl 1519.68290号 J.阿蒂夫。智力。研究(JAIR) 71, 521-556 (2021).MSC公司:68T42型 03B42号 68T27型 91年12月 91A27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{Y.Yuan},J.Artif。智力。研究(JAIR)71,521--556(2021;Zbl 1519.68290) 全文: 内政部 arXiv公司