克里斯托弗·霍格
人员信息
附属: 英国伦敦帝国理工学院
优化列表
2010 – 2019
2010 [j6] Krysia Broda公司 , 克里斯托弗·霍格 :
为最小代理设计有效的策略。 计算。 J。 53 ( 8 ) : 1184-1209 ( 2010 )
2000 – 2009
2009 [第16条] 李敏(音) , 克里斯托弗·霍格 :
在GBMF的逻辑框架中制定Paypal方面。 冰岛(2) 2009 : 39-44 2007 [第15条] 克里斯托弗·霍格 , 李敏(音) :
通用业务建模框架。 冰岛(3) 2007 : 422-427 [第14条] 访问Hirankitti , Jaturapith Krohkaew公司 , 克里斯托弗·霍格 :
智能交通灯控制的多代理方法。 世界工程大会 2007 : 116-121 2006 [第13条] 李敏(音) , 克里斯托弗·霍格 :
基于约束的通用业务建模框架。 TEAA公司 2006 : 241-254 2005 [j5] Krysia Broda公司 , 克里斯托弗·霍格 :
确定并验证克隆远程反应代理的良好策略。 计算。 系统。 科学。 工程师。 20 ( 4 ) ( 2005 ) [c12] Krysia Broda公司 , 克里斯托弗·霍格 :
反应剂的抽象政策评估。 萨拉 2005 : 44-59 2004 【j4】 克里斯托弗·霍格 , 弗兰克·克里瓦切克 :
从用户操作派生工具规范。 IEICE传输。 信息系统。 87天 ( 4 ) : 831-837 ( 2004 ) [第11条] 克里斯托弗·霍格 , 弗兰克·克里瓦切克 :
约束导向型企业门户。 冰岛(3) 2004 : 411-418 [第10条] Krysia Broda公司 , 克里斯托弗·霍格 :
克隆远程反应机器人的政策。 MATES公司 2004 : 328-340 2003 【c9】 克里斯托弗·霍格 , 弗兰克·克里瓦切克 , 穆罕默德·艾哈迈德 :
灵活的基于约束的门户体系结构。 CAINE公司 2003 : 1-6 2000 【c8】 Krysia Broda公司 , 克里斯托弗·霍格 , 山姆·沃顿 :
构建远程反应机器人程序。 ECAI公司 2000 : 653-657
1990 – 1999
1994 【c7】 大卫·R·吉尔伯特 , 克里斯托弗·霍格 , 吉尔·兹拉图斯卡 :
将可观察行为规范转化为程序。 洛普斯特 1994 : 88-103 [电子1] Dov M.Gabbay公司 , 克里斯托弗·霍格 , J.A.罗宾逊 , 约格·希克曼 :
人工智能和逻辑编程中的逻辑手册,第2卷,演绎方法。 牛津大学出版社 1994 ,国际标准图书编号 0-19-853746-8 [目录] 1993 【c6】 访问Hirankitti , 克里斯托弗·霍格 :
用于程序调试的通用查询最小化。 AADEBUG公司 1993 : 153-170 1992 【c5】 大卫·R·吉尔伯特 , 克里斯托弗·霍格 :
表示和实现系统行为知识的逻辑。 人工智能高级专题 1992 : 42-49 1991 【c4】 大卫·R·吉尔伯特 , 克里斯托弗·霍格 :
从观察中导出逻辑程序。 ICLP逻辑程序构建研讨会 1991 : 113-126
1980 – 1989
1988 【c3】 克里斯托弗·霍格 :
编程环境。 ECAI公司 1988 : 698-706 1987 [j3] 德里克·布鲁 , 克里斯托弗·霍格 :
将关联性编译成逻辑程序。 J.日志。 程序。 4 ( 4 ) : 345-359 ( 1987 ) [注2] 克里斯托弗·霍格 :
PROLOG和软件工程。 微加工。 微系统 11 ( 6 ) : 308-318 ( 1987 ) 1986 【b2】 克里斯托弗·霍格 :
逻辑编程入门。 A.P.I.C.数据处理研究 21, 学术出版社 1986 ,国际标准图书编号 978-0-12-352092-0 第I-XII、1-278页 1981 [j1] 克里斯托弗·霍格 :
逻辑程序的派生。 美国临床医学杂志 28 ( 2 ) : 372-392 ( 1981 )
1970 – 1979
1978 【b1】 克里斯托弗·霍格 :
逻辑程序的推导。 英国伦敦帝国理工学院, 1978 【c2】 克里斯托弗·霍格 :
谓词逻辑中的程序综合。 AISB/GI(ECAI) 1978 : 138-146 【c1】 克里斯托弗·霍格 :
逻辑程序的面向目标派生。 多功能控制系统 1978 : 267-276