玛丽安·费尔南德斯·德·塞维利亚;拉斐尔·马格达莱纳·本尼迪克托;索尼娅·佩雷斯·迪亚斯 广义渐近线计算的符号算法的设计与实现。 (英语) Zbl 1525.14071号 安。数学。Artif公司。智力。 91,第4期,537-561(2023). 审核人:卢卡·朱齐(布雷西亚) MSC公司:2005年第14季度 51号35 70G55型 94年2月27日 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández de Sevilla}等人,《数学年鉴》。Artif公司。智力。91,第4号,537--561(2023;Zbl 1525.14071) 全文: DOI程序 OA许可证
玛丽埃拉·莫维利·埃斯皮诺扎;胡安·卡洛斯·尼维斯;塞萨尔·奥古斯托·塔卡拉 概率因果两极抽象论证:一种基于可信度网络的方法。 (英语) Zbl 07730287号 安。数学。Artif公司。智力。 91,第4号,517-536(2023).MSC公司:68层37 68立方英尺 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Morveli-Espinoza}等人,《数学年鉴》。Artif公司。智力。91,编号4,517--536(2023;Zbl 07730287) 全文: DOI程序 OA许可证
阿拉瓦尼斯·提奥凡尼斯 演绎信念改变。 (英语) 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) 全文: DOI程序
乔瓦尼·博基;斯特凡诺·博特吉;玛蒂娜·布拉西尼;帕特里齐奥·弗罗西尼;尼古拉·奎西奥利 线性群等变算子的有限表示。 (英语) Zbl 07730285号 安。数学。Artif公司。智力。 91,第4期,465-487(2023年).MSC公司:55纳米31 68T09号 15B51号 20立方厘米 47B38码 62R40型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{G.Bocchi}等人,《数学年鉴》。Artif公司。智力。91,编号4,465--487(2023;Zbl 07730285) 全文: DOI程序 OA许可证
范登伯格,Line;曼努埃尔·阿滕西亚;尤泽纳特,杰罗姆 提高认识而不披露真相。 (英语) 兹伯利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) 全文: DOI程序 哈尔
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 理性验证的复杂性。 (英语) Zbl 07730283号 安。数学。Artif公司。智力。 91,第4号,409-430(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《数学年鉴》。Artif公司。智力。91,编号4,409--430(2023;Zbl 07730283) 全文: DOI程序 arXiv公司 OA许可证
熊、左军;托马斯·奥戈特内斯 秘密的逻辑和插值规则。 (英语) Zbl 07730282号 安。数学。Artif公司。智力。 91,第4号,375-407(2023).MSC公司:03B42型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xiong}和\textit{T.奥戈特斯},安.数学。Artif公司。智力。91,编号4,375--407(2023;Zbl 07730282) 全文: DOI程序
巴斯蒂安·莫伯特(编辑);阿尼埃洛·穆拉诺(编辑);萨沙·鲁宾(编辑) 多智能体系统的逻辑方面。 (英语) Zbl 1522.00196号 安。数学。Artif公司。智力。 91,第4期,373-374(2023).MSC公司:00时25分 68-06 PDF格式BibTeX公司 XML格式引用 \textit{B.Maubert}(编辑)等人,《数学年鉴》。Artif公司。智力。91,编号4,373--374(2023;Zbl 1522.00196) 全文: DOI程序