×

找到416个文档（结果1-100）

最新的 引文 关联
玛丽埃拉·莫维利·埃斯皮诺扎;胡安·卡洛斯·尼维斯;塞萨尔·奥古斯托·塔卡拉

概率因果两极抽象论证：一种基于信任网络的方法。 （英语） 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 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）
全文： 内政部
杰西·海因尼克;加布里埃尔·克恩·伊斯伯纳;马蒂亚斯·蒂姆;肯尼斯·斯基巴

抽象辩证框架与非单调条件逻辑的对应。 （英语） 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）
全文： 内政部
加森·哈姆迪;穆罕默德·纳齐赫·奥姆里;塞勒姆·本费哈特;扎伊德·布劳伊;奥德尔·帕皮尼

从隐藏数据集查询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）
全文： 内政部
努尔汗·埃哈布;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）
全文： 内政部
朱利安·萨沃;朱利安·维昂;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）
全文： 内政部
胡安·特泽。;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）
全文： 内政部
诺亚·艾德尔斯坦;利奥尔·阿伦什塔姆;艾登·艾德尔斯坦;塔玛·什罗特

控制次级锦标赛：容易还是困难的问题？理论分析与实践分析。 （英语） 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）
全文： 内政部
佩德罗·卡巴拉尔;斯特凡妮娅·科斯坦蒂尼;乔瓦尼·德·加斯佩里斯;安德烈亚·福米萨诺

动态环境中的多控制系统。 （英语） 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公司
约翰·马考斯基（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 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）
全文： 内政部
克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇

条件知识库的怀疑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）
全文： 内政部
罗伯托·孔瓦洛尼埃里;曼弗雷德·埃普;马尔科·舍勒默;奥利弗·库茨;拉斐尔·佩尼亚洛萨;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 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）
全文： 内政部
利奥尔·阿伦什塔姆;哈瓦泽莱特·科恩;塔玛·什罗特

网球操纵：我们能帮助小威廉姆斯赢得另一场比赛吗？或者我们能以合理的复杂性控制淘汰赛吗？ （英语） 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）
全文： 内政部

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件