古巴哈瓦那APPIA-GULP-PRODE 2000
阿戈斯蒂诺·多维尔 , 玛丽亚·奇亚拉·梅奥 , 安德烈亚·奥米西尼 :
2000年12月4日至6日,古巴拉哈巴纳,《声明性编程——2000年AGP论文选集》。 理论计算机科学电子笔记 48, 爱思维尔 2000 安德烈亚·福米萨诺 , 尤金尼奥·奥莫多 , 马可·坦佩里尼 :
分层地图推理:一种在场景中进行试验的实验方法。 1-28 阿戈斯蒂诺·科尔特斯 , 萨比娜·罗西 , 波杜因·勒·查利埃 :
具有延迟声明的逻辑程序基于重新执行的分析的操作语义。 29-44 吉安卢卡·阿马托 :
一阶逻辑的正确答案。 45-64 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
析取与线性逻辑规划的关系。 65-89 阿戈斯蒂诺·多维尔 , 罗伯托·贾科巴齐 , 伊丽莎·昆塔雷利 :
精炼和压缩抽象模型检查。 90-107 亚历山德拉·迪·皮耶罗 , 克里斯·汉金 , 赫伯特·威克利基 :
声明性框架中的概率限制。 108-130 马可·科米尼 , 罗伯塔·戈里 , 乔治·列维 :
逻辑程序作为逻辑程序归纳验证中的规范。 131-146 Thom W.Frühwirth先生 :
约束程序中规则应用程序的数量。 147-166 利贾·费雷拉 , 萨尔瓦多·阿布鲁 :
AJACS设计,又一个Java约束编程框架。 167-178 安德烈亚·奥米西尼 , 恩里科·丹蒂 :
正式重新规范。 179-196 莫雷诺·法拉斯基 , 阿尔贝托·波利克里蒂 , 艾丽西娅·维拉纽埃娃 :
用时间并发约束语言I指定的并发系统建模。 197-210 萨沙·奥斯索夫斯基 :
基于约束的自治代理协调。 211-226 安东尼奥·布罗吉 :
反应剂的概率行为。 227-252 阿戈斯蒂诺·多维尔 , 玛丽亚·奇亚拉·梅奥 , 安德烈亚·奥米西尼 :
前言。 253-254