×

SWI-预测

swMATH ID: 20950
软件作者： Wielemaker，J.、Schrijvers，T.、Triska，M.、Lager，T。
描述： SWI-预测。SWI-Prolog既不是一个商业Prolog系统，也不是一个纯粹的学术企业，而是一个越来越多的社区项目。核心系统已形成其当前形式，同时用作构建研究原型的工具，主要用于知识密集型和交互式系统。社区贡献添加了几个接口和约束（CLP）库。商业参与创建了最初的垃圾收集器，添加了几个接口和两个开发工具：PlDoc（一个有文化的编程文档系统）和PlUnit（一个单元测试环境）。在本文中，我们将SWI-Prolog作为一个集成工具，支持Prolog社区中开发的各种想法，并充当外国资源之间的粘合剂。本文本身是SWI-Prolog技术文章之间的粘合剂，提供了在较长时间内应用它们的上下文和经验。
主页： http://www.swi-prolog.org/
相关软件： SICStus公司；YAP-序言；XSB公司；clpfd公司；ProbLog（问题日志）；B-Prolog公司；github；阿勒夫；序言；Ciao公司；斯莫德尔斯；蟒蛇；对；棱镜；cplint（cplint）；Pengines公司；精益CoP；VAMPIRE公司；4.5条；CiaoPP公司
引用于： 76文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
SWI-预测。 兹比尔1244.68023
Wielemaker，简；汤姆·施里杰弗斯；马库斯·特里斯卡；托比恩拉格
2012
全部的 前5名

144位作者引用

9 Wielemaker，简
8 汤姆·施里杰弗斯
6 法布里齐奥·里古齐
5 巴特·德梅恩
4 费德里科·贝根蒂
三 戈帕尔·古普塔
三 托比恩拉格
三 莫妮卡，斯蒂芬妮娅
三 史蒂芬·H·马格尔顿。
三 马库斯·特里斯卡
2 萨尔瓦多阿布雷乌
2 尼科斯·安杰洛普洛斯
2 迈克尔·贝茨
2 埃琳娜·贝洛迪
2 科迪什，迈克尔
2 维托尔·桑托斯·科斯塔
2 安德鲁·克洛珀
2 曼努埃尔五世（Manuel V.Hermenegildo）。
2 菲利普·科纳
2 伊芙琳娜·拉姆
2 Michael Leuschel先生
2 刘燕红安妮
2 阿诺Nguembang Fadja
2 里卡多·罗查
2 吉安弗兰科·罗西
2 费尔南多·Sáenz-Pérez
2 广久Seki
2 法哈德·沙克林
2 斯涅尔斯，乔恩
2 保罗·塔劳
2 彼得·范沃特
2 皮特·威勒
2 里卡多·泽斯
1 萨默尔·阿卜杜拉。
1 马尔科·阿尔贝蒂
1 愤怒，克里斯蒂安
1 加布里埃尔·阿兰达·洛佩斯
1 华金·阿里亚斯
1 达米亚诺·阿佐利尼
1 斯蒂法诺·比斯塔雷利
1 伯特·布雷德维格
1 Joost Breuker公司
1 乍得·布朗·爱德华
1 米盖尔·卡列霍
1 本杰明·卡勒瓦特
1 鲁伊·卡马乔
1 曼纽尔·卡罗
1 卡塞莱斯·科斯塔，维森特
1 郑戈登
1 乔瓦尼·西亚托
1 朱塞佩·科塔
1 阿提拉·Csenki
1 大卫·库欣
1 维罗妮卡·达尔
1 戴望洲
1 亚历山德罗·达尔·帕洛
1 路易斯·达马斯
1 基斯·德科宁
1 费宾·德拉隆德雷
1 德索特，贝诺特
1 安东尼·迪·弗兰科
1 丹尼尔·迪亚兹
1 阿戈斯蒂诺·多维尔
1 佐伊·法洛米尔
1 努诺·A·丰塞卡。
1 安德烈亚·福米萨诺
1 迈克尔·弗兰克
1 盖尔·乌斯，大卫
1 乔治奥斯·贾马斯
1 玛丽安娜·吉兰多
1 费卢西奥·圭迪
1 哈马纳卡，Masatoshi
1 哈里斯，克里
1 Keiji Hirata
1 雅各布·M·豪。
1 黄志生
1 帕斯卡尔·朱利安·伊兰佐
1 塞萨里·卡利西克
1 阿卜杜拉·汗。
1 安迪·金
1 凯瑟琳·孔扎克
1 罗伯特·A·科瓦尔斯基。
1 塞巴斯蒂安·克林斯
1 比约恩·莱尔曼
1 尤利亚·利勒
1 托马斯·林奇
1 阿列克谢·P·利西萨。
1 法比奥·马丁内利
1 弗雷德·梅斯纳德
1 阿卜哈·莫伊特拉
1 莫拉莱斯，何塞·弗朗西斯科
1 罗尔夫·莫雷尔
1 格列戈兹·奈勒帕（Grzegorz J.Nalepa）。
1 阮富兰
1 苏珊娜·尼娃
1 法尔科·诺加茨
1 安德烈亚斯·纽希特
1 尼古拉·奥利维蒂
1 斯科特·帕金
1 埃蒂安·佩耶特
…还有44位作者
全部的 前5名

17篇连载文章中引用

20 逻辑程序设计理论与实践
7 机器学习
三 人工智能
三 国际近似推理杂志
三 数学与人工智能年鉴
2 计算机与数学及其应用
2 计算机基础理论
1 应用力学与工程中的计算机方法
1 立陶宛数学杂志
1 计算数学
1 计算机程序设计科学
1 计算的形式方面
1 逻辑与计算杂志
1 MSCS公司。计算机科学中的数学结构
1 约束条件
1 逻辑与代数程序设计杂志
1 高级机器人中的Springer拖拉机
全部的 前5名

13个领域引用

72 计算机科学（68至XX）
7 数理逻辑与基础（03-XX）
三 运筹学、数学规划（90-XX）
2 组合数学（05-XX）
2 统计学（62-XX）
1 总体主题；集合（00-XX）
1 代数几何（14-XX）
1 非结合环和代数（17-XX）
1 歧管和细胞复合体（57-XX）
1 概率论与随机过程（60-XX）
1 可变形固体力学（74-XX）
1 量子理论（81-XX）
1 系统论；控制（93至XX）

按年份列出的引文