米盖尔·库塞罗;埃尔科·莱顿 类比分类器的伽罗瓦理论。 (英语) Zbl 07802494号 安。数学。Artif公司。智力。 92,第1号,第29-47页(2024年).MSC公司:68立方英尺 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{M.Couceiro}和\textit{E.Lehtonen},安.数学。Artif公司。智力。92,编号1,29-47(2024;Zbl 07802494) 全文: 内政部 arXiv公司
塔里克·哈立德;贝莱德·本哈莫;Van-Giang Trinh公司 使用答案集编程处理布尔网络和吸引子计算:应用于细胞的基因调控网络。 (英语) Zbl 07759324号 安。数学。Artif公司。智力。 91,编号5,713-750(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Khaled}等人,Ann.Math。Artif公司。智力。91,编号5,713--750(2023;Zbl 07759324) 全文: 内政部
穆罕默德·埃拉鲁西;努林,Lhouari;穆罕默德·赛义德·拉杰夫 论证框架的格点观点。 (英语) Zbl 07759323号 安。数学。Artif公司。智力。 91,第5号,691-711(2023).MSC公司:68次发射 2009年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Elaroussi}等人,《数学年鉴》。Artif公司。智力。91,编号5,691--711(2023;Zbl 07759323) 全文: 内政部 哈尔
玛丽埃拉·莫维利·埃斯皮诺扎;胡安·卡洛斯·尼维斯;塞萨尔·奥古斯托·塔卡拉 概率因果两极抽象论证:一种基于信任网络的方法。 (英语) Zbl 07730287号 安。数学。Artif公司。智力。 91,第4号,517-536(2023).MSC公司:68层37 68立方英尺 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Morveli-Espinoza}等人,《数学年鉴》。Artif公司。智力。91,编号41517-536(2023;Zbl 07730287) 全文: 内政部
阿拉瓦尼斯·提奥凡尼斯 演绎信念改变。 (英语) Zbl 07730286号 安。数学。Artif公司。智力。 91,第4号,489-515(2023).MSC公司:03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Aravanis},Ann.数学。Artif公司。智力。91,第4号,489--515(2023;Zbl 07730286) 全文: 内政部
范登伯格,Line;曼努埃尔·阿滕西亚;尤泽纳特,杰罗姆 提高认识而不披露真相。 (英语) Zbl 07730284号 安。数学。Artif公司。智力。 91,编号4,431-464(2023).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{L.van den Berg}等人,《数学年鉴》。Artif公司。智力。91,编号4,431--464(2023;Zbl 07730284) 全文: 内政部 哈尔
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 理性验证的复杂性。 (英语) Zbl 07730283号 安。数学。Artif公司。智力。 91,第4号,409-430(2023).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《数学年鉴》。Artif公司。智力。91,编号4,409--430(2023;Zbl 07730283) 全文: 内政部 arXiv公司
冯仁彦;王一松;钱、任;杨磊;陈攀峰 命题演算中的知识遗忘。 (英语) Zbl 07644141号 安。数学。Artif公司。智力。 91,编号1,1-43(2023).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{R.Feng}等人,《数学年鉴》。Artif公司。智力。91,编号1,1-43(2023;Zbl 07644141) 全文: 内政部
科斯米纳克罗托鲁;马达琳娜·克罗伊托鲁 用于抽象论证的可容许集合的深入组合分析。 (英语) Zbl 1511.68265号 安。数学。Artif公司。智力。 90,编号11-12,1139-1158(2022).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Croitoru}和\textit{M.Croitoru},安.数学。Artif公司。智力。90,编号11--121139--1158(2022;Zbl 1511.68265) 全文: 内政部
石美峰;廖欣;陈元 一种求解函数分布约束优化问题的双种群搜索差分进化算法。 (英语) Zbl 07618986号 安。数学。Artif公司。智力。 90,第10号,1055-1078(2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{M.Shi}等人,《数学年鉴》。Artif公司。智力。90,第10号,1055--1078(2022;Zbl 07618986) 全文: 内政部
辛西娅·莫沙根;马克·内维尔(Marc Neveling);约尔格·罗斯;安·凯瑟琳·塞尔克 迭代投票规则中转移贿赂的复杂性。 (英语) Zbl 07618985号 安。数学。Artif公司。智力。 90,第10期,1017-1054(2022).MSC公司:2017年第68季度 91B12号机组 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Maushagen}等人,《数学年鉴》。Artif公司。智力。90,第10号,1017--1054(2022;Zbl 07618985) 全文: 内政部
卡洛斯·安索特吉;Josep Pon先生;梅诺尔夫·塞尔曼 提升进化算法配置。 (英语) Zbl 07570851号 安。数学。Artif公司。智力。 90,编号7-9,715-734(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《数学年鉴》。Artif公司。智力。90,编号7--9,715--734(2022;Zbl 07570851) 全文: 内政部
托拜厄斯·博格 高斯类是高斯条件独立结构的两个先行近似。 (英语) Zbl 1493.62020年 安。数学。Artif公司。智力。 90,第6号,645-673(2022); 更正同上,90,第6号,675-676(2022)。MSC公司:62磅10英寸 62年01月 第14页 PDF格式BibTeX公司 XML格式引用 \textit{T.Boege},Ann.数学。Artif公司。智力。90,第6号,645--673(2022年;兹bl 1493.62020) 全文: 内政部 arXiv公司
安蒂奇,克里斯蒂安 类比比例。 (英语) Zbl 1490.68175号 安。数学。Artif公司。智力。 90,第6号,595-644(2022).MSC公司:68T01型 08A70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Antić},Ann.数学。Artif公司。智力。90,第6号,595--644(2022;Zbl 1490.68175) 全文: 内政部 arXiv公司
阿拉瓦尼斯·提奥凡尼斯;帕夫洛斯·佩帕斯 宗教信仰修正。 (英语) Zbl 1508.03051号 安。数学。Artif公司。智力。 90,第6号,573-594(2022). 审核人:爱德华多·费尔梅(Funchal) MSC公司:03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Aravanis}和\textit{P.Peppas},《数学年鉴》。Artif公司。智力。90,编号6,573--594(2022;Zbl 1508.03051) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 (英语) Zbl 07517439号 安。数学。Artif公司。智力。 90,第5期,499-522(2022).MSC公司:68N17号 68甲18 2012年第68季度 60年第68季度 68分20秒 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《数学年鉴》。Artif公司。智力。90,编号5,499-522(2022;兹bl 07517439) 全文: 内政部 链接
科斯塔斯·库特拉斯。;康斯坦蒂诺斯·利亚斯科斯;克里斯托斯·莫伊泽斯;克里斯托斯·诺米科斯;克里斯托斯·兰苏迪斯 拓扑和测度理论中的缺省结果关系。 (英语) Zbl 07504739号 安。数学。Artif公司。智力。 90,编号4,397-424(2022).MSC公司:68T27型 68立方英尺 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Koutras}等人,《数学年鉴》。Artif公司。智力。90,第4号,397--424(2022;Zbl 07504739) 全文: 内政部
朱利奥·克莱姆普纳。 学习Stackelberg安全游戏中的马基雅维利操纵策略。 (英语) Zbl 07504738号 安。数学。Artif公司。智力。 90,第4期,373-395(2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Clempner},Ann.数学。Artif公司。智力。90,编号4,373-395(2022;兹bl 07504738) 全文: 内政部
塞巴斯蒂安·施内肯伯格;多恩,布里塔;乌尔·恩德里斯 最小化多智能体资源分配中的不平等:分布式方法的结构分析。 (英语) Zbl 1484.91231号 安。数学。Artif公司。智力。 90,第4号,339-371(2022).MSC公司:91B32型 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneckenburger}等人,《数学年鉴》。Artif公司。智力。90,第4号,339--371(2022;Zbl 1484.91231) 全文: 内政部
斯蒂佩·潘季奇 结构化论证动力学。在默认理由逻辑中隐藏攻击。 (英语) Zbl 07473203号 安。数学。Artif公司。智力。 90,编号2-3,297-337(2022).MSC公司:03B60号 68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Pandíić},Ann.数学。Artif公司。智力。90,编号2-3297-337(2022;兹bl 07473203) 全文: 内政部
亚西尔·马哈茂德;阿恩·迈尔 命题依赖逻辑中模型检查和可满足性的参数化复杂性。 (英语) Zbl 07473202号 安。数学。Artif公司。智力。 90,编号2-3,271-296(2022).MSC公司:60年第68季度 03B70号 2017年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}和\textit{A.Meier},Ann.数学。Artif公司。智力。90,编号2--3,271--296(2022;Zbl 07473202) 全文: 内政部 arXiv公司
约翰·格兰特;弗朗切斯科·帕里西 一般信息空间:测量不一致性、合理性假设和复杂性。 (英语) Zbl 07473201号 安。数学。Artif公司。智力。 90,编号2-3,235-269(2022).MSC公司:68立方英尺 第68页,共15页 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}和\textit{F.Parisi},Ann.数学。Artif公司。智力。90,编号2--3,235-269(2022;Zbl 07473201) 全文: 内政部
彼得罗·加利亚尼;Väänänen,佐科 多样性、依赖性和独立性。 (英语) 兹比尔07473200 安。数学。Artif公司。智力。 90,编号2-3,211-233(2022).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼}和\textit{J.Väänänen},安.数学。Artif公司。智力。90,编号2--3,211-233(2022;Zbl 07473200) 全文: 内政部
克里斯托夫·贝尔;乔纳斯·哈尔迪曼 关于系统隐含和签名重命名的条件知识库的标准形式。 (英语) Zbl 1508.68355号 安。数学。Artif公司。智力。 90,编号2-3,149-179(2022). 审核人:埃里克·马丁(悉尼) MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}和\textit{J.Haldimann},安.数学。Artif公司。智力。90,编号2--3,149-179(2022;Zbl 1508.68355) 全文: 内政部
克里斯蒂安·科莫;克里斯托夫·贝尔 基于条件知识库的非单调推理系统W。 (英语) Zbl 1508.68362号 安。数学。Artif公司。智力。 90,编号107-144(2022). 审核人:马里奥·阿尔维亚诺(伦德) MSC公司:68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.Komo}和\textit{C.Beierle},安.数学。Artif公司。智力。90,第1号,107--144(2022;Zbl 1508.68362) 全文: 内政部
朱利安·维昂;勒内,曼迪奥;Sylvain Piechowiak;马吕斯·西拉吉 在带突破的分布式随机算法中集成域和约束隐私推理。 (英语) Zbl 07473193号 安。数学。Artif公司。智力。 90,编号1,31-73(2022).MSC公司:68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Vion}等人,Ann.Math。Artif公司。智力。90,编号1,31--73(2022;Zbl 07473193) 全文: 内政部
罗尼·斯特恩;梅尔·戈登堡;阿卜杜拉·萨菲丁;阿里尔·费尔纳 一对多最短路径查询的启发式搜索。 (英语) Zbl 1494.68257号 安。数学。Artif公司。智力。 89,第12期,1175-1214(2021).MSC公司:68分20秒 90立方厘米 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{R.Stern}等人,《数学年鉴》。Artif公司。智力。89,编号12,1175--1214(2021;Zbl 1494.68257) 全文: 内政部
波纳蒂,皮耶罗·A。 受限OWL2配置文件中的查询应答。 (英语) Zbl 1494.68259号 安。数学。Artif公司。智力。 89,第12期,1155-1173(2021).MSC公司:68T27型 2017年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bonatti},Ann.数学。Artif公司。智力。89,第12号,1155--1173(2021;Zbl 1494.68259) 全文: 内政部
梅利哈·塞兹金;加布里埃尔·克恩·伊斯伯纳;克里斯托夫·贝尔 根据上下文信息对运动学进行排序以进行修改。 (英语) Zbl 1494.68263号 安。数学。Artif公司。智力。 89,编号10-11,1101-1131(2021).MSC公司:68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Sezgin}等人,《数学年鉴》。Artif公司。智力。89,编号10-11101-1131(2021;兹bl 1494.68263) 全文: 内政部
杰西·海因尼克;加布里埃尔·克恩·伊斯伯纳;马蒂亚斯·蒂姆;肯尼斯·斯基巴 抽象辩证框架与非单调条件逻辑的对应。 (英语) Zbl 1496.68317号 安。数学。Artif公司。智力。 89,编号10-11,1075-1099(2021). 审核人:毛里西奥·里斯(Funchal) MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Heyninck}等人,《数学年鉴》。Artif公司。智力。89,编号10--11,1075--1099(2021;Zbl 1496.68317) 全文: 内政部
哈斯娜·恩贾;萨勒马·贾穆西;瓦利德·马赫迪 打破维度诅咒:多视图聚类的分层贝叶斯网络模型。 (英语) Zbl 07447178号 安。数学。Artif公司。智力。 89,编号10-11,1013-1033(2021).MSC公司:62H30型 62H22个 PDF格式BibTeX公司 XML格式引用 \textit{H.Njah}等人,《数学年鉴》。Artif公司。智力。89,编号10--111013--1033(2021;Zbl 07447178) 全文: 内政部
阿里安娜·卡萨诺娃;恩里克·米兰达;马可·扎法隆 社会选择和意见汇集的共同可取性基础。 (英语) Zbl 1497.91108号 安。数学。Artif公司。智力。 89,编号10-11,965-1011(2021).MSC公司:91B14号机组 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Casanova}等人,《数学年鉴》。Artif公司。智力。89,编号10--11,965--1011(2021;Zbl 1497.91108) 全文: 内政部
奥斯卡·奥利维拉;马托斯,特尔莫;多拉贝拉·甘博阿 单源容量受限设施选址问题的对偶RAMP算法。 (英语) Zbl 07420369号 安。数学。Artif公司。智力。 89,编号8-9,815-834(2021).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{奥斯·奥利维拉}等人,安·数学。Artif公司。智力。89,编号8--9,815--834(2021;Zbl 07420369) 全文: 内政部
诺夫,耶尔;斯特里赫曼(Ofer Strichman) 使用最优算法组合实时解决计算困难的问题。 (英语) Zbl 1507.68299号 安。数学。Artif公司。智力。 89,第7号,693-710(2021).MSC公司:68分20秒 2017年第68季度 68瓦99 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{Y.Nof}和\textit{O.Strichman},安.数学。Artif公司。智力。89,编号7,693--710(2021;Zbl 1507.68299) 全文: 内政部
叶青川;贾森·罗格纳思;张应倩;四川省韦尔市;米歇尔·尤根·希尔格曼 在线工业拍卖的数据驱动设计。 (英语) Zbl 1507.68263号 安。数学。Artif公司。智力。 89,第7号,675-691(2021).MSC公司:68T05型 90立方厘米 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{Q.C.Ye}等人,Ann.数学。Artif公司。智力。89,编号7,675--691(2021;Zbl 1507.68263) 全文: 内政部 链接
普雷斯特维奇,S.D。;弗洛伊德,E.C。;B.奥沙利文。;D.布朗。 基于分类器的约束获取。 (英语) Zbl 1507.68252号 安。数学。Artif公司。智力。 89,编号7,655-674(2021).MSC公司:68T05型 62H30型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Prestwich}等人,《数学年鉴》。Artif公司。智力。89,编号7,655--674(2021;Zbl 1507.68252) 全文: 内政部
劳伦斯·布利克;四川省韦尔市;马蒂伊斯·德·威德 使用积分值最小模型的黑盒组合优化。 (英语) Zbl 1472.90107号 安。数学。Artif公司。智力。 89,第7号,639-653(2021).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bliek}等人,Ann.Math。Artif公司。智力。89,编号7,639--653(2021;Zbl 1472.90107) 全文: 内政部 arXiv公司
塔贾纳·斯托亚诺维奇;内博伊沙·伊科迪诺维奇;达维多维奇,塔贾纳;佐兰·奥格尼亚诺维奇 系统中的自动非单调推理P(P). (英语) Zbl 1496.68341号 安。数学。Artif公司。智力。 89,编号5-6,471-509(2021).MSC公司:68层37 68T27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{T.Stojanović}等人,《数学年鉴》。Artif公司。智力。89,编号5--6,471--509(2021;Zbl 1496.68341) 全文: 内政部
加森·哈姆迪;穆罕默德·纳齐赫·奥姆里;塞勒姆·本费哈特;扎伊德·布劳伊;奥德尔·帕皮尼 从隐藏数据集查询DL-Lite知识库。 (英语) Zbl 1518.68379号 安。数学。Artif公司。智力。 89,编号3-4,271-299(2021).MSC公司:68层35 第68页,共15页 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Hamdi}等人,《数学年鉴》。Artif公司。智力。89,编号:3-4271-299(2021;兹bl 1518.68379) 全文: 内政部
尼古拉·赞帕纳基;西奥多·帕特科斯;乔治·弗洛里斯;普列克索萨基斯,迪米特里斯 修改事件演算理论以从意外观察中恢复。 (英语) Zbl 1511.68270号 安。数学。Artif公司。智力。 89,编号1-2,209-236(2021).MSC公司:68T27型 03B42号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.Tsanpanaki}等人,《数学年鉴》。Artif公司。智力。89,编号1--2,209--236(2021;Zbl 1511.68270) 全文: 内政部
罗西奥·戈麦斯;莫汉·斯里德哈兰;莱利,希瑟 你真正想做什么?面向人机协作意图理论。 (英语) Zbl 1511.68268号 安。数学。Artif公司。智力。 89,编号1-2,179-208(2021).MSC公司:68T27型 68立方英尺 68层37 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gomez}等人,《数学年鉴》。Artif公司。智力。89,编号1--2,179-208(2021;Zbl 1511.68268) 全文: 内政部 arXiv公司
格拉斯,大卫·H。 竞争性假设和诱因推理。 (英语) Zbl 1511.68281号 安。数学。Artif公司。智力。 89,编号1-2,161-178(2021).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Glass},安.数学。Artif公司。智力。89,第1-2161-178号(2021年;兹bl 1511.68281) 全文: 内政部
努尔汗·埃哈布;Ismail,Haythem O。 \(\mathit{日志}_A\mathbf{G}:一种代数非单调逻辑,用于对分级命题进行推理。 (英语) Zbl 1511.68266号 安。数学。Artif公司。智力。 89,编号1-2,103-158(2021); 更正同上,第89号,第1-2、159(2021)。MSC公司:68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{N.Ehab}和\textit{H.O.Ismail},Ann.Math。Artif公司。智力。89,编号1-2103-158(2021;兹bl 1511.68266) 全文: 内政部
凯罗尔,C。;J.范丁诺。;Fariñas del Cerro,L。;Lagasquie-Schiex,M.-C。 具有递归攻击的论证框架中的有效攻击。 (英语) Zbl 1511.68264号 安。数学。Artif公司。智力。 89,编号1-2,53-101(2021).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Cayrol}等人,《数学年鉴》。Artif公司。智力。89,编号1--2,53-101(2021;Zbl 1511.68264) 全文: 内政部 链接
亚历山大·阿蒂基斯;埃文格洛斯·马克里斯;帕柳拉斯,乔治奥斯 用于活动识别的基于概率间隔的事件演算。 (英语) Zbl 1511.68280号 安。数学。Artif公司。智力。 89,编号1-2,29-52(2021).MSC公司:68层37 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}等人,《数学年鉴》。Artif公司。智力。89,编号1--2,29-52(2021;Zbl 1511.68280) 全文: 内政部
阿拉瓦尼斯·提奥凡尼斯;帕夫洛斯·佩帕斯;玛丽·安妮·威廉姆斯 参数化差分修正算子的研究。 (英语) Zbl 1511.68262号 安。数学。Artif公司。智力。 89,编号1-2,7-28(2021).MSC公司:68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Aravanis}等人,《数学年鉴》。Artif公司。智力。89,编号1--2,7--28(2021;Zbl 1511.68262) 全文: 内政部
费鲁兹·卡马洛夫 广义特征相似性度量。 (英语) Zbl 1462.94021号 安。数学。Artif公司。智力。 88,第9期,987-1002(2020).MSC公司:94甲17 94甲15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamalov},Ann.数学。Artif公司。智力。88,第9号,987--1002(2020;Zbl 1462.94021) 全文: 内政部
亚历克斯·弗里德;拉里·马内维茨(Larry M.Manevitz)。 从复杂的神经生理数据分析认知过程:一些教训。 (英语) 兹比尔1465.62120 安。数学。Artif公司。智力。 88,编号11-12,1125-1153(2020).MSC公司:62H30型 62页第10页 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Frid}和\textit{L.M.Manevitz},安.数学。Artif公司。智力。88,编号11--121125--1153(2020;Zbl 1465.62120) 全文: 内政部
帕斯卡·兰格;Nhan-Tam阮;约尔格·罗特 放弃不可分割商品公平分割的正常化所付出的代价。 (英语) Zbl 1448.91137号 安。数学。Artif公司。智力。 88,第7期,817-832(2020年).MSC公司:91B32型 91B15号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Lange}等人,《数学年鉴》。Artif公司。智力。88,编号7,817--832(2020;Zbl 1448.91137) 全文: 内政部
朱利安·萨沃;朱利安·维昂;Sylvain Piechowiak;勒内,曼迪奥;松井俊弘;平山、胜都;Makoto Yokoo公司;沙克雷·埃尔曼;马吕斯·西拉吉 分布式约束推理中的隐私随机博弈。 (英语) Zbl 1460.68121号 安。数学。Artif公司。智力。 88,第7期,691-715(2020).MSC公司:68T42型 68第27页 68分20秒 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{J.Savaux}等人,《数学年鉴》。Artif公司。智力。88,第7号,691--715(2020;Zbl 1460.68121) 全文: 内政部
阿方索·埃米利奥·杰雷维尼;舒伯特、伦哈特 发现具有条件影响的规划的状态约束迪斯科计划.I.一。 (英语) Zbl 1444.68171号 安。数学。Artif公司。智力。 88,编号5-6,641-686(2020).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Gerevini}和\textit{L.Schubert},安.数学。Artif公司。智力。88,编号5--6,641--686(2020;Zbl 1444.68171) 全文: 内政部
朱塞佩·德贾科莫;尤金妮亚·特诺夫斯卡;雷·赖特 情境演算中的非终结过程。 (英语) 兹比尔1444.68179 安。数学。Artif公司。智力。 88,编号5-6,623-640(2020).MSC公司:68T27型 68N17号 60年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,《数学年鉴》。Artif公司。智力。88,编号5--6623--640(2020;Zbl 1444.68179) 全文: 内政部 链接
佐伊·法洛米尔;阿尔伯特·皮奇;科斯塔,维森特 关于定性形状构图的空间推理。组成定性长度和角度。 (英语) Zbl 1445.68209号 安。数学。Artif公司。智力。 88,编号5-6,589-621(2020).MSC公司:68立方英尺 68T27型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Falomir}等人,《数学年鉴》。Artif公司。智力。88,编号5--6,589--621(2020;Zbl 1445.68209) 全文: 内政部
罗伯托·孔瓦洛尼埃里;奥利弗·库茨 解构下的融合。逻辑、本体和认知在计算概念发明中的作用。 (英语) Zbl 1444.68178号 安。数学。Artif公司。智力。 88,编号5-6,479-516(2020).MSC公司:68T27型 68立方英尺 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{R.Confalonieri}和\textit{O.Kutz},Ann.Math。Artif公司。智力。88,编号5--6,479--516(2020;Zbl 1444.68178) 全文: 内政部
佐伊·法洛米尔;Enric广场 走向创造性理解的模型:使用图像图式和定性空间描述符解构和重建概念融合。 (英语) Zbl 1444.68205号 安。数学。Artif公司。智力。 88,编号5-6,457-477(2020).MSC公司:68立方英尺 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{Z.Falomir}和\textit{E.Plaza},Ann.Math。Artif公司。智力。88,编号5--6,457--477(2020;Zbl 1444.68205) 全文: 内政部 链接
胡安·特泽。;Perelló-Moragues,安东尼;路易斯·戈多;巴勃罗·诺列加 使用价值观的实践推理:基于价值层次的论证方法。 (英语) Zbl 1441.91024号 安。数学。Artif公司。智力。 87,第3期,293-319(2019). 审核人:Annibal Parracho Sant’Anna(里约热内卢) MSC公司:91B06型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.L.Teze}等人,《数学年鉴》。Artif公司。智力。87,第3号,293--319(2019;Zbl 1441.91024) 全文: 内政部
Guerra,Paulo T。;雷娜塔·瓦瑟曼 模型修复的两个AGM风格特征。 (英语) Zbl 1477.03039号 安。数学。Artif公司。智力。 87,第3期,233-257(2019).MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Guerra}和\textit{R.Wassermann},Ann.数学。Artif公司。智力。87,第3号,233--257(2019;Zbl 1477.03039) 全文: 内政部
奥费尔·阿列利;安娜玛丽·博格;杰西·海宁克 回顾逻辑论证与最大一致性推理之间的关系。 (英语) Zbl 1474.68333号 安。数学。Artif公司。智力。 87,第3期,187-226(2019).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}等人,《数学年鉴》。Artif公司。智力。87,第3号,187--226(2019;Zbl 1474.68333) 全文: 内政部
卡塔琳娜·布里茨;伊万·瓦尔津扎克 defeasible\(\mathcal{ALC}\)的上下文有理闭包。 (英语) Zbl 1452.68180号 安。数学。Artif公司。智力。 87,编号1-2,83-108(2019).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Britz}和\textit{I.Varzinczak},安.数学。Artif公司。智力。87,编号1--2,83-108(2019;Zbl 1452.68180) 全文: 内政部
约阿希姆·比斯库普;马赛尔·普鲁 检查属性不相交和重复保持碎片的推理证明。 (英语) Zbl 1452.68063号 安。数学。Artif公司。智力。 87,编号1-2,43-82(2019).MSC公司:第68页,共15页 68层35 PDF格式BibTeX公司 XML格式引用 \textit{J.Biskup}和\textit{M.Preuß},Ann.数学。Artif公司。智力。87,编号1--2,43-82(2019;Zbl 1452.68063) 全文: 内政部
克里斯托夫·贝尔;史蒂文·库奇;凯·索尔瓦尔德 编译用于计算诱导非单调推理关系的静态和演化条件知识库。 (英语) Zbl 1452.68179号 安。数学。Artif公司。智力。 87,第1-2号,第5-41号(2019年).MSC公司:68T27型 68立方英尺 68层35 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}等人,《数学年鉴》。Artif公司。智力。87,编号1--2,5--41(2019;Zbl 1452.68179) 全文: 内政部
诺亚·艾德尔斯坦;利奥尔·阿伦什塔姆;艾登·艾德尔斯坦;塔玛·什罗特 控制次级锦标赛:容易还是困难的问题?理论分析与实践分析。 (英语) Zbl 1493.68159号 安。数学。Artif公司。智力。 86,第4期,257-268(2019).MSC公司:65年第68季度 05C20号 65二氧化碳 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Eidelstein}等人,《数学年鉴》。Artif公司。智力。86,第4号,257--268(2019;Zbl 1493.68159) 全文: 内政部
比亚·埃克、乌卡斯;巴巴拉·杜宁·科普里茨;斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 在信息复杂的环境中采取行动的次一致性方法。 (英语) 兹比尔1471.03058 安。数学。Artif公司。智力。 86,第4号,231-255(2019). 审核人:玛丽·杜日伊(俄斯特拉发) MSC公司:03B53号 03B42号 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Białek}等人,《数学年鉴》。Artif公司。智力。86,第4号,231--255(2019;Zbl 1471.03058) 全文: 内政部
叶夫根尼·巴莱;迈克尔·盖尔芬德;张元林 P-log:精化和一个新的相干条件。 (英语) Zbl 1485.68247号 安。数学。Artif公司。智力。 86,编号1-3,149-192(2019).MSC公司:68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Balai}等人,《数学年鉴》。Artif公司。智力。86,编号1--3,149-192(2019;Zbl 1485.68247) 全文: 内政部
约翰·费希特。;马丁·克罗内格;斯特凡·沃尔特兰 答案集编程的多参数视图。 (英语) Zbl 1420.68030号 安。数学。Artif公司。智力。 86,编号1-3,121-147(2019).MSC公司:68N17号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人,《数学年鉴》。Artif公司。智力。86,编号1--3,121-147(2019;Zbl 1420.68030) 全文: 内政部
佩德罗·卡巴拉尔;斯特凡妮娅·科斯坦蒂尼;乔瓦尼·德·加斯佩里斯;安德烈亚·福米萨诺 动态环境中的多控制系统。 (英语) Zbl 1485.68246号 安。数学。Artif公司。智力。 86,编号1-3,87-120(2019).MSC公司:68T27型 68立方英尺 68层35 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《数学年鉴》。Artif公司。智力。86,编号1--3,87-120(2019;Zbl 1485.68246) 全文: 内政部 arXiv公司
帕特里克·托尔·卡尔;安东尼·勒克莱尔(Anthony P.Leclerc)。;Tran,儿子Cao 并行内存效率高的认知逻辑程序求解器:更难、更好、更快。 (英语) Zbl 1485.68036号 安。数学。Artif公司。智力。 86,编号1-3,61-85(2019).MSC公司:68N17号 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Kahl}等人,《数学年鉴》。Artif公司。智力。86,编号1-3,61-85(2019;兹bl 1485.68036) 全文: 内政部 arXiv公司
马蒂亚斯·范德哈伦;谢尔盖·帕拉莫诺夫;杰尔达·詹森斯;马克·德内克 图挖掘的知识表示分析。 (英语) Zbl 1485.68248号 安。数学。Artif公司。智力。 86,编号1-3,21-60(2019).MSC公司:68立方英尺 68N17号 68兰特 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.van der Hallen}等人,《数学年鉴》。Artif公司。智力。86,编号1--3,21-60(2019;Zbl 1485.68248) 全文: 内政部 arXiv公司
约翰·马考斯基(Johann A.Makowsky)。 可以设计几何引擎吗?可以设计一个几何引擎吗?关于某些仿射欧几里德几何的(不)可判定性。 (英语) Zbl 1439.03033号 安。数学。Artif公司。智力。 85,编号2-4,259-291(2019). 审核人:维克托·潘布奇(格伦代尔) MSC公司:03B25号 03天35分 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky},Ann,数学。Artif公司。智力。85,编号2--4,259--291(2019;Zbl 1439.03033) 全文: 内政部 arXiv公司
迈克尔·比森;朱利安·纳布克斯;弗里克·威迪杰克 校对欧几里德。 (英语) Zbl 07055783号 安。数学。Artif公司。智力。 85,编号2-4,213-257(2019).MSC公司:03B30型 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人,Ann.数学。Artif公司。智力。85,编号2--4,213--257(2019;Zbl 07055783) 全文: 内政部 arXiv公司
Jean-Philippe Pernot;多米尼克·米歇尔鲁奇;丹尼尔,马克;塞布蒂·福福 在产品设计过程中更好地集成建模器和黑盒约束求解器。 (英语) Zbl 1421.68154号 安。数学。Artif公司。智力。 85,编号2-4,147-173(2019).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Pernot}等人,《数学年鉴》。Artif公司。智力。85,编号2--4,147-173(2019;Zbl 1421.68154) 全文: 内政部 哈尔
姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇,普雷德拉格 几何投资组合定理证明和证明程序运行时预测。 (英语) Zbl 1431.68123号 安。数学。Artif公司。智力。 85,编号2-4,119-146(2019).MSC公司:68伏15 2004年5月51日 68T05型 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{M.Nikolić}等人,Ann.Math。Artif公司。智力。85,编号2--4,119-146(2019;Zbl 1431.68123) 全文: 内政部
萨提亚纳特·巴特;什韦塔·贾恩;苏吉特·古杰尔;Y.纳拉哈里。 用于多单位采购的最优二维多武装土匪拍卖。 (英语) Zbl 1419.91311号 安。数学。Artif公司。智力。 85,第1期,第1-19页(2019年).MSC公司:91B26型 91B69型 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhat}等人,《数学年鉴》。Artif公司。智力。85,第1号,1-19(2019;Zbl 1419.91311) 全文: 内政部 arXiv公司
S.、Sreelekha 具有不确定性的神经符号整合。 (英语) Zbl 1443.68185号 安。数学。Artif公司。智力。 84,编号3-4,201-220(2018).MSC公司:68层37 68层35 PDF格式BibTeX公司 XML格式引用 \textit{S.S.},安.数学。Artif公司。智力。84,编号3--4,201-220(2018;Zbl 1443.68185) 全文: 内政部
林,左权;陈,陈 默认推理的受限语义。 (英语) Zbl 1443.68179号 安。数学。Artif公司。智力。 84,编号3-4,185-200(2018).MSC公司:68T27型 03B50号 03B53号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lin}和\textit{C.Chen},Ann.Math。Artif公司。智力。84,编号3--4,185-200(2018;Zbl 1443.68179) 全文: 内政部
艾奥尼斯·科基尼 非迭代和迭代概率逻辑中可满足性的复杂性。 (英语) Zbl 1459.03027号 安。数学。Artif公司。智力。 83,编号3-4,351-382(2018).MSC公司:03B48号 03B42号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{I.Kokkinis},Ann.Math。Artif公司。智力。83,编号3--4,351--382(2018;Zbl 1459.03027) 全文: 内政部 arXiv公司
克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 条件知识库的怀疑c-推理的性质及其作为约束满足问题的实现。 (英语) Zbl 1448.68397号 安。数学。Artif公司。智力。 83,编号3-4,247-275(2018).MSC公司:68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.Beierle}等人,《数学年鉴》。Artif公司。智力。83,No.3--4,247--275(2018;Zbl 1448.68397) 全文: 内政部
路易斯·克鲁兹·菲利佩;格拉萨加斯帕尔;伊莎贝尔·努斯;彼得·施奈德·坎普 通用知识库的主动完整性约束。 (英语) Zbl 1459.68198号 安。数学。Artif公司。智力。 83,编号3-4,213-246(2018).MSC公司:68立方英尺 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,《数学年鉴》。Artif公司。智力。83,编号3-4-213-246(2018;兹bl 1459.68198) 全文: 内政部
里卡多·泽斯;埃琳娜·贝洛迪;法布里西奥·里古齐;朱塞佩·科塔;伊芙琳娜·拉姆 描述逻辑的表推理及其对概率的扩展。 (英语) 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) 全文: 内政部 链接
罗伯托·孔瓦洛尼埃里;曼弗雷德·埃普;马尔科·舍勒默;奥利弗·库茨;拉斐尔·佩尼亚洛萨;Enric广场 描述逻辑中概念混合的向上细化运算符\(\mathcal{EL}^{+}\)。 (英语) 兹比尔1398.68501 安。数学。Artif公司。智力。 82,编号1-3,69-99(2018).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Confalonieri}等人,《数学年鉴》。Artif公司。智力。82,编号1--3,69-99(2018;Zbl 1398.68501) 全文: 内政部
克里斯蒂安·迪古西尼。;马丁内斯(M.Vanina Martinez);马塞洛·法拉帕。;吉列尔莫·西马里。 不连贯如何影响Datalog\(^\pm\)的不一致容忍语义? (英语) Zbl 1398.68502号 安。数学。Artif公司。智力。 82,编号1-3,43-68(2018).MSC公司:68T27型 68N17号 第68页,共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.A.D.Deagusini}等人,《数学年鉴》。Artif公司。智力。82,编号1--3,43-68(2018;Zbl 1398.68502) 全文: 内政部
Jean-François巴杰;劳伦特·加西亚;法比安·加罗;克莱尔·莱夫雷;天鹅·罗彻;伊戈尔·斯特芬 在答案集编程中引入存在变量,在存在规则中引入非单调性:同一硬币的两面。 (英语) Zbl 1398.68500元 安。数学。Artif公司。智力。 82,编号1-3,3-41(2018).MSC公司:68T27型 68N17号 第68页,共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Baget}等人,《数学年鉴》。Artif公司。智力。82,编号1--3,3--41(2018;Zbl 1398.68500) 全文: 内政部 链接
伊曼·兹吉迪;赫尼奇,卜拉欣;阿卜杜勒瓦赫布·雷拜 引入无限机会约束的统计一致性。 (英语) Zbl 1395.62064号 安。数学。Artif公司。智力。 83,第2期,165-181(2018).MSC公司:62英尺25英寸 68分20秒 90立方厘米15 PDF格式BibTeX公司 XML格式引用 \textit{I.Zghidi}等人,Ann.Math。Artif公司。智力。83,第2号,165--181(2018;Zbl 1395.62064) 全文: 内政部
奥夫里·基达尔;诺亚·阿格蒙 在对抗环境中安全导航。 (英语) Zbl 1448.68434号 安。数学。Artif公司。智力。 83,第2期,121-164(2018).MSC公司:68T40型 91A24型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Keidar}和\textit{N.Agmon},安.数学。Artif公司。智力。83,第2号,121--164(2018;Zbl 1448.68434) 全文: 内政部
丹尼尔·贝伦德;Amnon Meisels公司;Peri,或 DCOP的概率最优解评估。 (英语) Zbl 1405.90058号 安。数学。Artif公司。智力。 83,第1期,99-119(2018).MSC公司:90 C59 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}等人,Ann.Math。Artif公司。智力。83,第1号,99-119(2018;Zbl 1405.90058) 全文: 内政部
雷吉斯·里维雷特;彼得罗·巴罗尼;高,杨;圭多州长;安东尼诺·罗托洛;乔瓦尼·萨托 概率论证的标记框架。 (英语) Zbl 1459.68197号 安。数学。Artif公司。智力。 83,编号1,21-71(2018).MSC公司:68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Riveret}等人,《数学年鉴》。Artif公司。智力。83,编号1,21--71(2018;Zbl 1459.68197) 全文: 内政部 arXiv公司 链接
瓦法Jguirim;Wady Naanaa;马丁·库珀。 二进制CSP的多项式关系类。 (英语) Zbl 1484.68071号 安。数学。Artif公司。智力。 83,第1号,1-20(2018).MSC公司:65年第68季度 68年第27季度 2007年4月68日 PDF格式BibTeX公司 XML格式引用 \textit{W.Jguirim}等人,《数学年鉴》。Artif公司。智力。83,编号1,1--20(2018;Zbl 1484.68071) 全文: 内政部 链接
普雷斯特维奇,S.D。;塔里木,南美。;I·奥兹坎。 一种新的因果发现启发式方法。 (英语) Zbl 1395.68239号 安。数学。Artif公司。智力。 82,第4期,245-259(2018).MSC公司:68T05型 62A01型 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Prestwich}等人,《数学年鉴》。Artif公司。智力。82,第4号,245--259(2018;Zbl 1395.68239) 全文: 内政部
辛西娅·莫沙根;约尔格·罗特 通过划分否决权选举进行控制的复杂性,以及通过在多数选举中增加候选人进行控制的复杂性。 (英语) Zbl 1404.91082号 安。数学。Artif公司。智力。 82,第4期,219-244(2018).MSC公司:91B12号机组 91B14号机组 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Maushagen}和\textit{J.Rothe},Ann.数学。Artif公司。智力。82,第4号,219--244(2018;Zbl 1404.91082) 全文: 内政部
伊格纳西奥·蒙特斯;塞巴斯蒂安·德斯特克 关于p-盒的极点和信念函数。 (英语) Zbl 1377.60011号 安。数学。Artif公司。智力。 81,编号3-4,405-428(2017).MSC公司:60A10英寸 60A86型 60摄氏度05 PDF格式BibTeX公司 XML格式引用 \textit{I.Montes}和\textit{S.Destercke},Ann。数学。Artif公司。智力。81,编号3--4,405--428(2017;Zbl 1377.60011) 全文: 内政部 哈尔
Hiromi Narimatsu;Hiroyuki Kasai 用于序列数据分析的隐半马尔可夫模型中的状态持续时间和区间建模。 (英语) Zbl 1423.68387号 安。数学。Artif公司。智力。 81、第3-4、377-403号(2017).MSC公司:68T05型 2005年6月2日 PDF格式BibTeX公司 XML格式引用 \textit{H.Narimatsu}和\textit{H.Kasai},Ann.数学。Artif公司。智力。81,编号3--4,377--403(2017;Zbl 1423.68387) 全文: 内政部 arXiv公司
帕维尔,苏里内克 基于时间扩展图的命题编码,用于实现合作路径查找问题的跨越最优解。 (英语) Zbl 1423.68474号 安。数学。Artif公司。智力。 81,编号3-4,329-375(2017).MSC公司:68分20秒 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Surynek},Ann.数学。Artif公司。智力。81,编号3--4,329--375(2017;Zbl 1423.68474) 全文: 内政部
拉森,C.E。;Van Cleemput,北卡罗来纳州。 自动推测。III.属性关系推测。 (英语) Zbl 1379.68275号 安。数学。Artif公司。智力。 81,编号3-4,315-327(2017).MSC公司:68吨15 05C45号 05C69号 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Larson}和\textit{N.Van Cleemput},安.数学。Artif公司。智力。81,编号3--4,315--327(2017;Zbl 1379.68275) 全文: 内政部
马努埃勒·莱昂内利;伊娃·里科马尼奥;吉姆·Q·史密斯。 用于计算乘法影响图中预期效用的符号代数。 (英语) Zbl 1423.68508号 安。数学。Artif公司。智力。 81,编号3-4,273-313(2017).MSC公司:68层37 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Leonelli}等人,《数学年鉴》。Artif公司。智力。81,编号3--4,273--313(2017;Zbl 1423.68508) 全文: 内政部 arXiv公司
孔树峰;李三江;李永明;龙志国 关于树保留约束。 (英语) Zbl 1423.68456号 安。数学。Artif公司。智力。 81,编号3-4,241-271(2017).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{S.Kong}等人,Ann.数学。Artif公司。智力。81,编号3--4,241--271(2017;Zbl 1423.68456) 全文: 内政部 链接
阿尔贝托·贝鲁西;萨拉·米利奥里尼 管理考古数据的时空框架。(管理考古数据的时空框架。) (英语) Zbl 1419.68046号 安。数学。Artif公司。智力。 80,编号3-4,175-218(2017).MSC公司:第68页,共15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Belussi}和\textit{S.Migliorini},Ann.数学。Artif公司。智力。80,编号3--4,175-218(2017;Zbl 1419.68046) 全文: 内政部
贝拉伊德·本哈穆 项集挖掘中的局部和全局对称破缺。 (英语) Zbl 1409.68267号 安。数学。Artif公司。智力。 80,编号1,91-112(2017).MSC公司:68分20秒 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Benhamou},Ann.数学。Artif公司。智力。80,第1号,91-112(2017;Zbl 1409.68267) 全文: 内政部
埃格利,乌韦;马丁·克罗内格;弗洛里安·朗辛;安德烈亚斯·普范德勒 一致性规划作为增量QBF求解的案例研究。 (英语) Zbl 1409.68253号 安。数学。Artif公司。智力。 80,第1号,21-45(2017).MSC公司:68吨15 68分20秒 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{U.Egly}等人,《数学年鉴》。Artif公司。智力。80、第1号、第21-45号(2017;Zbl 1409.68253) 全文: 内政部
利奥尔·阿伦什塔姆;哈瓦泽莱特·科恩;塔玛·什罗特 网球操纵:我们能帮助小威廉姆斯赢得另一场比赛吗?或者我们能以合理的复杂性控制淘汰赛吗? (英语) Zbl 1409.68131号 安。数学。Artif公司。智力。 80,第2期,153-169(2017).MSC公司:65年第68季度 2017年第68季度 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Aronshtam}等人,Ann.Math。Artif公司。智力。80,第2号,153--169(2017;Zbl 1409.68131) 全文: 内政部
米科·劳里;爱诺州罗本恩;里斯托·里塔拉 满足截止期:随机有向无环图上的最短路径和信息收集。 (英语) 兹比尔1375.90301 安。数学。Artif公司。智力。 79,第4号,337-370(2017).MSC公司:90立方厘米 90立方厘米40 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{M.Lauri}等人,Ann.数学。Artif公司。智力。79,第4号,337--370(2017;Zbl 1375.90301) 全文: 内政部