约翰·施利普夫(John S.Schlipf)
人员信息
附属: 美国辛辛那提大学
优化列表
2010 – 2019
2014 [j17] 克里希南德·戈什 , 约翰·施利普夫(John S.Schlipf) :
不确定性条件下化学反应系统的形式化建模。 J.生物信息。 计算。 生物。 12 ( 5 ) ( 2014 )
2000 – 2009
2008 [第11条] 约翰·施利普夫(John S.Schlipf) , 马克·德内克 :
一阶ID-Logic的复杂性。 ISAIM公司 2008 2007 [电子1] 奇塔·巴拉尔 , 格哈德·布鲁卡 , 约翰·施利普夫(John S.Schlipf) :
逻辑编程与非单调推理,第九届国际会议,LPNMR 2007,美国亚利桑那州坦佩,2007年5月15日至17日,会议记录。 计算机科学课堂讲稿 4483, 施普林格 2007 ,国际标准图书编号 978-3-540-72199-4 [目录] 2006 【b1】 加里·哈格德 , 约翰·施利普夫(John S.Schlipf) , 苏·怀特赛德斯 :
计算机科学的离散数学。 汤姆森·布鲁克斯/科尔 2006 ,国际标准图书编号 978-0-534-49501-5 第I-XXXII页,1-600页 [公元16年] 肖恩·韦弗 , 约翰·V·佛朗哥 , 约翰·施利普夫(John S.Schlipf) :
BDD连词中存在量化的扩展。 J.满意。 布尔模型。 计算。 1 ( 2 ) : 89-110 ( 2006 ) 2004 [公元15年] 约翰·V·佛朗哥 , 迈克尔·库里尔 , 约翰·施利普夫(John S.Schlipf) , 肖恩·韦弗 , 迈克尔·R·德兰斯菲尔德 , W.Mark Vanfleet公司 :
功能-支持高效SAT搜索启发的完整前瞻。 J.大学。 计算。 科学。 10 ( 12 ) : 1655-1695 ( 2004 ) [第10条] 杰弗里·沃德 , 约翰·施利普夫(John S.Schlipf) :
用子句学习回答集合编程。 低密度核磁共振 2004 : 302-313 2003 【c9】 约翰·V·佛朗哥 , 迈克尔·库里尔 , 约翰·施利普夫(John S.Schlipf) , 杰弗里·沃德 , 肖恩·韦弗 , 迈克尔·R·德兰斯菲尔德 , W.Mark Vanfleet公司 :
SBSAT:基于状态、基于BDD的可满足性求解器。 坐 2003 : 398-410
1990 – 1999
1999 [公元14年] 克里斯·詹内拉 , 约翰·施利普夫(John S.Schlipf) :
随机命题逻辑程序中四值Kripke-Kleene和四值良好语义的实证研究。 安。数学。 Artif公司。 智力。 25 ( 3-4 ) : 275-309 ( 1999 ) [j13] 约翰·V·佛朗哥 , 朱迪·戈德史密斯 , 约翰·施利普夫(John S.Schlipf) , 埃瓦德·斯佩肯迈耶 , 拉姆吉·P·斯瓦米纳坦 :
一类纯蕴涵公式的算法。 谨慎。 申请。 数学。 96-97 : 89-106 ( 1999 ) 1997 【c8】 J.塞泽 , 约翰·施利普夫(John S.Schlipf) :
普通逻辑程序的可负担类。 低密度核磁共振 1997 : 92-111 1995 [公元12年] 霍华德·布莱尔 , V.维克托·马雷克 , 约翰·施利普夫(John S.Schlipf) :
本地分层程序的表达能力。 安。数学。 Artif公司。 智力。 15 ( 2 ) : 209-229 ( 1995 ) [公元11年] 约翰·施利普夫(John S.Schlipf) :
逻辑编程的复杂性和不确定性结果。 安。数学。 Artif公司。 智力。 15 ( 3-4 ) : 257-288 ( 1995 ) [公元10年] 肯尼思·伯曼 , 约翰·V·佛朗哥 , 约翰·施利普夫(John S.Schlipf) :
Horn集的唯一可满足性可以在近似线性时间内求解。 谨慎。 申请。 数学。 60 ( 1-3 ) : 77-91 ( 1995 ) [公元9年] 约翰·施利普夫(John S.Schlipf) , 弗雷德·安妮施泰因 , 约翰·V·佛朗哥 , 拉姆吉·P·斯瓦米纳坦 :
关于寻找扩展Horn公式的解。 信息处理。 莱特。 54 ( 三 ) : 133-137 ( 1995 ) [j8] 约翰·施利普夫(John S.Schlipf) :
逻辑编程语义的表达能力。 J.计算。 系统。 科学。 51 ( 1 ) : 64-86 ( 1995 ) 【c7】 肯尼思·伯曼 , 约翰·施利普夫(John S.Schlipf) , 约翰·V·佛朗哥 :
计算有充分依据的语义更快。 低密度核磁共振 1995 : 113-126 1993 [j7] 阿伦·范·盖尔德 , 约翰·施利普夫(John S.Schlipf) :
逻辑程序的常识公理化。 J.日志。 程序。 17 ( 2/3&4 ) : 161-195 ( 1993 ) 1992 [j6] 约翰·施利普夫(John S.Schlipf) :
形式化逻辑编程逻辑。 安。数学。 Artif公司。 智力。 5 ( 2-4 ) : 279-302 ( 1992 ) 【c6】 约翰·施利普夫(John S.Schlipf) :
逻辑程序设计中复杂性和不确定性结果的调查。 逻辑程序设计中的结构复杂性和递归理论方法 1992 : 143-164 1991 [j5] 阿伦·范·盖尔德 , 肯尼思·罗斯 , 约翰·施利普夫(John S.Schlipf) :
通用逻辑程序的已有语义。 美国临床医学杂志 38 ( 三 ) : 620-650 ( 1991 ) 【c5】 约翰·施利普夫(John S.Schlipf) :
在逻辑程序中表示认识区间。 低密度核磁共振 1991 : 133-147 1990 【c4】 约翰·施利普夫(John S.Schlipf) :
逻辑编程语义的表达能力。 豆荚 1990 : 196-204
1980 – 1989
1988 【c3】 约翰·施利普夫(John S.Schlipf) :
封闭世界推理什么时候可以牵引? ISMIS系统 1988 : 485-494 【c2】 阿伦·范·盖尔德 , 肯尼思·罗斯 , 约翰·施利普夫(John S.Schlipf) :
通用逻辑程序的无基础集和良好语义。 豆荚 1988 : 221-230 1987 【j4】 约翰·施利普夫(John S.Schlipf) :
可决定性和限定性。 Ann.纯应用。 日志。 35 : 173-191 ( 1987 ) 1986 【c1】 约翰·施利普夫(John S.Schlipf) :
一般分界有多难计算? (扩展摘要)。 低收入国家 1986 : 92-95
1970 – 1979
1978 [j3] 约翰·施利普夫(John S.Schlipf) :
通过递归饱和走向模型理论。 J.塞姆。 日志。 43 ( 2 ) : 183-206 ( 1978 ) 1977 [注2] 约翰·施利普夫(John S.Schlipf) :
一阶理论的序数谱。 J.塞姆。 日志。 42 ( 4 ) : 492-505 ( 1977 ) 1976 [j1] 乔恩·巴韦斯 , 约翰·施利普夫(John S.Schlipf) :
递归饱和和辉煌模型简介。 J.塞姆。 日志。 41 ( 2 ) : 531-536 ( 1976 )