XSB公司 swMATH ID: 13877 软件作者： Sagonas，K.F.、Swift，T.、Warren，D.S.、Freire，J.、Rao，P。 描述： XSB是一个适用于Unix和Windows的逻辑编程和演绎数据库系统。XSB Prolog。它正在多个机构开发，包括石溪大学计算机科学系、新葡京大学、XSB公司和Coherent Knowlege系统公司。 主页： http://xsb.sourceforge.net/ 相关软件： YAP-序言;斯莫德尔斯;B-序言;OPTYap公司;SICStus公司;SWI-预测;Ciao公司;ProbLog（问题日志）;数据日志;PITA公司;欧兹;序言;CiaoPP公司;CAT公司;幼儿保育和教育;clpfd公司;ProB公司;萨奇莫;水银;克林戈 引用于： 139文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 XSB：用表格逻辑编程扩展Prolog。 Zbl 1244.68021号斯威夫特，特伦斯;大卫·沃伦。 2012 全部的 前5名210位作者引用 17 斯威夫特，特伦斯 15 沃伦、大卫·斯科特 8 里卡多·罗查 7 维托尔·桑托斯·科斯塔 7 法布里西奥·里古齐 7 康斯坦蒂诺斯·萨戈纳斯 6 汤姆·施里杰弗斯 5 巴特·德梅恩 5 戈帕尔·古普塔 5 曼努埃尔五世（Manuel V.Hermenegildo）。 4 安娜斯塔西娅·安娜斯塔西 4 曼努埃尔·卡罗 4 迈克尔·基弗 4 路易斯·莫尼兹·佩雷拉 4 罗马克里希南，C.R。 4 罗马克里希南，I.V。 4 费尔南多·席尔瓦 4 大卫·托曼 三 格里戈里斯·安东尼奥 三 利奥波多·贝尔托西。 三 陈伟东 三 崔宝秋 三 德索特，贝诺特 三 尤尔根·迪克斯 三 托马斯·艾特 三 Leuschel，迈克尔 三 何塞·弗朗西斯科·莫拉莱斯 三 艾奥尼斯·帕乔拉基斯 三 恩里科·蓬泰利 三 阿里·萨普塔维贾亚 三 大辅佐藤 三 迪特马尔·塞佩尔（Dietmar A.Seipel）。 三 沈一东 三 乌埃尔、古雷 三 你，嘉慧 三 袁丽燕 三 周能发 2 米盖尔·阿雷亚斯 2 华金·阿里亚斯 2 巴勃罗·巴塞洛 2 埃琳娜·贝洛迪 2 斯特凡·布拉斯 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 米开朗基罗Ceci 1 亚历山大·塞勒 1 陈，李 1 陈卓 1 巴勃罗·奇科·德古兹曼 1 乔瓦尼·西亚托 1 科迪什，迈克尔 1 泰森·康迪 1 斯特凡妮亚·康斯坦蒂尼 1 斯特凡妮娅·科斯坦蒂尼 1 朱塞佩·科塔 1 弗罗林·克雷西恩 1 维罗妮卡·达尔 1 卡洛斯五世·达马西奥。 1 达斯，阿里亚姆 1 哈桑·达武尔库 1 de Cat，兄弟 1 埃里克·维尔蒙特·德·拉·克莱格里 1 奥格·德穆尔 1 斯特夫·德·普特 1 安德烈·德瓦尔。 1 里德万·德沃波拉沃 1 丹尼尔·迪亚兹 1 卡明·多达罗 1 阿戈斯蒂诺·多维尔 1 德拉本特，Włodzimierz …还有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） 12 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文