川本优助;佐藤，铁杉;Kohei Suenaga公司 可靠且相对完整的信念——统计假设测试程序的霍尔逻辑。 （英语） Zbl 07803984号 Artif公司。智力。 326，文章ID 104045，33 p.（2024）.MSC公司：68T27型 03B42号 03B70号 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawamoto}等人，Artif。智力。326，文章ID 104045，33 p.（2024；Zbl 07803984） 全文： 内政部 arXiv公司
帕特里克·多尔蒂;斯扎·阿斯、安德烈吉 弱充分必要条件和强必要条件下的对偶遗忘算子。 （英语） Zbl 07803982号 Artif公司。智力。 326，文章ID 104036，18 p.（2024）.MSC公司：68立方英尺 03C10号机组 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Doherty}和\textit{A.Szałas}，Artif。智力。326，文章ID 104036，第18页（2024；Zbl 07803982） 全文： 内政部 arXiv公司
安德烈斯·奥奇芬蒂·利伯曼;安德烈亚斯·阿琴;伦茨维格，拉斯穆斯·克雷默 勘误表：“一阶认知规划的动态术语模式逻辑”。 （英语） Zbl 1521.68216号 Artif公司。智力。 323，文章ID 103969，4 p.（2023）.MSC公司：68T27型 03B42号 03B45号 68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.O.Liberman}等人，Artif。智力。323，文章ID 103969，4 p.（2023；Zbl 1521.68216） 全文： 内政部
安东尼·亨特;尼科·波提卡 演绎论证中带条件概率的句法推理。 （英语） Zbl 1524.68357号 Artif公司。智力。 321，文章ID 103934，34 p.（2023）.MSC公司：68T27型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.Hunter}和\textit{N.Potyka}，阿蒂夫。智力。321，文章ID 103934，34 p.（2023；Zbl 1524.68357） 全文： 内政部
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾;弗洛里安·祖勒格 在部分已知环境中验证代理导航。 （英语） Zbl 1495.68234号 Artif公司。智力。 308，文章ID 103724，34 p.（2022）.MSC公司：68T42型 03B44号 65年第68季度 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人，Artif。智力。308，文章ID 103724，34 p.（2022；Zbl 1495.68234） 全文： 内政部
控制台，Marco;保罗·瓜利亚多;利奥尼德·利金 不完全信息的命题逻辑和谓词逻辑。 （英语） Zbl 1478.68074号 Artif公司。智力。 302，文章ID 103603，28 p.（2022）.MSC公司：第68页，共15页 03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Console}等人，Artif。智力。302，文章ID 103603，28 p.（2022；Zbl 1478.68074） 全文： 内政部 链接
埃米尔·范·克里肯;埃曼·阿克;范·哈梅伦，弗兰克 分析可微模糊逻辑算子。 （英语） Zbl 1490.68233号 Artif公司。智力。 302，文章ID 103602，46 p.（2022）. 审核人：Antonín Dvořák（俄斯特拉发） MSC公司：68层37 03B52号 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.van Krieken}等人，Artif。智力。302，文章ID 103602，46页（2022；兹bl 1490.68233） 全文： 内政部 arXiv公司
万，海;方碧青;刘永梅 基于高阶信念变化的通用多智能体认知规划器。 （英语） Zbl 1486.68186号 Artif公司。智力。 301，文章ID 103562，33 p.（2021）.MSC公司：68T27型 03B42号 68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{H.Wan}等人，Artif。智力。301，文章ID 103562，33 p.（2021；Zbl 1486.68186） 全文： 内政部 arXiv公司
弗朗西斯科·贝拉迪内利;斯特凡·德姆里 有限资源的战略推理：对可驾驭性的追求。 （英语） Zbl 1520.68183号 Artif公司。智力。 300，文章ID 103557，35 p.（2021）.MSC公司：68T27型 03B44号 第68季度25 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{S.Demri}，Artif。智力。300，文章ID 103557，35 p.（2021；Zbl 1520.68183） 全文： 内政部 哈尔
玛丽亚·路易莎·博内;萨姆·巴斯;阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;若昂·西尔瓦侯爵 基于最大可满足性的命题证明系统。 （英语） Zbl 1520.68103号 Artif公司。智力。 300，文章ID 103552，39 p.（2021）.MSC公司：68兰特 20层03 第68季度25 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bonet}等人，Artif。智力。300，文章ID 103552，39 p.（2021；Zbl 1520.68103） 全文： 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 线性时态逻辑中本体论中介查询的一阶可重写性。 （英语） Zbl 1520.68182号 Artif公司。智力。 299，文章ID 103536，30 p.（2021）.MSC公司：68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，Artif。智力。299，文章ID 103536，30 p.（2021；Zbl 1520.68182） 全文： 内政部 arXiv公司
丹尼尔·蒙迪奇 确定Koopman的定性概率。 （英语） Zbl 07418682号 Artif公司。智力。 299，文章ID 103524，18 p.（2021）.MSC公司：03B48号 60A05型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \文本{D.Mundici}，Artif。智力。299，文章ID 103524，18 p.（2021；Zbl 07418682） 全文： 内政部
乔瓦尼·阿蒙多拉;卡明·多达罗;沃尔夫冈·费伯;弗朗西斯科·里卡 准相干答案集计算。 （英语） Zbl 1520.68180号 Artif公司。智力。 299，文章ID 103519，31 p.（2021）.MSC公司：68T27型 03B53号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛G.Amendola｝等人，人工制品。智力。299，文章ID 103519，31 p.（2021；Zbl 1520.68180） 全文： 内政部
马丁·库珀。;安德烈亚斯·赫齐格;福斯汀·马弗尔;弗雷德里克·马里斯;Elise佩罗汀;Régnier，皮埃尔 轻量级认知逻辑及其在规划中的应用。 （英语） Zbl 1520.68184号 Artif公司。智力。 298，文章ID 103437，32 p.（2021）.MSC公司：68T27型 03B42号 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人，Artif。智力。298，文章ID 103437，32 p.（2021；Zbl 1520.68184） 全文： 内政部 哈尔
托尔斯滕·恩格斯;罗伯特·马特米勒;伯恩哈德·内贝尔;迈克尔·泰尔舍尔 游戏描述语言与动态认知逻辑的比较。 （英语） Zbl 1519.68248号 Artif公司。智力。 292，文章ID 103433，22 p.（2021）.MSC公司：68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{T.Engesser}等人，Artif。智力。292，文章ID 103433，22 p.（2021；Zbl 1519.68248） 全文： 内政部
李彦军;王燕京 基于计划的专业知识：统一方法。 （英语） Zbl 1519.68255号 Artif公司。智力。 296，文章ID 103487，30 p.（2021）.MSC公司：68T27型 03B42号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{Y.Wang}，Artif。智力。296，文章ID 103487，30 p.（2021；Zbl 1519.68255） 全文： 内政部
阿曼·伊南茨;尤泽纳特，杰罗姆 那么，什么是定性演算？ （英语） Zbl 1504.68211号 Artif公司。智力。 289，文章ID 103385，14 p.（2020）.MSC公司：68T27型 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{A.Inants}和\textit{J.Euzenat}，Artif。智力。289，文章ID 103385，14 p.（2020；Zbl 1504.68211） 全文： 内政部
李建文;浦、葛光;张月玲;莫舍·瓦尔迪。;Kristin Y.罗齐尔。 基于SAT的显式\（\mathsf{LTL}_f\)满意度检查。 （英语） Zbl 1504.68205号 Artif公司。智力。 289，文章ID 103369，第19页（2020）.MSC公司：68T20型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，Artif。智力。289，文章ID 103369，19 p.（2020；Zbl 1504.68205） 全文： 内政部 arXiv公司
达萨罗，法比奥·奥雷里奥;安东尼斯·比卡基斯;卢克·狄更斯;罗布·米勒 认知行为叙事的概率推理。 （英语） Zbl 1493.68344号 Artif公司。智力。 287，文章ID 103352，47 p.（2020）.MSC公司：68T27型 03B42号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{F.A.D'Asaro}等人，Artif。智力。287，文章ID 103352，47 p.（2020；Zbl 1493.68344） 全文： 内政部 链接
克里斯托夫·本兹穆勒;家长，Xavier;范德托雷、伦德特 为伦理和法律推理设计规范理论：LogiKEy公司框架、方法和工具支持。 （英语） Zbl 1493.68286号 Artif公司。智力。 287，文章ID 103348，28 p.（2020）.MSC公司：68T01型 03A05号 03B16号 03B35型 03B45号 68T27型 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人，Artif。智力。287，文章ID 103348，28 p.（2020；Zbl 1493.68286） 全文： 内政部 arXiv公司
托马斯·博兰德;特里斯坦·查里尔;苏菲·平奇纳特;弗朗索瓦州施瓦岑特鲁伯 基于DEL的认知规划：可判定性和复杂性。 （英语） Zbl 1493.68359号 Artif公司。智力。 287，文章ID 103304，35 p.（2020）.MSC公司：68T42型 03B42号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}等人，Artif。智力。287，文章ID 103304，第35页（2020；兹bl 1493.68359） 全文： 内政部 链接
托马索·弗拉米尼奥;路易斯·戈多;海克尔·霍斯尼 条件、概率和逻辑的布尔代数。 （英语） Zbl 1493.68349号 Artif公司。智力。 286，文章ID 103347，第35页（2020）.MSC公司：68立方英尺 03B48号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Flaminio}等人，Artif。智力。286，文章ID 103347，第35页（2020；兹bl 1493.68349） 全文： 内政部 arXiv公司
马库斯·乌布利希特;马蒂亚斯·蒂姆;格哈德·布鲁卡 处理和测量非单调逻辑中的不一致性。 （英语） Zbl 1493.68345号 Artif公司。智力。 286，文章ID 103344，53 p.（2020）.MSC公司：68T27型 03B60 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Ulbricht}等人，Artif。智力。286，文章ID 103344，53 p.（2020；Zbl 1493.68345） 全文： 内政部
汉斯·范·迪特马什;范德霍克，威比;Louwe B.Kuijer。 流言蜚语的逻辑。 （英语） Zbl 1493.68346号 Artif公司。智力。 286，文章ID 103306，26 p.（2020）.MSC公司：68T27型 03B42号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，Artif。智力。286，文章ID 103306，26 p.（2020；Zbl 1493.68346） 全文： 内政部 哈尔
安德烈斯·奥奇宾蒂·利伯曼;安德烈亚斯·阿琴;Rasmus Krmmer Rendsvig 一阶认知规划的动态模态逻辑。 （英语） Zbl 1471.68274号 Artif公司。智力。 286，文章ID 103305，32 p.（2020）; 勘误表同上，323，文章ID 103969，第4页（2023）。MSC公司：68T27型 03B42号 03B45号 68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Occhipinti Liberman}等人，Artif。智力。286，文章ID 103305，32页（2020；Zbl 1471.68274） 全文： 内政部 arXiv公司
理查德·布斯;杰克·钱德勒 关于加强迭代信念修正的逻辑：适当的序数区间算子。 （英语） Zbl 1461.03018号 Artif公司。智力。 285，文章ID 103289，30 p.（2020）.MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{R.Booth}和\textit{J.Chandler}，Artif。智力。285，文章ID 103289，30 p.（2020；Zbl 1461.03018） 全文： 内政部 arXiv公司 链接
曹睿;帕维尔·瑙莫夫 知道成功的代价。 （英语） Zbl 1451.68291号 Artif公司。智力。 284，文章ID 103287，14 p.（2020）.MSC公司：68T42型 03B42号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cao}和\textit{P.Naumov}，Artif。智力。284，文章ID 103287，14 p.（2020；Zbl 1451.68291） 全文： 内政部
马克·范泽;道德，德拉甘;范德托雷、伦德特;迈赫迪·达斯塔尼;托马斯·伊卡德;埃里克·帕奎特 意图是对时间的承诺。 （英语） Zbl 1435.03038号 Artif公司。智力。 283，文章ID 103270，31 p.（2020）.MSC公司：03B42号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.van Zee}等人，Artif。智力。283，文章ID 103270，31 p.（2020；Zbl 1435.03038） 全文： 内政部 arXiv公司
帕维尔·瑙莫夫;陶，贾 应受责备的认知逻辑。 （英语） Zbl 1435.03037号 Artif公司。智力。 283，文章ID 103269，24 p.（2020）.MSC公司：03B42号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao}，Artif。智力。283，文章ID 103269，24 p.（2020；Zbl 1435.03037） 全文： 内政部 链接
苏·埃兹吉·伊拉兹;路易斯·法利尼亚斯·德尔·塞罗;安德烈亚斯·赫齐格 自认知均衡逻辑和认知规范。 （英语） Zbl 1432.68453号 Artif公司。智力。 282，文章ID 103249，23 p.（2020）.MSC公司：68T27型 03B42号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.I.Su}等人，Artif。智力。282，文章ID 103249，23 p.（2020；Zbl 1432.68453） 全文： 内政部 链接
埃米利亚诺·洛里尼 用信念基础重新思考认知逻辑。 （英语） Zbl 1435.03036号 Artif公司。智力。 282，文章ID 103233，38 p.（2020）.MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \文本{E.Lorini}，Artif。智力。282，文章ID 103233，38 p.（2020；Zbl 1435.03036） 全文： 内政部 arXiv公司
Jean-Marie拉格尼茨;埃马纽埃尔·隆卡;皮埃尔侯爵 模型计数的定义。 （英语） Zbl 1435.68304号 Artif公司。智力。 281，文章ID 103229，32 p.（2020）.MSC公司：68T20型 03B05号 68兰特 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lagniez}等人，Artif。智力。281，文章ID 103229，32 p.（2020；Zbl 1435.68304） 全文： 内政部
理查德·布斯;乔瓦尼·卡西尼;托马斯·梅耶;伊万·瓦尔津扎克 命题典型逻辑的理性蕴涵。 （英语） Zbl 1478.68346号 Artif公司。智力。 277，文章ID 103178，20 p.（2019）.MSC公司：68T27型 03B60 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Booth}等人，Artif。智力。277，文章ID 103178，20 p.（2019；Zbl 1478.68346） 全文： 内政部 arXiv公司 链接
沃伊切赫·贾姆罗加;米查·纳皮克;达米安·库皮耶夫斯基;乌卡斯·米库尔斯基 不完全信息下战略能力的近似验证。 （英语） Zbl 1478.68384号 Artif公司。智力。 277，文章ID 103172，30 p.（2019）.MSC公司：68T42型 03B44号 60年第68季度 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人，Artif。智力。277，文章ID 103172，30 p.（2019；Zbl 1478.68384） 全文： 内政部 链接
理查德·布斯;杰克·钱德勒 从迭代修订到迭代收缩：扩展哈珀恒等式。 （英语） Zbl 1478.03023号 Artif公司。智力。 277，文章ID 103171，20页（2019）.MSC公司：03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Booth}和\textit{J.Chandler}，Artif。智力。277，文章ID 103171，第20页（2019；Zbl 1478.03023） 全文： 内政部 链接
沃伊切赫·贾姆罗加;瓦迪姆·马尔文;阿尼埃洛·穆拉诺 天生的战略能力。 （英语） Zbl 1478.68385号 Artif公司。智力。 277，文章ID 103170，33 p.（2019）.MSC公司：68T42型 03B44号 60年第68季度 第68季度85 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人，Artif。智力。277，文章ID 103170，33 p.（2019；Zbl 1478.68385） 全文： 内政部 链接
帕维尔·瑙莫夫;陶，贾 知道如何在不确定的情况下。 （英语） Zbl 1478.03027号 Artif公司。智力。 276, 41-56 (2019).MSC公司：03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao}，Artif。智力。276、41-56（2019年；Zbl 1478.03027） 全文： 内政部
詹姆斯·德尔格兰德。;布莱恩·雷恩;约书亚·萨克 定性概率的逻辑。 （英语） Zbl 1478.03048号 Artif公司。智力。 275, 457-486 (2019).MSC公司：03B48号 03B45号 60A05型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande}等人，Artif。智力。275457-486（2019年；Zbl 1478.03048） 全文： 内政部
恩里科·马尔基奥尼;迈克尔·伍尔德里奇 Ł用于合作游戏的ukasiewicz逻辑。 （英语） Zbl 1482.91012号 Artif公司。智力。 275, 252-278 (2019).MSC公司：91A12号机组 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{E.马尔基奥尼}和\textit{M.伍尔德里奇}，阿蒂夫。智力。275252-278（2019年；兹比尔1482.91012） 全文： 内政部 链接
克里斯蒂安·迪古西尼。;马丁内斯（M.Vanina Martinez）;法拉帕，马塞洛·A。;吉列尔莫·西马里。 信念累积导致的信念基础收缩。 （英语） Zbl 1478.68349号 Artif公司。智力。 275, 78-103 (2019).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.A.D.Deagusini}等人，Artif。智力。275，78-103（2019；Zbl 1478.68349） 全文： 内政部
李彦军;巴特尔·库伊;王燕京 用于一致概率计划推理的动态认知框架。 （英语） Zbl 1478.68355号 Artif公司。智力。 268, 54-84 (2019).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人，Artif。智力。268、54-84（2019年；Zbl 1478.68355） 全文： 内政部 链接
方良达;刘永梅;汉斯·范·迪特马什 多智能体模态逻辑中的遗忘。 （英语） Zbl 1478.68351号 Artif公司。智力。 266, 51-80 (2019).MSC公司：68T27型 03B42号 03B45号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fang}等人，Artif。智力。266、51-80（2019年；Zbl 1478.68351） 全文： 内政部
埃米利奥·穆尼奥斯·韦拉斯科;Pelegrín，梅赛德斯;皮埃特罗·萨拉;圭多·西亚维科;Stan、Ionel Eduard 关于粗区间时序逻辑。 （英语） Zbl 1480.03010号 Artif公司。智力。 266, 1-26 (2019).MSC公司：03B44号 第68季度25 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Muñoz-Velasco}等人，Artif。智力。266，1--26（2019年；Zbl 1480.0310） 全文： 内政部 链接
弗朗西斯科·贝拉迪内利;范德霍克，威比;Louwe B.Kuijer。 二阶命题模态逻辑：表达性和完备性结果。 （英语） Zbl 1436.03128号 Artif公司。智力。 263, 3-45 (2018).MSC公司：03B45号 03B16号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人，Artif。智力。263、3--45（2018年；Zbl 1436.03128） 全文： 内政部
帕维尔·瑙莫夫;陶，贾 我们一起知道如何实现：知识的认知逻辑。 （英语） Zbl 1454.03025号 Artif公司。智力。 262, 279-300 (2018).MSC公司：03B42号 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov}和\textit{J.Tao}，Artif。智力。262、279--300（2018；Zbl 1454.03025） 全文： 内政部 arXiv公司
Teijeiro，T。;费利克斯，P。 关于时间序列解释中采用溯因推理的问题。 （英语） Zbl 1451.68266号 Artif公司。智力。 262, 163-188 (2018).MSC公司：68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Teijeiro}和\textit{P.Félix}，Artif。智力。262163-188（2018；Zbl 1451.68266） 全文： 内政部 arXiv公司
迈克尔·本尼迪克特;伯纳多·坎卡·格劳;埃戈尔·V·科斯蒂列夫。 基于本体的数据集成中信息披露的逻辑基础。 （英语） Zbl 1451.68270号 Artif公司。智力。 262，52-95（2018）.MSC公司：68立方英尺 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人，Artif。智力。26252--95（2018年；Zbl 1451.68270） 全文： 内政部 链接
达戈斯蒂诺，M。;莫吉尔，S。 古典逻辑、论证和辩证法。 （英语） Zbl 1451.68258号 Artif公司。智力。 262, 15-51 (2018).MSC公司：68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}和\textit{S.Modgil}，Artif。智力。262、15--51（2018年；Zbl 1451.68258） 全文： 内政部 链接
马可·加拉帕;爱德华多·费尔梅;莫里西奥·赖斯。 屏蔽底座收缩。 （英语） Zbl 1445.68203号 Artif公司。智力。 259, 186-216 (2018).MSC公司：68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Garapa｝等人，人工制品。智力。259186-216（2018；Zbl 1445.68203） 全文： 内政部 链接
巴特·博加特;Joost Vennekens;马克·德内克 安全归纳法及其在知识表示中的应用。 （英语） 兹比尔1445.68207 Artif公司。智力。 259, 167-185 (2018).MSC公司：68立方英尺 03B42号 68N17号 68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bogaerts｝等人，人工制品。智力。259167-185（2018；Zbl 1445.68207） 全文： 内政部 链接
塞巴斯蒂安·戈蒂弗雷迪;卢西亚诺·塔马戈。;亚历杭德罗·加西亚。;吉列尔莫·西马里。 讨论开放多智能体系统中的信息可信度。 （英语） Zbl 1445.68236号 Artif公司。智力。 259, 91-109 (2018).MSC公司：68T42型 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gottifredi}等人，Artif。智力。259、91——109（2018年；Zbl 1445.68236） 全文： 内政部 链接
汉斯·范·迪特马什;法语，蒂姆;费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。;Wáng，YN。 隐性、显性和推测性知识。 （英语） Zbl 1444.03035号 Artif公司。智力。 256, 35-67 (2018).MSC公司：03B42号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，Artif。智力。256，35-67（2018；Zbl 1444.03035） 全文： 内政部
刘芳芳;你，嘉慧 重温了混合MKNF知识库的三值语义。 （英语） 兹比尔1420.68204 Artif公司。智力。 252, 123-138 (2017).MSC公司：68立方英尺 03B50号 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit｛F.Liu｝和\textit｛J.-H.You｝，人工制品。智力。252123--138（2017；Zbl 1420.68204） 全文： 内政部
托马斯·奥戈特内斯;Wáng，YN。 解决分布式知识。 （英语） Zbl 1419.68103号 Artif公司。智力。 252, 1-21 (2017).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特斯}和\textit{Y.N.瓦恩}，阿蒂夫。智力。252、1--21（2017；Zbl 1419.68103） 全文： 内政部 arXiv公司
克里斯托夫·施维林;格哈德·莱克梅耶;莫里斯·帕格努科 认知情境演算中的信念修正和投射。 （英语） Zbl 1419.68148号 Artif公司。智力。 251, 62-97 (2017).MSC公司：68立方英尺 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwering}等人，Artif。智力。251、62-97（2017年；Zbl 1419.68148） 全文： 内政部
美国马塔·迪亚斯;拉蒙皮诺·佩雷斯 信仰融合不可能。 （英语） Zbl 1419.68123号 Artif公司。智力。 251, 1-34 (2017).MSC公司：68T27型 03B42号 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Mata Díaz}和\textit{R.Pino Pérez}，Artif。智力。251、1--34（2017；Zbl 1419.68123） 全文： 内政部 arXiv公司
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查：用于理性验证的反应性模块。 （英语） Zbl 1420.68129号 Artif公司。智力。 248, 123-157 (2017).MSC公司：60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，Artif。智力。248123-157（2017；Zbl 1420.68129） 全文： 内政部 链接
娜塔莎·亚历奇纳;牛，尼尔斯;洛根，布莱恩;Nguyen、Hoang Nga 空闲的优点：资源代理逻辑的一个可判定片段。 （英语） Zbl 1402.68122号 Artif公司。智力。 245, 56-85 (2017).MSC公司：60年第68季度 03B25号 03B44号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人，Artif。智力。245、56-85（2017；Zbl 1402.68122） 全文： 内政部
汉斯·范·迪特马什;范德霍克，威比;巴特尔·库伊;Louwe B.Kuijer。 任意箭头更新逻辑。 （英语） Zbl 1392.68396号 Artif公司。智力。 242, 80-106 (2017).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，Artif。智力。242、80-106（2017；Zbl 1392.68396） 全文： 内政部
牛，尼尔斯;迈赫迪·达斯塔尼 基于规范的机制设计。 （英语） 兹比尔1386.68178 Artif公司。智力。 239, 97-142 (2016).MSC公司：68T42型 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛N.Bulling｝和\textit｛M.Dastani｝，人工制品。智力。23997--142（2016年；Zbl 1386.68178） 全文： 内政部 链接
哈拉尔德·巴斯蒂安斯;弗兰克·维尔特曼 做出正确的例外。 （英语） Zbl 1385.68043号 Artif公司。智力。 238, 96-118 (2016).MSC公司：68T27型 03B60 PDF格式BibTeX公司 XML格式引用 \textit{H.Bastiaanse}和\textit{F.Veltman}，Artif。智力。238、96-118（2016年；Zbl 1385.68043） 全文： 内政部
沈义东;托马斯·艾特 在答案集编程中评估认知否定。 （英语） Zbl 1358.68278号 Artif公司。智力。 237, 115-135 (2016).MSC公司：68T27型 03B42号 68N17号 第68季度25 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.-D.Shen}和\textit{T.Eiter}，Artif。智力。237115--135（2016；Zbl 1358.68278） 全文： 内政部
林芳珍 一阶逻辑中程序的形式化，具有离散线性顺序。 （英语） Zbl 1352.68065号 Artif公司。智力。 235, 1-25 (2016).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛F.Lin｝，人工制品。智力。235，1--25（2016；Zbl 1352.68065） 全文： 内政部
莫里西奥·赖斯。;爱德华多·费尔梅;佩帕斯、帕夫洛斯 基于球的传递关系部分系统的构建遇到多重收缩：一个不可能的结果。 （英语） Zbl 1352.03025号 Artif公司。智力。 233, 122-141 (2016).MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.D.L.Reis}等人，Artif。智力。233122--141（2016年；Zbl 1352.03025） 全文： 内政部
斯文·奥夫·汉森 非单调推理的共现检验。 （英语） Zbl 1352.03023号 Artif公司。智力。 234, 190-195 (2016).MSC公司：03B42号 03B60 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Hansson}，阿蒂夫。智力。234190-195（2016年；Zbl 1352.03023） 全文： 内政部
马蒂亚斯·蒂姆 关于不一致性度量的表示性。 （英语） Zbl 1352.68236号 Artif公司。智力。 234, 120-151 (2016).MSC公司：68立方英尺 03B05号 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{M.Thimm}，Artif。智力。234120-151（2016；Zbl 1352.68236） 全文： 内政部
美国布贝克。;Kleine Büning，H。 学习布尔规范。 （英语） Zbl 1344.68185号 Artif公司。智力。 229, 246-257 (2015).MSC公司：68T05型 03B05号 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{U.Bubeck}和\textit{H.Kleine Büning}，Artif。智力。229246-257（2015；Zbl 1344.68185） 全文： 内政部
佩帕斯、帕夫洛斯;玛丽·安妮·威廉姆斯;萨米尔·乔普拉;诺曼·福 信念修正的相关性。 （英语） Zbl 1344.68223号 Artif公司。智力。 229, 126-138 (2015).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Peppas}等人，Artif。智力。229、126--138（2015；Zbl 1344.68223） 全文： 内政部
本杰明·赫斯科特。;罗尼·哈尔顿 使用FODD和GFODD进行推理的复杂性。 （英语） Zbl 1344.68215号 Artif公司。智力。 229, 1-32 (2015).MSC公司：68T20型 03B10号机组 2017年第68季度 第68季度25 68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{B.J.Hescott}和\textit{R.Khardon}，Artif。智力。229，1--32（2015；Zbl 1344.68215） 全文： 内政部 arXiv公司
格劳贝尔·德博纳;马塞洛·芬格 测量概率逻辑中的不一致性：理性假设和荷兰书籍解释。 （英语） Zbl 1346.68183号 Artif公司。智力。 227, 140-164 (2015).MSC公司：68T27型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{G.De Bona}和\textit{M.Finger}，Artif。智力。227140-164（2015年；Zbl 1346.68183） 全文： 内政部
佐丹奴。;格利奥齐，V。;奥利维蒂，N。;波扎托，G.L。 有理闭包的语义表征：从命题逻辑到描述逻辑。 （英语） 兹比尔1346.68186 Artif公司。智力。 226, 1-33 (2015).MSC公司：68T27型 03B42号 03B47号 03B60 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，Artif。智力。226，1-33（2015；Zbl 1346.68186） 全文： 内政部
巴特·博加特;Joost Vennekens;马克·德内克 固定不动点及其在知识表示中的应用。 （英语） Zbl 1343.68233号 Artif公司。智力。 224, 51-71 (2015).MSC公司：68立方英尺 03G10年 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人，Artif。智力。224、51--71（2015；Zbl 1343.68233） 全文： 内政部
斯特凡·博格沃德;费利克斯·迪斯特;拉斐尔·佩尼亚洛扎 具有一般概念包含的模糊描述逻辑中的可判定极限。 （英语） Zbl 1319.68211号 Artif公司。智力。 218, 23-55 (2015).MSC公司：68T27型 03B25号 03B52号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgwardt}等人，Artif。智力。218、23-55（2015；Zbl 1319.68211） 全文： 内政部 链接
詹姆斯·德尔格兰德。;帕夫洛斯·佩帕斯 霍恩理论的信念修正。 （英语） Zbl 1322.68192号 Artif公司。智力。 218, 1-22 (2015). 审核人：David Makinson（伦敦） MSC公司：68立方英尺 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande}和\textit{P.Peppas}，Artif。智力。218，1-22（2015；Zbl 1322.68192） 全文： 内政部
约瑟夫·哈尔彭。;威廉·凯茨 一种推理模糊性的逻辑。 （英语） Zbl 1334.68207号 Artif公司。智力。 209, 1-10 (2014); 勘误表同上，第212、158页（2014年）。MSC公司：68T27型 03B45号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{W.Kets}，阿蒂夫。智力。209，1-10（2014；Zbl 1334.68207） 全文： 内政部 arXiv公司
汉斯·范·迪特马什;苏加塔·戈什;韦布鲁克（Rineke Verbrugge）;王燕京 隐藏的协议：在不断变化的世界中改变我们的期望。 （英语） Zbl 1334.68232号 Artif公司。智力。 208, 18-40 (2014).MSC公司：68T42型 03B42号 65年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，Artif。智力。208、18-40（2014年；Zbl 1334.68232） 全文： 内政部
萨默·诺法尔;凯蒂·阿特金森;保罗·E·邓恩。 优选语义下变元系统决策问题的算法。 （英语） Zbl 1334.68210号 Artif公司。智力。 207, 23-51 (2014).MSC公司：68T27型 03B25号 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{S.Nofal}等人，Artif。智力。207、23--51（2014年；Zbl 1334.68210） 全文： 内政部
皮埃尔侯爵;尼古拉斯·施温德 迷失在翻译中：命题逻辑中的语言独立性——对信念变化的应用。 （英语） Zbl 1334.68209号 Artif公司。智力。 206, 1-24 (2014).MSC公司：68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Marquis}和\textit{N.Schwind}，Artif。智力。206，1--24（2014；Zbl 1334.68209） 全文： 内政部
斯文·奥夫·汉森 认知接近与信念改变的关系。 （英语） Zbl 1319.03037号 Artif公司。智力。 217, 76-91 (2014). 审核人：毛里西奥·里斯（Funchal） MSC公司：03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Hansson}，阿蒂夫。智力。217、76-91（2014年；Zbl 1319.03037） 全文： 内政部
樊、团房;邱恩·荣·廖 加权社交网络中规则等价的逻辑特征。 （英语） Zbl 1405.68349号 Artif公司。智力。 214, 66-88 (2014).MSC公司：68T27型 03B45号 68层37 91天30分 PDF格式BibTeX公司 XML格式引用 \textit｛T.-F.Fan｝和\textit｛C.-J.Liau｝，人工制品。智力。214、66-88（2014年；Zbl 1405.68349） 全文： 内政部
卢西亚诺·塔马戈。;亚历杭德罗·加西亚。;法拉帕，马塞洛·A。;吉列尔莫·西马里。 关于检举人可信度命令的修订。 （英语） Zbl 1405.68368号 Artif公司。智力。 212, 36-58 (2014).MSC公司：68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{L.H.Tamargo}等人，Artif。智力。212、36-58（2014；Zbl 1405.68368） 全文： 内政部
米盖尔·卡里略;David A.Rosenblueth。 通过保护对克里普克模型进行CTL更新。 （英语） Zbl 1405.68180号 Artif公司。智力。 211, 51-74 (2014).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Carrillo}和\textit{D.A.Rosenblueth}，Artif。智力。211、51-74（2014；Zbl 1405.68180） 全文： 内政部
马西奥·里贝罗。;雷娜塔·瓦瑟曼;乔治·弗洛里斯;格里戈里斯·安东尼奥 最小的改变：相关性和恢复性重新审视。 （英语） Zbl 1334.03012号 Artif公司。智力。 201, 59-80 (2013).MSC公司：03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Ribeiro}等人，Artif。智力。201，59-80（2013；Zbl 1334.03012） 全文： 内政部
周春来 分配格上的置信函数。 （英语） Zbl 1334.68215号 Artif公司。智力。 201, 1-31 (2013).MSC公司：68立方英尺 03B42号 03B47号 05年6月 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}，艺术。智力。201，1--31（2013；Zbl 1334.68215） 全文： 内政部
鲍里斯·科涅夫;卡斯滕·卢茨;德克·沃尔特;弗兰克·沃尔特 描述逻辑本体的模型理论不可分割性和模块性。 （英语） Zbl 1329.68248号 Artif公司。智力。 203, 66-103 (2013).MSC公司：68立方英尺 03C98号 第68季度25 68T27型 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人，Artif。智力。203、66-103（2013；Zbl 1329.68248） 全文： 内政部
阿兰·邦迪 书评：罗伯特·科瓦尔斯基（Robert Kowalski），《计算逻辑与人类思维：如何成为人工智能》。 （英语） 1284.00007兹罗提 Artif公司。智力。 199-200, 122-123 (2013).MSC公司：00年11月17日 68-02 68T27型 68T01型 03B70号 68立方英尺 68T50型 68T20型 第68季度32 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.邦迪}，Artif。智力。199-200122-123（2013；Zbl 1284.00007） 全文： 内政部
法语，蒂姆;范德霍克，威比;皮塔·伊利耶夫;巴特尔·库伊 关于一些模态逻辑的简洁性。 （英语） Zbl 1270.03037号 Artif公司。智力。 19756-85（2013）.MSC公司：03B45号 03B42号 03C13号机组 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.French}等人，Artif。智力。197，56-85（2013年；兹bl 1270.03037） 全文： 内政部 链接
乔纳森·劳里;唐永川 关于真理观、两极信念和模糊命题的可断言性。 （英语） Zbl 1270.68316号 Artif公司。智力。 191-192年，20-41年（2012年）.MSC公司：68层37 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lawry}和\textit{Y.Tang}，Artif。智力。191-192、20-41（2012年；Zbl 1270.68316） 全文： 内政部 链接 链接
汉斯·范·迪特马什;范德霍克，威比;巴特尔·库伊 模态逻辑中的局部属性。 （英语） Zbl 1251.03026号 Artif公司。智力。 187-188, 133-155 (2012).MSC公司：03B45号 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，Artif。智力。187-18133-155（2012年；Zbl 1251.03026） 全文： 内政部 链接
弗农·亚松森;林芳珍;张燕;周，易 有限结构上一阶逻辑程序的有序完成。 （英语） Zbl 1244.68072号 Artif公司。智力。 177-179, 1-24 (2012).MSC公司：68T27型 68N17号 68立方英尺 03B10号机组 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Asuncion}等人，Artif。智力。177-179，1--24（2012；Zbl 1244.68072） 全文： 内政部
詹姆斯·德尔格兰德;金、易 平行信念修正：通过公式集进行修正。 （英语） Zbl 1243.03018号 Artif公司。智力。 176，第1期，2223-2245（2012）.MSC公司：03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Delgrande}和\textit{Y.Jin}，Artif。智力。176，第1号，2223--2245（2012；Zbl 1243.03018） 全文： 内政部
埃米利亚诺·洛里尼;弗朗索瓦州施瓦岑特鲁伯 推理反事实情绪的逻辑。 （英语） Zbl 1223.68107号 Artif公司。智力。 175，编号3-4，814-847（2011）. 审核人：伯恩哈德·海尼曼（黑根） MSC公司：68T27型 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Lorini}和\textit{F.Schwarzentruber}，Artif。智力。175，编号3--4，814--847（2011；Zbl 1223.68107） 全文： 内政部
约翰·范·本特姆 模式键中的McCarthy变量。 （英语） Zbl 1216.68278号 Artif公司。智力。 175，第1期，428-439（2011）.MSC公司：68T27型 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}，阿蒂夫。智力。175，第1号，428--439（2011；Zbl 1216.68278） 全文： 内政部
约瑟夫·哈尔彭。;里卡多·普切拉 处理逻辑全知：表达和语用。 （英语） Zbl 1216.68267号 Artif公司。智力。 175，第1期，220-235（2011）.MSC公司：68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{R.Pucella}，Artif。智力。175，编号1，220--235（2011；Zbl 1216.68267） 全文： 内政部
理查德·布斯;萨米尔·乔普拉;托马斯·梅耶;阿迪蒂亚·古斯 广义信念改变的双重偏好关系。 （英语） 兹比尔1217.03020 Artif公司。智力。 174，编号16-17，1339-1368（2010）. 审核人：David Makinson（伦敦） MSC公司：03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Booth}等人，Artif。智力。174，编号16--17，1339--1368（2010；Zbl 1217.03020） 全文： 内政部
张东墨 基于逻辑的谈判公理模型。 （英语） Zbl 1237.91122号 Artif公司。智力。 174，编号16-17，1307-1322（2010）.MSC公司：91B26型 03B80号 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhang}，艺术。智力。174，编号16--17，1307--1322（2010；Zbl 1237.91122） 全文： 内政部
乔尔·乌克尔曼;乌尔·恩德里斯 使用加权目标和Max聚合器紧凑地表示效用函数。 （英语） Zbl 1210.91035号 Artif公司。智力。 174，第15期，1222-1246（2010）.MSC公司：91B16号 03B80号 第68季度25 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{J.Uckelman}和\textit{U.Endriss}，Artif。智力。174，编号15222-1246（2010年；兹bl 1210.91035） 全文： 内政部 链接
约翰·格兰特;弗朗西斯科·帕里西;奥斯汀帕克;苏布拉曼尼亚，V.S。 概率时空逻辑的AGM式信念修正机制。 （英语） Zbl 1185.68673号 Artif公司。智力。 174，第1期，72-104（2010）.MSC公司：68T27型 03B42号 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}等人，Artif。智力。174，编号1，72--104（2010；Zbl 1185.68673） 全文： 内政部
托尔斯滕·哈曼;温特，迈克尔;迈克尔·格鲁宁格 Stonian p-正交格：单拓扑（RT_{0}）的一种新方法。 （英语） Zbl 1190.68061号 Artif公司。智力。 173，第15期，1424-1440（2009）.MSC公司：68立方英尺 03G25号 06C15年 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hahmann}等人，Artif。智力。173，第15号，1424--1440（2009；Zbl 1190.68061） 全文： 内政部
张燕;周，易 知识遗忘：特性和应用。 （英语） Zbl 1187.03015号 Artif公司。智力。 173，编号16-17，1525-1537（2009）. 审核人：David Makinson（伦敦） MSC公司：03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{Y.Zhou}，Artif。智力。173，编号16--17，1525--1537（2009；Zbl 1187.03015） 全文： 内政部