SCIFF公司 swMATH ID: 20513 软件作者： 马可·阿尔贝蒂、费德里科·切萨尼、马可·加瓦内利、伊芙琳娜·拉姆马、保拉·梅洛、保罗·托罗尼 描述： 诱因逻辑编程中的可验证代理交互：SCIFF框架。SCIFF是一个用于指定和验证开放代理社会中交互的框架。SCIFF语言具有基于溯因逻辑编程的语义；SCIFF的操作组件是一种新的外推逻辑编程证明程序，也称为SCIFF，用于在动态环境中进行期望推理。在本文中，我们介绍了SCIFF语言的声明语义和操作语义，以及SCIFF证明过程的终止性、可靠性和完整性结果，并演示了SCIFF在多代理领域中的可能应用。 主页： 网址：http://lia.deis.unibo.it/sciff/ 相关软件： HYPROLOG公司;棱镜;ProbLog（问题日志）;太阳能;ACORDA公司;DeepProbLog（深度探测日志）;cplint（cplint）;预ASP;XSB公司;CP逻辑;SWI-预测;L-BFGS公司;Lotrec方案;LoTREC公司;PROLEG公司;SBGN公司;超小卫星;阿帕奇·弗林克;洛拉;蒙保利 引用于： 19文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 在\（\mathcal｛S｝\）CIFF框架中可履行的义务。 Zbl 1497.68456号马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;法布里西奥·里古齐;肯·佐藤;里卡多·泽斯 2020 全部的 前5名56位作者引用 8 马尔科·阿尔贝蒂 8 伊芙琳娜·拉姆 7 马可·加瓦内利 6 保罗·托罗尼 5 保罗·梅洛 4 法布里西奥·里古齐 4 里卡多·泽斯 三 埃琳娜·贝洛迪 三 费德里科·切萨尼 三 马可·蒙塔利 1 沃尔夫冈·阿伦特 1 Jean-Marc阿利奥特 1 达米亚诺·阿佐利尼 1 埃齐奥·巴托西 1 多梅尼科·比安库利 1 Broersen，Jan M。 1 沃哈·布莱尔 1 海宁·克里斯蒂安森 1 克里斯蒂安·科伦坡 1 斯蒂芬·克雷菲尔德 1 皮耶朗基罗·德尔·阿夸 1 罗伯特·德莫洛姆 1 马丁·迪盖兹 1 尤尔根Dix 1 叶希亚·埃尔拉凯比 1 伊利耶斯·法尔科内 1 路易斯·法利尼亚斯·德尔·塞罗 1 斯特凡诺·费里利 1 迈克尔·费希尔 1 阿德里安·弗兰卡兰扎 1 Dov M.加巴伊。 1 大卫·格罗西 1 奥祖尔·卡法尔 1 罗伯特·A·科瓦尔斯基。 1 Sr Djan Krstić 1 埃米利亚诺·洛里尼 1 Lourenço，Joáo M。 1 路易斯·莫尼兹·佩雷拉 1 德扬·尼科维奇 1 纳吉·奥贝德 1 戈登·佩斯。 1 家长，Xavier 1 若泽·鲁菲诺 1 法里巴·萨德里 1 塞萨尔·桑切斯 1 乔瓦尼·萨托 1 肯·佐藤 1 Gerardo Schneider公司 1 弗朗索瓦·施瓦森特鲁伯 1 辛戈尔斯，朱利安 1 德米特里·特拉泰尔 1 卢卡·图莫利尼 1 保罗·图里尼 1 范德托雷，Leendert W.N。 1 亚历山大·韦斯 1 尼古拉·赞诺 全部的 前5名8篇连载文章中引用 三 数学与人工智能年鉴 2 计算机基础理论 2 逻辑程序设计理论与实践 1 国际近似推理杂志 1 机器学习 1 系统设计中的形式化方法 1 计算与数学组织理论 1 ACM计算逻辑事务 在4个字段中引用 19 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文