约翰·维托克斯
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2014 [i4] 约翰·维托克斯 , 马尔滕·马里恩 , 马克·德内克 :
接地FO和FO(ID)有界。 CoRR公司 abs/1401.3840 ( 2014 ) 2013 [j5] 约翰·维托克斯 , 马克·德内克 , 莫里斯·布吕诺格 :
一阶逻辑和归纳定义的约束传播。 ACM事务处理。 计算。 日志。 14 ( 三 ) : 17:1-17:45 ( 2013 ) 2012 [i3] 侯萍(Ping Hou) , 约翰·维托克斯 , 马克·德内克 :
LPC(ID):用归纳定义扩展的命题逻辑的序贯演算证明系统。 CoRR公司 abs/1207.2534 ( 2012 ) 2011 【j4】 约翰·维托克斯 :
一阶逻辑扩展的有限域和符号推理方法。 AI通讯。 24 ( 1 ) : 91-93 ( 2011 ) [第11条] 马克·德内克 , Joost Vennekens公司 , 汉娜·弗莱明克 , 约翰·维托克斯 , 莫里斯·布吕诺格 :
答案集编程对经典逻辑的贡献——ASP方法论分析。 逻辑程序设计、知识表示和非单调推理 2011 : 12-32 [第10条] 斯特夫·德普特 , 约翰·维托克斯 , 马克·德内克 :
基于知识的编程环境原型。 INAP/WLP公司 2011 : 279-286 [i2] 斯特夫·德·普特 , 约翰·维托克斯 , 马克·德内克 :
基于知识的编程环境的原型。 CoRR公司 abs/1108.5667 ( 2011 ) 2010 [j3] 约翰·维托克斯 , 马尔滕·马里恩 , 马克·德内克 :
接地FO和FO(ID)有界。 J.阿蒂夫。 智力。 物件。 38 : 223-269 ( 2010 ) 【c9】 汉娜·弗莱明克 , 约翰·维托克斯 , Joost Vennekens公司 , 马克·德内克 , 莫里斯·布吕诺格 :
对于所有SO可满足性问题,都存在一种近似推理方法。 杰莉亚 2010 : 326-338 [i1] 约翰·维托克斯 , 马克·德纳克 , 莫里斯·布吕诺格 :
扩展一阶逻辑的约束传播。 CoRR公司 abs/1008.2121 ( 2010 )
2000 – 2009
2009 【c8】 约翰·维托克斯 , 汉娜·弗莱明克 , 马克·德内克 :
调试模型扩展。 ICLP公司 2009 : 296-311 【c7】 约翰·维托克斯 , 猫兄弟 , 马克·德内克 :
面向计算FO理论的修正模型。 INAP公司 2009 : 85-101 2008 【c6】 约翰·维托克斯 , 马尔滕·马里恩 , 马克·德内克 :
有界限的接地。 AAAI公司 2008 : 572-577 【c5】 约翰·维托克斯 , 马尔滕·马里恩 , 马克·德内克 :
一阶逻辑理论中的近似推理。 韩国 2008 : 103-112 【c4】 马尔滕·马里恩 , 约翰·维托克斯 , 马克·德内克 , 莫里斯·布吕诺格 :
SAT(ID):用归纳定义扩展的命题逻辑的可满足性。 坐 2008 : 211-224 2007 [注2] Joost Vennekens公司 , 约翰·维托克斯 , 马尔滕·马里恩 , 马克·德内克 :
带有定点语义的逻辑谓词介绍。 第一部分:逻辑编程。 芬丹。 信息学 79 ( 1-2 ) : 187-208 ( 2007 ) [j1] Joost Vennekens公司 , 约翰·威托克 , 马尔滕·马里恩 , 马克·德内克 :
带定点语义的逻辑谓词介绍。 第二部分:自认知逻辑。 芬丹。 信息学 79 ( 1-2 ) : 209-227 ( 2007 ) 【c3】 马尔滕·马里恩 , 约翰·维托克斯 , 马克·德内克 :
在SAT中集成归纳定义。 LPAR公司 2007 : 378-392 【c2】 侯萍(Ping Hou) , 约翰·维托克斯 , 马克·德内克 :
PC(ID)的演绎系统。 低密度核磁共振 2007 : 162-174 2006 【c1】 约翰·维托克斯 , Joost Vennekens公司 , 马尔滕·马里恩 , 马克·德内克 , 莫里斯·布吕诺格 :
稳定语义和良好语义下的谓词引言。 ICLP公司 2006 : 242-256
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)