阿吉·库鲁茨;弗拉迪斯拉夫·雷日科夫;尤里·萨瓦提夫;迈克尔·扎克哈里亚舍夫 确定线性时态逻辑中正则语言和本体论中介查询的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公司
弗朗西斯科·珀卡西;恩里科·斯卡拉;毛罗·瓦拉蒂 离散化的实用方法pddl软件+将问题转化为数字规划。 (英语) Zbl 07639832号 J.阿蒂夫。智力。研究(JAIR) 76, 115-162 (2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{F.Percassi}等人,J.Artif。智力。研究(JAIR)76,115--162(2023;Zbl 07639832) 全文: 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 二维时间本体论中介查询的一阶可重写性和复杂性。 (英语) Zbl 07639820号 J.阿蒂夫。智力。研究(JAIR) 75, 1223-1291 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,J.Artif。智力。决议(JAIR)751223-1291(2022;兹bl 07639820) 全文: 内政部 arXiv公司
彼得·琼森;维克托·拉盖克维斯特;塞巴斯蒂安·奥德尼亚克 无限域约束满足中的计算捷径。 (英语) Zbl 1502.68273号 J.阿蒂夫。智力。研究(JAIR) 75, 793-831 (2022).MSC公司:68T20型 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}等人,J.Artif。智力。研究(JAIR)75,793--831(2022;Zbl 1502.68273) 全文: 内政部 arXiv公司
亚辛·伊扎;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 关于处理决策树中的解释冗余。 (英语) Zbl 07603113号 J.阿蒂夫。智力。研究(JAIR) 75, 261-321 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Y.Izza}等人,J.Artif。智力。研究(JAIR)75,261--321(2022;Zbl 07603113) 全文: 内政部 arXiv公司
卢卡什Chrpa;毛罗·瓦拉蒂 关键部分宏观规划:理论与实践。 (英语) Zbl 07565997号 J.阿蒂夫。智力。研究(JAIR) 74, 691-732 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{L.Chrpa}和\textit{M.Vallati},J.Artif。智力。研究(JAIR)74,691--732(2022;Zbl 07565997) 全文: 内政部
加布里埃尔·拉斯拉;谢宁;范格文,马塞尔;德里克·多兰 可解释的深度学习:针对新手的现场指南。 (英语) Zbl 1522.68502号 J.阿蒂夫。智力。研究(JAIR) 73, 329-396 (2022).MSC公司:68T07型 PDF格式BibTeX公司 XML格式引用 \textit{G.Ras}等人,J.Artif。智力。研究(JAIR)73,329--396(2022;Zbl 1522.68502) 全文: 内政部 arXiv公司
朱塞佩·德贾科莫;泽维尔·奥利奥;里卡多·罗萨蒂;多梅尼科·法比奥·萨沃 通过一阶重写在DL-Lite本体中进行实例级更新。 (英语) 兹比尔1510.68107 J.阿蒂夫。智力。研究(JAIR) 70, 1335-1371 (2021).MSC公司:68T27型 第68页,共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,J.Artif。智力。研究(JAIR)70,1335--1371(2021;Zbl 1510.68107) 全文: 内政部
斯蒂芬·瓦尔钦;简·麦克唐纳;萨沙·豪赫;吉塔·库蒂尼奥克 理解二进制分类器决策的计算复杂性。 (英语) Zbl 1512.68116号 J.阿蒂夫。智力。研究(JAIR) 70, 351-387 (2021).MSC公司:65年第68季度 2006年第68季度 2015年第68季度 68T05型 68周25 PDF格式BibTeX公司 XML格式引用 \textit{S.Wäldchen}等人,J.Artif。智力。研究(JAIR)70,351--387(2021;Zbl 1512.68116) 全文: 内政部 arXiv公司