逻辑程序设计理论与实践(TPLP),第8卷
2008年1月第8卷第1期
罗伯特·科尔文 , 伊恩·海耶斯 , 保罗·A·斯特罗珀 :
在上下文逻辑程序优化中计算模块。 1-31 Lunjin路 :
使用非判别并集提高类型分析的精度。 33-79 能发周 , 佐藤大辅 , 易东申 :
线性列表策略和优化。 81-109 弗雷德里克·梅斯纳德 , 亚历山大·塞雷布雷尼克 :
对于CLP(R),仿射级映射的递归是P时间可判定的。 111-119 迈克尔·科迪什 , 维塔利湖 , 彼得·J·斯塔基 :
具有可满足性的逻辑编程。 121-128
第8卷第2期,2008年3月
乔治·特拉西纳 , 尼古拉·利昂 , 文森齐诺·里奥 , 克劳迪奥·帕内塔 :
在数据库和逻辑编程系统中进行递归查询的实验。 129-165 维克托·马雷克 , 伊尔卡·尼梅尔 , 米罗斯瓦·特鲁兹琴斯基 :
具有单调抽象约束原子的逻辑程序。 167-199 亚历山大·塞雷布雷尼克 , 汤姆·施里杰弗斯 , 巴特·德梅恩 :
改进Prolog程序:为Prolog重构。 201-215 斯特凡·沃尔特兰 :
关于应答集编程中的强、一致和其他等价概念的常见观点。 217-234 巴特·德梅恩 :
立即学习Prolog! 帕特里克·布莱克本(Patrick Blackburn)、约翰·博斯(Johan Bos)、克里斯蒂娜·斯特里格尼茨(Kristina Striegnitz):《学院出版物》(College Publications),2006年平装本,ISBN 1-904987-17-6,xiv+265页。 235-242 彼得·J·斯塔基 :
使用ECLiPSe的约束逻辑编程 Krzysztof Apt和Mark Wallace,剑桥大学出版社,2007 Hardback,ISBN 9780521866286348页。 242-246
第8卷第3期,2008年5月
马西莫·马尔奇奥里 :
逻辑程序设计与网络专题导论。 247-248 蒂姆·伯纳斯-李 , 丹康纳利 , 拉拉娜·卡加尔 , 尤西·沙尔夫 , 亨德勒 :
N3Logic:万维网的逻辑框架。 249-269 弗朗西丝卡·A·利西 :
使用归纳逻辑编程在语义Web的本体之上构建规则。 271-300 肯·塞缪尔 , 利奥·奥斯特 , 苏塞特·斯托滕伯格 , 招聘经理弗克斯 , 保罗·富兰克林 , 阿德里安·约翰逊 , 肯尼思·拉斯基 , 黛博拉·尼科尔斯 , 史蒂夫·洛佩兹 , 杰森·彼得森 :
将OWL和语义web规则转换为prolog:转向描述逻辑程序。 301-322 杰苏斯·曼努埃尔·阿曼德罗斯-吉梅内斯 , 安东尼奥·贝塞拉·特隆 , 弗朗西斯科·恩西索·巴尼奥斯 :
在逻辑编程中查询XML文档。 323-361 Jan Wielemaker公司 , 黄志生 , 卢伦斯·范德梅伊 :
SWI-Prolog和web。 363-392 埃德娜·拉克豪斯 , 爱德华多鲁伊斯 , 玛丽亚·埃瑟尔·维达尔 :
语义网中的查询评估和优化。 393-409 斯迪恩·海曼斯 , 乔斯·德布鲁因(Jos de Bruijn) , 利维亚·普雷多尤 , 克里斯蒂娜·费尔 , 戴维·范·纽文伯格 :
保护混合知识库。 411-429
第8卷第4期,2008年7月
哈利尔·德杰洛尔 , Thi-Bich-Hanh刀 , 托姆·W·福吕维思 :
重温有限或无限树理论。 431-489 汤姆·施里杰弗斯 , 巴特·德梅恩 , 大卫·斯科特·沃伦 :
TCHR:表格CLP的框架。 491-526 胡安·卡洛斯·尼维斯 , 尤利斯·科尔特斯 , 毛里西奥·奥索里奥 :
作为稳定模型的首选扩展。 527-543
第8卷,编号5-6,2008年11月
沃尔夫冈·费伯 , 杰拉尔德·菲弗 , 尼古拉·利昂 , 蒂娜·德尔·阿米 , 朱塞佩·埃尔帕 :
DLV系统中聚合功能的设计和实现。 545-580 卢多维奇·朗之万 , 米雷尔·杜卡斯 :
跟踪器驱动程序的设计与实现:约束逻辑程序的简单高效动态分析。 581-609 Arjen Hommersom公司 , 彼得·J·F·卢卡斯 , 帕特里克·范·博梅尔 :
使用自动推理工具检查临床指南的质量。 611-641 弗朗切斯科·布卡福里 , 吉安卢卡·卡米尼蒂 :
具有社交功能的逻辑编程。 643-690 马蒂·贾维萨洛 , 艾米莉亚·奥卡里宁 :
常规逻辑程序中的扩展ASP Tableaux和规则冗余。 691-716 艾米莉亚·奥卡里宁 , 托米·詹胡宁 :
为smodels程序实现稳定模型语义的组合。 717-761