×
计算距离:
作者ID: 斯威夫特。泰伦斯最近的zbMATH文章由“Swift,Terrance”
发布为: 斯威夫特,泰伦斯;斯威夫特。
外部链接: MGP公司
编制索引的文档: 25种出版物1995年以来
2编辑稿件
合著者: 21位合著者具有23个联合出版物
371合著者

按年份列出的出版物

zbMATH公开赛中包含的引文

25出版物有被引用173时间116份文件 引用人
XSB:用表逻辑编程扩展Prolog。 Zbl 1244.68021
斯威夫特,泰伦斯;沃伦,大卫·S。
30
2012
PITA系统:不确定条件下推理的表和答案包容。 Zbl 1218.68169
里古兹,法布里齐奥;斯威夫特,泰伦斯
23
2011
分布语义下概率逻辑规划的良定性与有效推理。 兹布1267.68084
里古兹,法布里齐奥;斯威夫特,泰伦斯
15
2013
表逻辑程序的有效访问机制。 Zbl 0911.68033
罗摩克里希南,I.V。;拉奥,普拉萨德;萨戈纳,康斯坦丁诺斯;斯威夫特,泰伦斯;沃伦,大卫·S。
13
1999
基于良好语义的高效自顶向下查询计算。 Zbl 0866.68017
陈卫东;斯威夫特,泰伦斯;沃伦,大卫·S。
13
1995
非单调规划的表法。 Zbl 0940.68025
斯威夫特,泰伦斯
11
1999
带注释析取逻辑程序推理的表和答案包容。 Zbl 1237.68049
里古兹,法布里齐奥;斯威夫特,泰伦斯
11
2010
基于表对偶程序的完备语义和广义稳定模型中的诱因。 Zbl 1090.68014
阿尔弗雷斯,何塞·朱利奥;佩雷拉,鲁伊斯·莫尼兹;斯威夫特,泰伦斯
10
2004
基于ASP的本体论演绎。 Zbl 1122.68628
斯威夫特,泰伦斯
7
2004
超越深度优先策略:通过替代调度改进表逻辑程序。 Zbl 0924.68054
弗雷尔,朱丽安娜;斯威夫特,泰伦斯;沃伦,大卫·S。
6
1998
答案包含表:实现、应用和性能。 Zbl 1306.68012
斯威夫特,泰伦斯;沃伦,大卫·S。
4
2010
一种抽象机器,用于有效地计算对建立良好的模型的查询。 Zbl 0957.68019
萨戈纳,康斯坦丁诺斯;斯威夫特,泰伦斯;沃伦,大卫·S。
2000
偏好逻辑语法:定点语义及其在数据标准化中的应用。 Zbl 0995.68024
崔宝秋;斯威夫特,泰伦斯
2002
网络推理与规则系统。2009年第三届国际会议,2009年10月25日至26日,美国弗吉尼亚州尚蒂利,会议记录。 Zbl 1173.68315
2009
混合知识库的拆分与更新。 Zbl 1218.68165
斯洛塔,马丁;莱特,乔昂;斯威夫特,泰伦斯
2011
有限三值模型逻辑程序的终止评价。 Zbl 1354.68039
里古兹,法布里齐奥;斯威夫特,泰伦斯
2014
连贯的有充分根据的注释逻辑程序。 Zbl 0952.68025
达马西奥,卡洛斯·维加斯;佩雷拉,卢伊斯·莫尼兹;斯威夫特,泰伦斯
2
1999
一种新的具有延迟的表分解公式。 Zbl 0964.68019
斯威夫特,泰伦斯
2
1999
从计算逻辑的角度进行精神病诊断。 Zbl 0983.68697
加特纳,约瑟夫;斯威夫特,泰伦斯;天,艾伦;维加斯·达马西奥,卡洛斯;莫尼兹·佩雷拉,卢伊斯
2
2000
定阶计算的极限。 Zbl 0974.68111
萨戈纳斯,K。;斯威夫特。;沃伦,D.S。
2
2001
常规程序的并行和局部评估。 Zbl 1185.68170
马奎斯,瑞;斯威夫特,泰伦斯
2
2008
混合MKNF知识库的查询驱动过程。 Zbl 1353.68271
阿尔弗雷斯,何塞·朱利奥;克诺尔,马提亚斯;斯威夫特,泰伦斯
2
2013
混合MKNF知识库查询应答的目标导向实现。 Zbl 1286.68427
戈梅斯,安娜·索菲亚;阿尔弗雷斯,何塞·朱利奥;斯威夫特,泰伦斯
1
2014
支持知识表示和推理的增量式表。 Zbl 1307.68023
斯威夫特,泰伦斯
1
2014
社论:第29届国际逻辑程序设计会议特刊。 Zbl 1298.00316号
南丫岛,伊芙丽娜;斯威夫特,泰伦斯
1
2013
有限三值模型逻辑程序的终止评价。 Zbl 1354.68039
里古兹,法布里齐奥;斯威夫特,泰伦斯
2014
混合MKNF知识库查询应答的目标导向实现。 Zbl 1286.68427
戈梅斯,安娜·索菲亚;阿尔弗雷斯,何塞·朱利奥;斯威夫特,泰伦斯
1
2014
支持知识表示和推理的增量式表。 Zbl 1307.68023
斯威夫特,泰伦斯
1
2014
分布语义下概率逻辑规划的良定性与有效推理。 兹布1267.68084
里古兹,法布里齐奥;斯威夫特,泰伦斯
15
2013
混合MKNF知识库的查询驱动过程。 Zbl 1353.68271
阿尔弗雷斯,何塞·朱利奥;克诺尔,马提亚斯;斯威夫特,泰伦斯
2
2013
社论:第29届国际逻辑程序设计会议特刊。 Zbl 1298.00316号
南丫岛,伊芙丽娜;斯威夫特,泰伦斯
1
2013
XSB:用表逻辑编程扩展Prolog。 Zbl 1244.68021
斯威夫特,泰伦斯;沃伦,大卫·S。
30
2012
PITA系统:不确定条件下推理的表和答案包容。 Zbl 1218.68169
里古兹,法布里齐奥;斯威夫特,泰伦斯
23
2011
混合知识库的拆分与更新。 Zbl 1218.68165
斯洛塔,马丁;莱特,乔昂;斯威夫特,泰伦斯
2011
带注释析取逻辑程序推理的表和答案包容。 Zbl 1237.68049
里古兹,法布里齐奥;斯威夫特,泰伦斯
11
2010
答案包含表:实现、应用和性能。 Zbl 1306.68012
斯威夫特,泰伦斯;沃伦,大卫·S。
4
2010
网络推理与规则系统。2009年第三届国际会议,2009年10月25日至26日,美国弗吉尼亚州尚蒂利,会议记录。 Zbl 1173.68315
2009
常规程序的并行和局部评估。 Zbl 1185.68170
马奎斯,瑞;斯威夫特,泰伦斯
2
2008
基于表对偶程序的完备语义和广义稳定模型中的诱因。 Zbl 1090.68014
阿尔弗雷斯,何塞·朱利奥;佩雷拉,鲁伊斯·莫尼兹;斯威夫特,泰伦斯
10
2004
基于ASP的本体论演绎。 Zbl 1122.68628
斯威夫特,泰伦斯
7
2004
偏好逻辑语法:定点语义及其在数据标准化中的应用。 Zbl 0995.68024
崔宝秋;斯威夫特,泰伦斯
2002
定阶计算的极限。 Zbl 0974.68111
萨戈纳斯,K。;斯威夫特。;沃伦,D.S。
2
2001
一种抽象机器,用于有效地计算对建立良好的模型的查询。 Zbl 0957.68019
萨戈纳,康斯坦丁诺斯;斯威夫特,泰伦斯;沃伦,大卫·S。
2000
从计算逻辑的角度进行精神病诊断。 Zbl 0983.68697
加特纳,约瑟夫;斯威夫特,泰伦斯;天,艾伦;维加斯·达马西奥,卡洛斯;莫尼兹·佩雷拉,卢伊斯
2
2000
表逻辑程序的有效访问机制。 Zbl 0911.68033
罗摩克里希南,I.V。;拉奥,普拉萨德;萨戈纳,康斯坦丁诺斯;斯威夫特,泰伦斯;沃伦,大卫·S。
13
1999
非单调规划的表法。 Zbl 0940.68025
斯威夫特,泰伦斯
11
1999
连贯的有充分根据的注释逻辑程序。 Zbl 0952.68025
达马西奥,卡洛斯·维加斯;佩雷拉,卢伊斯·莫尼兹;斯威夫特,泰伦斯
2
1999
一种新的具有延迟的表分解公式。 Zbl 0964.68019
斯威夫特,泰伦斯
2
1999
超越深度优先策略:通过替代调度改进表逻辑程序。 Zbl 0924.68054
弗雷尔,朱丽安娜;斯威夫特,泰伦斯;沃伦,大卫·S。
6
1998
基于良好语义的高效自顶向下查询计算。 Zbl 0866.68017
陈卫东;斯威夫特,泰伦斯;沃伦,大卫·S。
13
1995
全部的 前5名

被197位作者引用

17 里古兹,法布里齐奥
11 斯威夫特,泰伦斯
7 贝洛迪,埃琳娜
5 阿尔贝蒂,马可
5 南丫岛,伊芙丽娜
5 沃伦,大卫·斯科特
5 泽斯,里卡多
4 阿里亚斯,华金
4 卡罗,曼纽尔
4 艾特,托马斯
4 罗查,里卡多
4 施里杰弗斯,汤姆
德雷特,卢克
德苏特,贝诺伊特
盖尔方德,迈克尔
海曼斯,斯蒂恩
金米格,安吉丽卡
莱特,乔昂
罗摩克里希南,C.R。
萨德里,法里巴
佐藤,太介
斯洛塔,马丁
2 阿瑞亚斯,米格尔
2 阿佐里尼,达米亚诺
2 科塔,朱塞佩
2 崔宝秋
2 达马西奥,卡洛斯五世。
2 戴尔阿卡,皮埃兰格罗
2 迪莫罗,尼古拉
2 菲尔,克里斯蒂娜
2 戈梅斯,安娜·索菲亚
2 格雷科,塞尔吉奥
2 古普塔,戈帕尔K。
2 赫密尼基尔多,曼努埃尔诉。
2 伊安尼,乔瓦姆巴蒂斯塔
2 詹森,约阿希姆
2 詹森,格达
2 科瓦尔斯基,罗伯特A。
2 卢卡西维奇,托马斯
2 曼塔德利斯,提奥弗拉斯托斯
2 马丁内斯,玛丽亚·瓦尼娜
2 莫里纳罗,克里斯蒂安
2 莫尼兹·佩雷拉,卢伊斯
2 莫拉莱斯,何塞·弗朗西斯科
2 莫雷诺,杜松子酒
2 纳帕利,阿伦
2 Nguembang Fadja,阿诺
2 萨戈纳,康斯坦丁诺斯
2 世木,广濑
2 沈亦东
2 西玛莉,杰拉尔多一世。
2 斯里瓦,艾米
2 苏布拉曼尼亚,V.S。
2 乌内尔,古莱
2 范登布罗克,伙计
2 Van Nieuwenborgh,戴维
2 维梅尔,德克
2 周能发
1 阿卜杜拉,萨默尔A。
1 阿尔弗雷斯,何塞·朱利奥
1 分析,安娜斯塔西亚
1 安东尼奥,格里戈里斯
1 巴赫,斯蒂芬H。
1 巴拉尔,奇塔R。
1 比斯塔雷利,斯特凡诺
1 Blockeel,亨德里克
1 博加茨,巴特
1 布罗切勒,马提亚斯
1 布鲁努赫,莫里斯
1 卡拉提,马可
1 卡列乔,米格尔
1 陈建文
1 陈卓
1 克里斯汀森,亨宁
1 康迪,泰森
1 康法罗涅里,罗伯托
1 康斯坦蒂尼,斯特凡尼亚
1 桑托斯·科斯塔,维托尔
1 科斯坦蒂尼,斯特凡尼亚
1 塞恩科,马金
1 达玛斯,露丝
1 达斯,阿里亚姆
1 德卡特,兄弟
1 德普特,斯蒂夫
1 德尔里厄,克劳迪奥
1 德蒙,巴特
1 哈托格,杰瑞一世。
1 Denecker,马克
1 德沃帕沃,瑞文
1 多达罗,胭脂红
1 杜门,杰伦·M。
1 德拉本特,Włodzimierz
1 恩德里斯,乌尔
1 埃佩,曼弗雷德
1 埃塔莱,桑德罗
1 费里,斯特凡诺
1 费伦斯,达安
1 芬克,迈克尔
1 福米萨诺,安德里亚
1 弗法罗,菲利波
…还有97位作者

按年份列出的引文