逻辑程序设计理论与实践(TPLP),第2卷
第2卷第1期,2002年1月
米罗斯瓦·特鲁兹琴斯基 :
计算大型和小型稳定模型。 1-23 波杜因·勒·查利埃 , 萨比娜·罗西 , 帕斯卡·范·亨特利克 :
Prolog的基于序列的抽象解释。 25-84 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
线性逻辑程序的有效不动点语义。 85-122 Krzysztof R.Apt公司 :
书评:Mordechai Ben-Ari编著的《计算机科学的数学逻辑(第二修订版)》,Springer出版社,2001年,平装本:ISBN 1-85233-319-7。 123-124
第2卷第2期,2002年3月
安娜丽莎·博西 , 桑德罗·埃塔利 , 萨比娜·罗西 :
输入消耗导数的性质。 125-154 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 , 埃娜·扎法内拉 :
集共享的稳健性、幂等性和交换性。 155-201 大卫·A·罗森布鲁斯 :
编写确定性元解释器的链式程序。 203-232 埃娜·扎法内拉 , 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 :
通过互补分解非冗余共享。 233-261
第2卷第3期,2002年5月
安娜丽莎·博西 , 尼科莱塔·科科 , 桑德罗·埃塔利 , 萨比娜·罗西 :
关于一般逻辑程序的模块终止证明。 263-291 弗朗西斯科·布卡弗里 , 沃尔夫冈·费伯 , 尼古拉·利昂 :
具有继承的虚拟逻辑程序。 293-321 约翰·格兰特 , 杰克·明克 :
基于逻辑的数据集成方法。 323-368 迪诺·佩德莱斯基 , 萨尔瓦托·鲁杰里 , Jan-Georg Smaus公司 :
终止逻辑程序的类。 369-418 Yde Venema公司 :
书评:David Harel、Dexter Kozen和Jerzy Tiuryn的《动态逻辑》,麻省理工学院出版社,ISBN 0-262-08289-6。 419-421
2002年7月至9月,第2卷,第4-5期
莫里斯·布鲁诺吉 , 刘恭桥 :
节目开发专刊,客座编辑介绍。 423-424 伊恩·海耶斯 , 罗伯特·科尔文 , 大卫·海默 , 保罗·斯特罗珀 , 雷·尼克森 :
逻辑程序的精化演算。 425-460 迈克尔·勒谢尔 , 莫里斯·布鲁诺吉 :
通过部分演绎实现逻辑程序专业化:控制问题。 461-515 安迪·金 , Lunjin路 :
约束逻辑程序的向后分析。 517-547 沃德齐米尔兹·德拉本特 , 扬·马卢辛斯基(Jan Maluszynski) , 帕维尔·彼得扎克 :
使用参数集约束定位CLP程序中的错误。 549-610 埃尔万·贾希尔 , 米雷尔·杜卡斯 :
通过跟踪分析进行通用程序监控。 611-643
第2卷第6期,2002年11月
托马斯·艾特 , 迈克尔-芬克 , 朱利安娜·萨巴蒂尼 , 汉斯·托姆皮茨 :
智能信息代理的声明逻辑编程方法。 645-709 托马斯·艾特 , 迈克尔-芬克 , 朱利安娜·萨巴蒂尼 , 汉斯·汤皮特斯 :
基于因果拒绝的更新序列的性质。 711-767 伊夫·卡索 , 弗朗索瓦·萨维耶·约塞特 , 弗朗索瓦·拉布尔特 :
克莱尔:将集合、搜索和规则结合起来,以更好地表达算法。 769-805