8.JFPLC 1999:里昂法国
弗朗索瓦·法赫斯 :
JFPLC'99年,法国里昂,2-4 juin 199,Huitièmes Journées Francophones de Programmation Logique et Programmation par Contraintes。 爱马仕 1999
统计分析
乔治·德尔扎诺 , 安德烈亚斯·波德尔斯基 :
约束逻辑编程中无限状态系统的验证。 JFPLC公司 1999 : 13-22 谢尔盖·科林 , 弗雷德里克·梅斯纳德 , 安托万·劳齐 :
非模块Prolog de mu-calcul booléen:une réalisation par BDD。 JFPLC公司 1999 : 23-38 克里斯托夫·莫拉斯 , 雷内·索拉瓦尔 :
一项关于程序同步化和程序逻辑分析的建议受到了限制。 JFPLC公司 1999 : 39-54 弗雷德里克·马莱西厄(Frédéric Malésieux) , 奥利维尔·里杜克斯 , 帕特里斯·博伊祖马尔 :
分析统计类型:应用lambda-Prolog的分析分类。 JFPLC公司 1999 : 55至72
语言和扩展
吕克·德·雷德 :
数据库挖掘和归纳逻辑编程。 JFPLC公司 1999 : 73-74 吉尔斯·理查德 :
ILP中程序和概念的比较。 JFPLC公司 1999 : 75-88 弗雷德里克·沙特 , 伊戈尔·斯特芬 :
Prolog语言植入器。 JFPLC公司 1999 : 第89页至第106页
Paralleélisme公司
阿诺德·拉洛伊特 , 盖坦·海恩斯 :
程序段约束段:l’approche CLP(Chi)。 JFPLC公司 1999 : 107-122 埃里克·蒙弗罗伊 , Jean-Hugues Réty女士 :
它是异步的:联合国干部统一组织禁止传播平行和政党。 JFPLC公司 1999 : 123-140
优化组合
亚历山大·博克迈尔 , 托马斯·卡斯珀 :
分支与推理:整数线性规划和有限域约束规划的统一框架。 JFPLC公司 1999 : 141-142 帕斯卡·范·亨特利克 :
本地化程序:一种用于本地搜索的建模语言。 JFPLC公司 1999 : 143-144 路易斯·马丁·卢梭 , 吉尔斯·佩森特 :
将编程与现场研究相结合,以解决比赛问题。 JFPLC公司 1999 : 145至160 西蒙·德·吉夫里 , 皮埃尔·萨文特 , 让·乔丹 :
优化组合以满足温度限制:深度优先分支和边界自适应。 JFPLC公司 1999 : 161-178
避孕药
Stéphane Grumbach酒店 :
约束数据库。 JFPLC公司 1999 : 179-188 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 , 尼古拉斯·斯皮拉托斯 :
通过完整性约束对数据库更新进行增量扩展。 JFPLC公司 1999 : 189-204 帕特里夏·梅恩盖 :
Résolution包含线性方程组变量dans Z。 JFPLC公司 1999 : 205-220 劳伦特·格兰维尔(Laurent Granvilliers) :
CSP数字解决方案战略。 JFPLC公司 1999 : 221-240
环境取消规划
赫莱内·基什内尔 :
依兰。 JFPLC公司 1999 : 第241页至第248页 克里斯托夫·艾劳德 , 皮埃尔·德兰萨特 :
Vers un arbre de spécification d'arbres de choix en PLC公司。 JFPLC公司 1999 : 249-264 赫尔穆特·西蒙尼斯 , 阿卜杜拉赫曼·阿古恩 :
搜索树调试。 JFPLC公司 1999 : 265-280 Frédéric Goualard餐厅 , 弗雷德里克·本哈莫(Frédéric Benhamou) :
Un outil de débogage du store pour la programmation par禁止。 JFPLC公司 1999 : 281-296 埃尔万·贾希尔 , 米雷尔·杜卡斯 :
节目的执行过程也很艰难。 JFPLC公司 1999 : 297-311