戴维·范·纽文伯格
人员信息
优化列表
2000 – 2009
2008 [j6] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
用保护程序打开答案集编程。 ACM事务处理。 计算。 日志。 9 ( 4 ) : 26:1-26:53 ( 2008 ) [j5] 斯迪恩·海曼斯 , 乔斯·德·布鲁因(Jos de Bruijn) , 利维亚·普雷多尤 , 克里斯蒂娜·费尔 , 戴维·范·纽文伯格 :
受保护的混合知识库。 理论与实践。 日志。 程序。 8 ( 三 ) : 411-429 ( 2008 ) 2007 【j4】 戴维·范·纽文伯格 , 马丁·德科克 , 德克·弗梅尔 :
模糊答案集编程导论。 安。数学。 Artif公司。 智力。 50 ( 3-4 ) : 363-388 ( 2007 ) [j3] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
语义网的开放式答案集编程。 J.应用。 日志。 5 ( 1 ) : 144-169 ( 2007 ) [公元22年] 戴维·范·纽文伯格 , 马丁·德科克 , 德克·弗梅尔 :
使用dlvhex计算模糊答案集。 ICLP公司 2007 : 449-450 【c21】 戴维·范·纽文伯格 , 托马斯·艾特 , 德克·弗梅尔 :
具有外部功能的条件规划。 lp核磁共振 2007 : 214-227 [i3] 斯迪恩·海曼斯 , 乔斯·德·布鲁因(Jos de Bruijn) , 利维亚·普雷多尤 , 克里斯蒂娜·费尔 , 戴维·范·纽文伯格 :
受保护的混合知识库。 CoRR公司 abs/0711.2155 ( 2007 ) 2006 [j2] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
概念逻辑程序。 安。数学。 Artif公司。 智力。 47 ( 1-2 ) : 103-137 ( 2006 ) [j1] 戴维·范·纽文伯格 , 德克·弗梅尔 :
有序逻辑程序的首选答案集。 理论与实践。 日志。 程序。 6 ( 1-2 ) : 107-167 ( 2006 ) [公元20年] 戴维·范·纽文伯格 , 玛丽娜·德沃斯 , 斯迪恩·海曼斯 , 德克·弗梅尔 :
基于答案集编程的多智能体系统分层决策。 CLIMA公司 2006 : 20-40 [第19条] 戴维·范·纽文伯格 , 斯迪恩·海曼斯 , 德克·弗梅尔 :
近似扩展答案集。 ECAI公司 2006 : 462-466 [第18条] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
广义文字保护开放答案集编程。 FoIKS公司 2006 : 179-200 [第17条] 戴维·范·纽文伯格 , 斯迪恩·海曼斯 , 德克·弗梅尔 :
配合答案集编程。 ICLP公司 2006 : 226-241 [第16条] 戴维·范·纽文伯格 , 马丁·德科克 , 德克·弗梅尔 :
模糊答案集编程。 杰莉亚 2006 : 359-372 [i2] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
使用Guarded Programs打开答案集编程。 CoRR公司 abs/cs/0603025 ( 2006 ) 2005 [第15条] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
用任意规则扩展概念逻辑程序。 答案集编程 2005 [第14条] 戴维·范·纽文伯格 , 斯迪恩·海曼斯 , 德克·弗梅尔 :
使用定量偏好进行智能分析。 答案集编程 2005 [第13条] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
扩展概念逻辑程序的非单调本体论和基于规则的推理。 ESWC公司 2005 : 392-407 [第12条] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
使用首选答案集编程从时间规范进行合成。 信息通信与通信系统 2005 : 280-294 [第11条] 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
保护开放式答案集编程。 lp核磁共振 2005 : 92-104 [第10条] 戴维·范·纽文伯格 , 斯迪恩·海曼斯 , 德克·弗梅尔 :
有序逻辑程序求解器。 焊盘 2005 : 128-142 【c9】 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
信任网络上的优先推理。 ISWC公司 2005 : 368-382 2004 【c8】 戴维·范·纽文伯格 , 斯迪恩·海曼斯 , 德克·弗梅尔 :
在具有线性有序多个首选项的程序上。 ICLP公司 2004 : 180-194 【c7】 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
自治代理的层次决策。 杰莉亚 2004 : 44-56 【c6】 戴维·范·纽文伯格 , 斯迪恩·海曼斯 , 德克·弗梅尔 :
加权答案集及其在智能分析中的应用。 LPAR公司 2004 : 169-183 【c5】 斯迪恩·海曼斯 , 戴维·范·纽文伯格 , 德克·弗梅尔 :
使用概念逻辑程序的语义Web推理。 规则ML 2004 : 113-127 [i1] 戴维·范·纽文伯格 , 德克·弗梅尔 :
有序逻辑程序的首选答案集。 CoRR公司 反恐精英。 LO/0407049号 ( 2004 ) 2003 【c4】 戴维·范·纽文伯格 , 德克·弗梅尔 :
有序程序作为派生系统。 APPIA-GULP-PRODE公司 2003 : 374-385 【c3】 戴维·范·纽文伯格 , 德克·弗梅尔 :
排序和否定为失败。 ICLP公司 2003 : 194-208 【c2】 戴维·范·纽文伯格 , 德克·弗梅尔 :
有序诊断。 LPAR公司 2003 : 244-258 2002 【c1】 戴维·范·纽文伯格 , 德克·弗梅尔 :
有序逻辑程序的首选答案集。 杰莉亚 2002 : 432-443