XSB公司 swMATH ID: 13877 软件作者: Sagonas,K.F.、Swift,T.、Warren,D.S.、Freire,J.、Rao,P。 描述: XSB是一个用于Unix和Windows的逻辑编程和演绎数据库系统。XSB序言。它正在许多机构开发,包括石溪大学计算机科学系、新里斯本大学、XSB公司和Coherent Knowlage Systems,Inc。 主页: http://xsb.sourceforge.net/ 相关软件: YAP-序言;斯莫德尔斯;B-序言;OPTYap公司;SICStus公司;SWI-预测;Ciao公司;ProbLog(问题日志);数据日志;PITA公司;欧兹;序言;CiaoPP公司;猫;幼儿保育和教育;棱镜;clpfd公司;ProB公司;萨奇莫;水银 引用于: 139文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 XSB:用表格逻辑编程扩展Prolog。 Zbl 1244.68021号Swift,Terrance公司;大卫·沃伦。 2012 全部的 前5名210位作者引用 17 Swift,Terrance公司 15 沃伦、大卫·斯科特 8 里卡多·罗查 7 桑托斯·科斯塔,Vítor 7 法布里西奥·里古齐 7 康斯坦蒂诺斯·萨戈纳斯 6 汤姆·施里杰弗斯 5 巴特·德梅恩 5 戈帕尔·古普塔 5 曼努埃尔五世(Manuel V.Hermenegildo)。 4 Anayti、Anastasia 4 曼纽尔·卡罗 4 迈克尔·基弗 4 路易斯·莫尼兹·佩雷拉 4 罗马克里希南,C.R。 4 罗马克里希南,I.V。 4 费尔南多·席尔瓦 4 大卫·托曼 三 格里戈里斯·安东尼奥 三 利奥波多·贝尔托西。 三 陈伟东 三 崔宝秋 三 德索特,贝诺特 三 尤尔根·迪克斯 三 托马斯·艾特 三 Michael Leuschel先生 三 何塞·弗朗西斯科·莫拉莱斯 三 艾奥尼斯·帕乔拉基斯 三 恩里科·蓬泰利 三 阿里·萨普塔维贾亚 三 大辅佐藤 三 迪特马尔·塞佩尔(Dietmar A.Seipel)。 三 沈一东 三 古莱,Unel 三 你,嘉慧 三 袁丽燕 三 周能发 2 米盖尔·阿雷亚斯 2 华金·阿里亚斯 2 巴勃罗·巴塞洛 2 埃琳娜·贝洛迪 2 黄铜,Stefan 2 莫里斯·布吕诺格 2 路易斯·费尔南多·卡斯特罗 2 马克·德内克 2 迈克尔·芬克 2 安德烈亚·福米萨诺 2 约阿希姆·扬森 2 尼古拉·利昂 2 亚历山大·米盖尔·平托 2 Shiri,线虫 2 亨克·范德卡斯泰尔 2 亚历山大·范登布鲁克 2 卡洛斯·维加斯·达马西奥 2 杨贵珍 2 里卡多·泽斯 2 郑志宏 1 萨尔瓦多阿布雷乌 1 勒罗伊·亚当斯 1 何塞·朱利奥·阿尔弗雷斯 1 马里奥·阿尔维亚诺 1 阿皮斯,安娜丽莎 1 帕维尔·阿古斯蒂诺夫 1 阿沃茨,Dzintars 1 达米亚诺·阿佐利尼 1 史蒂夫·巴克 1 弗朗索瓦·巴瑟利米 1 萨米克·巴苏 1 亨德里克·布洛克 1 巴特·博加特 1 洛雷托·布拉沃 1 丹尼尔·卡贝扎 1 弗朗西斯科·卡利默里 1 迈克尔·卡宾 1 塞西,米开朗基罗 1 亚历山大·塞勒 1 陈,李 1 陈卓 1 巴勃罗·奇科·德古兹曼 1 乔瓦尼·西亚托 1 迈克尔·科迪什 1 泰森·康迪 1 斯特凡妮亚·康斯坦蒂尼 1 斯特凡妮娅·科斯坦蒂尼 1 朱塞佩·科塔 1 弗罗林·克雷西恩 1 维罗妮卡·达尔 1 卡洛斯五世·达马西奥。 1 达斯,阿里亚姆 1 哈桑·达武尔库 1 德卡特,布罗斯 1 埃里克·维尔蒙特·德·拉·克莱格里 1 奥格·德穆尔 1 De Pooter,斯特夫 1 安德烈·德瓦尔。 1 里德万·德沃波拉沃 1 丹尼尔·迪亚兹 1 卡明·多达罗 1 阿戈斯蒂诺·多维尔 1 沃德齐米日·德拉本特 …还有110多名作者 全部的 前5名22篇连载文章中引用 33 逻辑程序设计理论与实践 5 理论计算机科学 5 逻辑程序设计杂志 5 数学与人工智能年鉴 4 函数与逻辑程序设计杂志 4 ACM计算逻辑事务 三 国际近似推理杂志 三 美国医学会杂志 2 人工智能研究杂志 2 约束条件 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 计算机程序设计科学 1 武汉大学学报。自然科学版 1 数据与知识工程 1 机器学习 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 高阶和符号计算 1 计算机基础理论 1 计算机语言、系统和结构 1 理论计算机科学电子笔记 在4个字段中引用 139 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文