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-预测;ProbLog（问题日志）;PITA公司;欧兹;Ciao公司;CAT公司;幼儿保育和教育;序言;cplint（cplint）;CP逻辑;XcelLog公司;三倍的;高阶逻辑;打开规则基准 引用于： 135出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 XSB：用表格逻辑编程扩展Prolog。 Zbl 1244.68021号Swift，Terrance公司;大卫·沃伦。 2012 全部的 前5名202位作者引用 17 Swift，Terrance公司 15 大卫·斯科特·沃伦 7 法布里西奥·里古齐 7 里卡多·罗查 7 康斯坦蒂诺斯·萨戈纳斯 6 维托尔·桑托斯·科斯塔 5 巴特·德梅恩 5 汤姆·施里杰弗斯 4 安娜斯塔西娅·安娜斯塔西 4 曼纽尔·卡罗 4 戈帕尔·古普塔。 4 迈克尔·基弗 4 路易斯·莫尼兹·佩雷拉 4 罗马克里希南，C.R。 4 罗马克里希南，I.V。 4 费尔南多·席尔瓦 4 大卫·托曼 三 格里戈里斯·安东尼奥 三 利奥波多·贝尔托西。 三 陈伟东 三 崔宝秋 三 德索特，贝诺特 三 尤尔根·迪克斯 三 托马斯·艾特 三 曼努埃尔五世（Manuel V.Hermenegildo）。 三 艾奥尼斯·帕乔拉基斯 三 阿里·萨普塔维贾亚 三 大辅佐藤 三 迪特马尔·塞佩尔（Dietmar A.Seipel）。 三 沈一东 三 乌埃尔、古雷 三 你，嘉慧 三 袁丽燕 三 周能发 2 米盖尔·阿雷亚斯 2 华金·阿里亚斯 2 巴勃罗·巴塞洛 2 埃琳娜·贝洛迪 2 斯特凡·布拉斯 2 莫里斯·布吕诺格 2 路易斯·费尔南多·卡斯特罗 2 马克·德内克 2 迈克尔·芬克 2 约阿希姆·扬森 2 尼古拉·利昂 2 Michael Leuschel先生 2 何塞·弗朗西斯科·莫拉莱斯 2 亚历山大·米盖尔·平托 2 恩里科·蓬泰利 2 Shiri，线虫 2 亨克·范德卡斯泰尔 2 卡洛斯·维加斯·达马西奥 2 杨贵珍 2 里卡多·泽斯 2 郑志宏 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 里德万·德沃波拉沃 1 卡明·多达罗 1 德拉本特，Włodzimierz 1 杜特拉，因斯 1 沃尔夫冈·费伯 1 弗朗索瓦·法赫斯 1 斯特凡诺·费里利 1 安德烈亚·福米萨诺 1 伯克哈德·弗雷塔格 1 乌尔里希·富巴赫 …还有102位作者 全部的 前5名23篇连载文章中引用 31 逻辑程序设计理论与实践 5 理论计算机科学 5 逻辑程序设计杂志 5 数学与人工智能年鉴 4 函数与逻辑程序设计杂志 4 ACM计算逻辑事务 三 国际近似推理杂志 三 美国医学会杂志 2 人工智能研究杂志 2 约束条件 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 计算机程序设计科学 1 武汉大学学报。自然科学版 1 数据与知识工程 1 机器学习 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 高阶和符号计算 1 计算机基础理论 1 1 计算机语言、系统和结构 1 理论计算机科学电子笔记 在4个字段中引用 135 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文