约翰·斯莱尼
人员信息
附属: 美国阿克顿澳大利亚国立大学
其他同名人员
SPARQL查询
优化列表
2010 – 2019
2013 [公元40年] 西尔维·蒂埃鲍克斯 , 卡尔顿-科夫林 , 哈桑·希贾齐 , 约翰·斯莱尼 :
与MIP一起规划配电系统的供电恢复。 国际JCAI 2013 : 2900-2907 [i2] 西尔维·蒂埃鲍克斯 , 弗罗杜德·卡班扎 , 约翰·斯莱尼 :
具有非马尔可夫报酬的决策过程的任意时刻基于状态的求解方法。 CoRR公司 abs/1301.0606 ( 2013 ) 2012 [j13] J.C.比尔 , 罗斯·T·布雷迪 , J.迈克尔·邓恩 , 阿伦·黑森 , 埃德温·D·马雷斯 , 罗伯特·梅耶 , 普里斯特 , 格雷格·雷斯塔尔 , 大卫·里普利 , 约翰·斯莱尼 , 理查德·西尔文 :
关于三元关系和条件。 J.菲洛斯。 日志。 41 ( 三 ) : 595-612 ( 2012 ) [公元39年] 帕特里克·哈斯鲁姆 , 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 :
最佳无删除规划的最小地标。 ICAPS公司 2012 2011 [i1] 查尔斯·格雷顿 , 弗罗杜德·卡班扎 , 大卫·普莱斯 , 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 :
非马尔可夫报酬的决策理论规划。 CoRR公司 abs/1109.2355 ( 2011 ) 2010 [公元38年] 安德雷斯·鲍尔 , 紫罗兰属植物 , 马克·布朗 , 马特·格雷 , 丹尼尔·哈拉博尔 , 约翰·斯莱尼 :
G12的集成建模、调试和可视化环境。 人物配对关系 2010 : 522-536 [公元37年] 约翰·斯莱尼 :
可视化推理:ATP可以从CP中学到什么。 UITP(UITP) 2010 : 57-70
2000 – 2009
2009 [c36] 安布拉根语 , 约翰·斯莱尼 :
走向一个通用CNF简化器,以最小化结构化问题的难度。 国际通信技术协会 2009 : 99-106 2008 [公元12年] 托马什·科瓦尔斯基 , 约翰·斯莱尼 :
S3的有限片段。 数学报告。 日志。 43 : 65-72 ( 2008 ) [公元35年] 约翰·斯莱尼 :
约束建模:一阶自动推理(邀请谈话)的挑战。 PAAR/ESHOL公司 2008 2006 [公元11年] 西尔维·蒂埃鲍克斯 , 查尔斯·格雷顿 , 约翰·斯莱尼 , 大卫·普莱斯 , 弗罗杜德·卡班扎 :
非马尔可夫报酬的决策理论规划。 J.阿蒂夫。 智力。 物件。 25 : 17-74 ( 2006 ) [公元34年] 菲利普·基尔比 , 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 , 托比·沃尔什 :
估计搜索树大小。 AAAI公司 2006 : 1014-1019 2005 [公元10年] 约翰·斯莱尼 :
带有未解释过去运算符的半正LTL。 日志。 J.IGPL公司 13 ( 2 ) : 211-229 ( 2005 ) [c33] 安布拉根语 , 恩吉亚·范杜克(Duc Nghia Pham) , 约翰·斯莱尼 , 阿布杜勒·萨塔尔 :
旧分辨率符合现代SLS。 AAAI公司 2005 : 354-359 [公元32年] 菲利普·基尔比 , 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 , 托比·沃尔什 :
满足性中的主干和后门。 AAAI公司 2005 : 1368-1373 [公元31年] 彼得·J·斯塔基 , 玛丽亚·J·加西亚(Maria J.García de la Banda) , 迈克尔·J·马赫 , 金·马里奥特 , 约翰·K·斯莱尼 , 佐尔坦·索莫吉 , 马克·华莱士 , 托比·沃尔什 :
G12项目:将独立于求解器的模型映射到高效解决方案。 人物配对关系 2005 : 13-16 [公元30年] 安布拉根语 , 约翰·斯莱尼 :
SAT有限制的前瞻饱和。 人物配对关系 2005 : 727-731 [公元29年] 约翰·斯莱尼 :
相关逻辑和超一致性。 不一致公差 2005 : 270-293 [公元28年] 彼得·J·斯塔基 , 玛丽亚·加西亚·德拉班达 , 迈克尔·J·马赫 , 金·马里奥特 , 约翰·斯莱尼 , 佐尔坦·索莫吉 , 马克·华莱士 , 托比·沃尔什 :
G12项目:将独立于求解器的模型映射到高效解决方案。 ICLP公司 2005 : 9-13 [公元27年] 菲利普·基尔比 , 约翰·斯莱尼 , 托比·沃尔什 :
旅行推销员的骨干。 国际JCAI 2005 : 175-180 2004 [公元26年] 阿诺德·比纳斯 , 约翰·K·斯莱尼 :
用软模型语义指导一阶定理证明器。 AAAI公司 2004 : 948-949 [公元25年] 约翰·斯莱尼 , 阿诺德·比纳斯 , 大卫·普莱斯 :
用软约束指导定理证明器。 ECAI公司 2004 : 221-225 2002 [公元9年] 卡利尔·霍奇森 , 约翰·斯莱尼 :
TPTP、CASC和语义引导定理证明程序的开发。 AI通讯。 15 ( 2-3 ) : 135-146 ( 2002 ) [j8] 约翰·斯莱尼 :
卢卡西维茨公理的更多证明。 J.汽车。 原因。 29 ( 1 ) : 59-66 ( 2002 ) [公元24年] 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 :
通过符号模型检查通过规划解决电源恢复问题。 ECAI公司 2002 : 576-580 【c23】 西尔维·蒂埃鲍克斯 , 弗罗杜德·卡班扎 , 约翰·K·斯莱尼 :
具有非马尔可夫报酬的决策过程的任意时刻基于状态的求解方法。 阿拉伯联合酋长国 2002 : 501-510 [电子4] 鲍勃·麦凯 , 约翰·斯莱尼 :
AI 2002:《人工智能进展》,第15届澳大利亚人工智能联合会议,澳大利亚堪培拉,2002年12月2-6日,会议记录。 计算机科学课堂讲稿 2557, 施普林格 2002 ,国际标准图书编号 3-540-00197-2 [目录] 2001 [j7] 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 :
重访Blocks World。 Artif公司。 智力。 125 ( 1-2 ) : 119-153 ( 2001 ) [公元22年] 卡利尔·霍奇森 , 约翰·斯莱尼 :
系统描述:SCOTT-5。 国际JCAR 2001 : 443-447 【c21】 约翰·斯莱尼 , 托比·沃尔什 :
优化和近似的主干。 国际JCAI 2001 : 254-259 2000 [j6] 约翰·K·斯莱尼 :
导言。 Inf.计算。 162 ( 1-2 ) : 1-2 ( 2000 ) [公元20年] 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 , 菲利普·基尔比 :
评估优化的难度。 ECAI公司 2000 : 123-130 [第19条] 约翰·斯莱尼 :
有止血刀吗? ECAI公司 2000 : 614-620 [电子3] 沟口利一郎 , 约翰·斯莱尼 :
PRICAI 2000,人工智能主题,第六届环太平洋国际人工智能会议,澳大利亚墨尔本,2000年8月28日至9月1日,会议记录。 计算机科学课堂讲稿 1886, 施普林格 2000 ,国际标准图书编号 3-540-67925-1 [目录]
1990 – 1999
1999 [c18] 王洪雪 , 维杰·瓦拉达拉扬 , 约翰·斯莱尼 :
走向完美。 工具(32) 1999 : 115-126 1998 [c17] 王洪雪 , 约翰·斯莱尼 :
GISM:一种建模和开发基于代理的智能系统的语言。 戴 1998 : 122-136 [第16条] 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 :
关于决策和优化问题的难度。 ECAI公司 1998 : 244-248 [电子2] 格里戈里斯·安东尼奥 , 约翰·斯莱尼 :
人工智能高级主题,第11届澳大利亚人工智能联合会议,AI'98,澳大利亚布里斯班,1998年7月13日至17日,论文集。 计算机科学课堂讲稿 1502, 施普林格 1998 ,国际标准图书编号 3-540-65138-1 [目录] 1997 [第15条] 约翰·斯莱尼 :
Minlog:最小逻辑定理证明程序。 CADE公司 1997 : 268-271 [第14条] 约翰·斯莱尼 , 罗伯特·梅耶 :
二人逻辑:分布子结构逻辑的语义。 ECSQARU-FAPR公司 1997 : 554-567 1996 [第13条] 约翰·K·斯莱尼 , 西尔维·蒂埃鲍克斯 :
区块世界中的线性时间近最优规划。 AAAI/IAAI,第2卷 1996 : 1208-1214 [c12] 约翰·斯莱尼 , 蒂莫西·苏伦登克 :
有限模型生成与定理证明相结合:问题与展望。 FroCoS公司 1996 : 141-155 [e1] 迈克尔·麦克罗比 , 约翰·斯莱尼 :
自动扣除——CADE-13,第13届自动扣除国际会议,美国新泽西州新不伦瑞克,1996年7月30日至8月3日,会议记录。 计算机科学课堂讲稿 1104, 施普林格 1996 ,国际标准图书编号 3-540-61511-3 [目录] 1995 [第11条] 格雷格·雷斯塔尔 , 约翰·斯莱尼 :
现实信念修正。 WOCFAI公司 1995 : 367-378 1994 [第10条] 约翰·斯莱尼 :
有限数学的危机:作为因果关系的自动推理。 CADE公司 1994 : 1-13 【c9】 约翰·斯莱尼 , 尤因·L·卢斯克 , 威廉·麦库恩 :
SCOTT:语义约束水獭系统描述。 CADE公司 1994 : 764-768 【c8】 约翰·斯莱尼 :
查找器:有限域枚举器-系统描述。 CADE公司 1994 : 798-801 1993 [j5] 约翰·斯莱尼 :
R附近系统中的句子常量。 Stud Logica公司 52 ( 三 ) : 443-456 ( 1993 ) 【c7】 藤田正之 , 约翰·斯莱尼 , 弗兰克·贝内特 :
有限代数中某些结果的自动生成。 国际JCAI 1993 : 52-59 【c6】 约翰·K·斯莱尼 :
斯科特:一个模型引导的定理证明器。 国际JCAI 1993 : 109-115 1992 【c5】 尤因·L·卢斯克 , 威廉·麦库恩 , 约翰·斯莱尼 :
ROO:一个并行定理证明程序。 CADE公司 1992 : 731-734 1991 【j4】 约翰·斯莱尼 :
阿克曼常数定理:计算机辅助研究。 J.汽车。 原因。 7 ( 4 ) : 453-474 ( 1991 ) 【c4】 约翰·斯莱尼 :
超一致性的含义。 国际JCAI 1991 : 1052-1059 1990 【c3】 约翰·K·斯莱尼 , 尤因·L·卢斯克 :
自动演绎中闭包计算的并行化。 CADE公司 1990 : 28-39 【c2】 保罗·普里查德 , 约翰·斯莱尼 :
命题逻辑计算模型教程。 CADE公司 1990 : 685 【c1】 尤因·L·卢斯克 , 威廉·麦库恩 , 约翰·斯莱尼 :
基于并行闭包的自动推理。 Dagstuhl推理系统并行化研讨会 1990 : 347
1980 – 1989
1989 [j3] 约翰·斯莱尼 :
德摩根单体的结构及相关逻辑和理论的推论。 圣母院J.正式日志。 30 ( 1 ) : 117-129 ( 1989 ) 1987 [注2] 约翰·斯莱尼 :
没有WI的相关逻辑的简化模型。 圣母院J.正式日志。 28 ( 三 ) : 395-407 ( 1987 ) 1985 [j1] 约翰·斯莱尼 :
3088品种阿克曼常数问题的解决方案。 J.塞姆。 日志。 50 ( 2 ) : 487-501 ( 1985 )