编辑配置文件(在新选项卡中打开) Swift,Terrance公司 合著者距离 作者ID: 快速跑偏 发布日期: Swift,Terrance公司;T·斯威夫特。 外部链接: MGP公司 已编制索引的文档: 25出版物自1995年起 2作为编辑的贡献 合著者: 21位合著者具有23联合出版物 327位合作作者 全部的 前5名合著者 4 单作者的 8 沃伦、大卫·斯科特 4 法布里齐奥·里古齐 4 康斯坦蒂诺斯·萨戈纳斯 三 何塞·朱利奥·阿尔弗雷斯 2 伊芙琳娜·拉姆 2 路易斯·莫尼斯·佩雷拉 2 卡洛斯·维加斯·达马西奥 1 陈伟东 1 崔宝秋 1 朱莉安娜·弗雷尔 1 约瑟夫·加特纳 1 阿娜·索菲亚·戈麦斯 1 克诺尔,马蒂亚斯 1 约昂·莱特 1 Rui Cunha马奎斯 1 路易斯·莫尼兹·佩雷拉 1 Polleres,阿克塞尔 1 罗马克里希南,I.V。 1 Rao,Prasad M.S.V.公司。 1 马丁·斯洛塔 1 艾伦·田 全部的 前5名系列 9 逻辑程序设计理论与实践 三 逻辑程序设计杂志 2 ACM计算逻辑事务 1 人工智能 1 理论计算机科学 1 数学与人工智能年鉴 1 函数与逻辑程序设计杂志 1 计算机科学课堂讲稿 领域 27 计算机科学(68至XX) 三 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用195次128文档 引用人▼ 年份▼ XSB:用表格逻辑编程扩展Prolog。 Zbl 1244.68021号 Swift,Terrance公司;大卫·沃伦。 36 2012 PITA系统:建立和回答不确定性推理的包容。 Zbl 1218.68169号 法布里齐奥·里古齐;Swift,Terrance公司 25 2011 分布语义下概率逻辑规划的良好定义和有效推理。 Zbl 1267.68084号 法布里齐奥·里古齐;Swift,Terrance公司 15 2013 在有充分依据的语义下对查询进行高效的自上而下的计算。 Zbl 0866.68017号 陈伟东;Swift,Terrance公司;大卫·沃伦。 14 1995 用于表格逻辑程序的高效访问机制。 兹比尔0911.68033 罗摩克里希南一世。;拉奥,普拉萨德;康斯坦蒂诺斯·萨戈纳斯;Swift,Terrance公司;大卫·沃伦。 14 1999 通过表格化的对偶程序推导出基础良好的语义和广义稳定模型。 Zbl 1090.68014号 何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;Swift,Terrance公司 13 2004 非单调编程表格。 Zbl 0940.68025号 Swift,Terrance公司 12 1999 带注释析取的逻辑程序推理的表格和答案包含。 Zbl 1237.68049号 法布里齐奥·里古齐;Swift,Terrance公司 11 2010 超越深度优先策略:通过替代调度改进表格逻辑程序。 Zbl 0924.68054号 朱莉安娜·弗雷尔;Swift,Terrance公司;大卫·沃伦。 7 1998 通过ASP在本体中进行演绎。 Zbl 1122.68628号 Swift,Terrance公司 7 2004 包含答案的表格:实现、应用程序和性能。 Zbl 1306.68012号 Swift,Terrance公司;大卫·沃伦。 7 2010 分割和更新混合知识库。 Zbl 1218.68165号 马丁·斯洛塔;约昂·莱特;Swift,Terrance公司 4 2011 用有限三值模型终止逻辑程序的计算。 Zbl 1354.68039号 法布里齐奥·里古齐;Swift,Terrance公司 4 2014 Web推理和规则系统。第三届国际会议,RR 2009,美国弗吉尼亚州尚蒂利,2009年10月25日至26日,会议记录。 Zbl 1173.68315号 三 2009 一种抽象机器,用于有效计算对基础良好的模型的查询。 Zbl 0957.68019号 康斯坦蒂诺斯·萨戈纳斯;Swift,Terrance公司;大卫·沃伦。 三 2000 首选逻辑语法:定点语义和数据标准化应用。 Zbl 0995.68024号 崔宝秋;Swift,Terrance公司 三 2002 正常程序的并发和本地评估。 Zbl 1185.68170号 鲁伊·马奎斯;Swift,Terrance公司 三 2008 混合MKNF知识库的查询驱动过程。 Zbl 1353.68271号 何塞·朱利奥·阿尔弗雷斯;克诺尔,马蒂亚斯;Swift,Terrance公司 三 2013 连贯的、有充分依据的注释逻辑程序。 兹比尔0952.68025 达马西奥,卡洛斯·维耶加斯;路易斯·莫尼兹·佩雷拉;Swift,Terrance公司 2 1999 具有延迟的表格分辨率的新公式。 Zbl 0964.68019号 Swift,Terrance公司 2 1999 从计算逻辑的角度进行精神病诊断。 Zbl 0983.68697号 约瑟夫·加特纳;Swift,Terrance公司;艾伦·田;卡洛斯·维加斯·达马西奥;路易斯·莫尼斯·佩雷拉 2 2000 固定阶计算的极限。 Zbl 0974.68111号 萨戈纳斯,K。;T·斯威夫特。;D.S.沃伦。 2 2001 支持知识表示和推理的增量表。 Zbl 1307.68023号 Swift,Terrance公司 1 2014 编者按:第29届逻辑程序设计国际会议特刊。 Zbl 1298.00316号 伊芙琳娜·拉姆;Swift,Terrance公司 1 2013 混合MKNF知识库查询应答的目标导向实现。 Zbl 1286.68427号 阿娜·索菲亚·戈麦斯;何塞·朱利奥·阿尔弗雷斯;Swift,Terrance公司 1 2014 用有限三值模型终止逻辑程序的计算。 Zbl 1354.68039号 法布里齐奥·里古齐;Swift,Terrance公司 4 2014 支持知识表示和推理的增量表。 Zbl 1307.68023号 Swift,Terrance公司 1 2014 混合MKNF知识库查询应答的目标导向实现。 Zbl 1286.68427号 阿娜·索菲亚·戈麦斯;何塞·朱利奥·阿尔弗雷斯;Swift,Terrance公司 1 2014 分布语义下概率逻辑规划的良好定义和有效推理。 Zbl 1267.68084号 法布里齐奥·里古齐;Swift,Terrance公司 15 2013 混合MKNF知识库的查询驱动过程。 Zbl 1353.68271号 何塞·朱利奥·阿尔弗雷斯;克诺尔,马蒂亚斯;Swift,Terrance公司 三 2013 编者按:第29届逻辑程序设计国际会议特刊。 Zbl 1298.00316号 伊芙琳娜·拉姆;Swift,Terrance公司 1 2013 XSB:用表格逻辑编程扩展Prolog。 Zbl 1244.68021号 Swift,Terrance公司;大卫·沃伦。 36 2012 PITA系统:建立和回答不确定性推理的包容。 Zbl 1218.68169号 法布里齐奥·里古齐;Swift,Terrance公司 25 2011 分割和更新混合知识库。 Zbl 1218.68165号 马丁·斯洛塔;约昂·莱特;Swift,Terrance公司 4 2011 在带有注释析取的逻辑程序上进行推理的制表和答案包容。 兹比尔1237.68049 法布里齐奥·里古齐;Swift,Terrance公司 11 2010 包含答案的Tabling:实现、应用程序和性能。 Zbl 1306.68012号 Swift,Terrance公司;大卫·沃伦。 7 2010 Web推理和规则系统。第三届国际会议,RR 2009,美国弗吉尼亚州尚蒂利,2009年10月25日至26日,会议记录。 Zbl 1173.68315号 三 2009 正常程序的并发和本地评估。 Zbl 1185.68170号 鲁伊·马奎斯;Swift,Terrance公司 三 2008 通过表格化的对偶程序推导出基础良好的语义和广义稳定模型。 Zbl 1090.68014号 何塞·朱利奥·阿尔弗雷斯;路易斯·莫尼兹·佩雷拉;Swift,Terrance公司 13 2004 通过ASP在本体中进行演绎。 Zbl 1122.68628号 Swift,Terrance公司 7 2004 首选逻辑语法:定点语义和数据标准化应用。 Zbl 0995.68024号 崔宝秋;Swift,Terrance公司 三 2002 固定阶计算的极限。 Zbl 0974.68111号 萨戈纳斯,K。;T·斯威夫特。;D.S.沃伦。 2 2001 一种抽象机器,用于有效计算对基础良好的模型的查询。 Zbl 0957.68019号 康斯坦蒂诺斯·萨戈纳斯;Swift,Terrance公司;大卫·沃伦。 三 2000 从计算逻辑的角度进行精神病诊断。 Zbl 0983.68697号 约瑟夫·加特纳;Swift,Terrance公司;艾伦·田;卡洛斯·维加斯·达马西奥;路易斯·莫尼斯·佩雷拉 2 2000 表逻辑程序的高效访问机制。 Zbl 0911.68033号 罗马克里希南,I.V。;拉奥,普拉萨德;康斯坦蒂诺斯·萨戈纳斯;Swift,Terrance公司;大卫·沃伦。 14 1999 非单调编程表格。 Zbl 0940.68025号 Swift,Terrance公司 12 1999 连贯的、有充分依据的注释逻辑程序。 兹比尔0952.68025 卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉;Swift,Terrance公司 2 1999 具有延迟的表格分辨率的新公式。 Zbl 0964.68019号 Swift,Terrance公司 2 1999 超越深度优先策略:通过替代调度改进表格逻辑程序。 Zbl 0924.68054号 朱莉安娜·弗雷尔;Swift,Terrance公司;大卫·沃伦。 7 1998 在有充分依据的语义下对查询进行高效的自上而下的计算。 Zbl 0866.68017号 陈伟东;Swift,Terrance公司;大卫·沃伦。 14 1995 所有引用出版物 前5名被引用出版物 全部的 前5名205位作者引用 19 法布里齐奥·里古齐 11 Swift,Terrance公司 7 埃琳娜·贝洛迪 6 马尔科·阿尔贝蒂 6 曼努埃尔五世(Manuel V.Hermenegildo)。 6 伊芙琳娜·拉姆 6 里卡多·罗查 6 里卡多·泽斯 5 何塞·弗朗西斯科·莫拉莱斯 5 汤姆·施里杰弗斯 5 大卫·斯科特·沃伦 4 华金·阿里亚斯 4 曼纽尔·卡罗 4 托马斯·艾特 三 达米亚诺·阿佐利尼 三 维托尔·桑托斯·科斯塔 三 吕克·德·雷德 三 德索特,贝诺特 三 迈克尔·盖尔芬德 三 戈帕尔·古普塔 三 斯迪恩·海曼斯 三 杰尔达·詹森斯 三 安吉丽卡·基米格 三 约昂·莱特 三 曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos) 三 法里巴·萨德里 三 大辅佐藤 三 马丁·斯洛塔 2 米盖尔·阿雷亚斯 2 泰森·康迪 2 朱塞佩·科塔 2 崔宝秋 2 卡洛斯五世·达马西奥。 2 达斯,阿里亚姆 2 皮耶朗基罗·德尔·阿夸 2 尼古拉·迪·毛罗 2 克里斯蒂娜·费尔 2 安德烈亚·福米萨诺 2 伊莎贝尔·加西亚·孔特雷拉斯 2 阿娜·索菲亚·戈麦斯 2 塞尔吉奥·格雷科 2 顾涛 2 乔瓦姆巴蒂斯塔·伊安尼 2 马泰奥·因特兰迪 2 约阿希姆·扬森 2 罗伯特·A·科瓦尔斯基。 2 托马斯·卢卡西维奇 2 Martinez、Maria Vanina 2 克里斯蒂安·莫里纳罗 2 路易斯·莫尼斯·佩雷拉 2 莫雷诺,吉纳斯 2 阿伦·南帕利 2 阿诺Nguembang Fadja 2 恩里科·蓬泰利 2 罗马克里希南,C.R。 2 康斯坦蒂诺斯·萨戈纳斯 2 西基、广岛 2 沈一东 2 亚历山大·什卡普斯基 2 迪米塔尔·施特里奥诺夫 2 杰拉尔多·西马里。 2 斯利瓦,艾米 2 苏布拉曼尼亚,V.S。 2 乌埃尔、古雷 2 范登·布勒克,盖伊 2 戴维·范·尼乌文伯格 2 亚历山大·范登布鲁克 2 德克·弗梅尔 2 Wielemaker,简 2 杨默翰 2 法比奥·扎纳西 2 卡洛·扎尼奥洛 2 周能发 1 萨默尔·阿卜杜拉。 1 萨尔瓦多阿布雷乌 1 何塞·朱利奥·阿尔弗雷斯 1 安娜斯塔西娅·安娜斯塔西 1 格里戈里斯·安东尼乌 1 斯蒂芬·巴赫。 1 Chitta R.巴拉尔。 1 斯蒂法诺·比斯塔雷利 1 亨德里克·布洛克 1 巴特·博加特 1 斯特凡·布拉斯 1 马蒂亚斯·布罗切勒 1 莫里斯·布吕诺格 1 马可·卡劳蒂 1 米盖尔·卡列霍 1 鲁伊·卡马乔 1 陈建文 1 陈卓 1 海宁·克里斯蒂安森 1 乔瓦尼·西亚托 1 罗伯托·孔瓦洛尼埃里 1 斯特凡妮亚·康斯坦蒂尼 1 斯特凡妮娅·科斯坦蒂尼 1 Marcin Czenko,马钦 1 维罗妮卡·达尔 1 路易斯·达马斯 1 德卡特,布罗斯 …还有105位作者 全部的 前5名19篇连载文章中引用 46 逻辑程序设计理论与实践 12 国际近似推理杂志 9 数学与人工智能年鉴 6 机器学习 4 人工智能 4 应用逻辑杂志 三 理论计算机科学 2 ACM计算逻辑事务 2 程序设计中的逻辑和代数方法杂志 1 模糊集与系统 1 信息科学 1 计算机程序设计科学 1 自动推理杂志 1 计算的形式方面 1 中国科学。E系列 1 逻辑与代数程序设计杂志 1 机器学习研究杂志(JMLR) 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 128 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文