JFPLC 1997:法国奥尔良
弗雷德里克·本哈莫(Frédéric Benhamou) :
1997年5月26日至28日,法国奥尔良,JFPLC'97,Sixièmes Journées Francophones de Programmation Logique et Programmatation par Contraintes。 爱马仕 1997 ,十亿 2-86601-614-9
会议邀请
帕拉米德斯猫 :
并发和分布式计算的约束编程。 JFPLC公司 1997 : 11-
语言和扩展
唐纳德·史密斯 :
MixLog:一种基于规则的通用语言。 JFPLC公司 1997 : 21-36 Jean-Hugues Réty女士 :
非语言分布并发avec禁忌。 JFPLC公司 1997 : 37-52 阿诺德·拉洛伊特 :
DP-LOG:非语言逻辑data-paralleèle。 JFPLC公司 1997 : 53-
塞曼提克
马滕·范·埃姆登 :
作为区间约束和区间算术的通用基础的规范扩展。 JFPLC公司 1997 : 71-84 卡琳·利奥杰 :
比瓦卢的建设性和现代化。 JFPLC公司 1997 : 85-100 越南潘良 :
计算带否定的数据日志程序的稳定模型。 JFPLC公司 1997 : 101-
违禁品满意度问题
尼古拉斯·巴尼尔 , 帕斯卡·布里塞特 :
优化部分混合d'un CSP avec un algorithme génétique。 JFPLC公司 1997 : 119-132 皮埃尔·达戈 :
回溯动态价值。 JFPLC公司 1997 : 133-148 纳伦德拉·尤西恩 , 帕特里斯·博伊祖马尔 :
战略是为了放松禁忌。 JFPLC公司 1997 : 149-
会议邀请II
雅克·卡里尔 , 埃里克·平森 :
与Pm/r相关的界限和调整 我 ,q个 我 /Cmax调度问题。 JFPLC公司 1997 : 169-
避孕药
埃里克·鲍彻 , 布鲁诺传奇 :
程序逻辑和约束集合的严格优化过程。 JFPLC公司 1997 : 179-194 劳伦特·格兰维尔(Laurent Granvilliers) :
变换符号与CSP连续块的一致性。 JFPLC公司 1997 : 195-210 克里斯汀·索尔农 :
解决问题的协调解决问题。 JFPLC公司 1997 : 211-
会话industrielle
阿卜杜拉赫曼·阿贡 :
规划环境与工业界的CHIP相矛盾。 JFPLC公司 1997 : 229-230 乔治·韦尔 , 卡梅尔·赫斯 , 帕特里斯·弗朗索瓦 :
体操馆:联合国技术与社会学。 JFPLC公司 1997 : 231-234 Stéphane N'Dong酒店 :
Prolog IV ou la programmation par禁止使用PrologIA。 JFPLC公司 1997 : 235-
会议邀请三
约翰·艾伦·罗宾逊 :
回顾统一和解决方案。 JFPLC公司 1997 : 241-
Résolution et优化
让-米歇尔·里彻 , 珍妮·雅克·查布里耶 :
无法通过逻辑问题的解决方案来满足禁忌技术。 JFPLC公司 1997 : 245-260 奥利维尔·罗塞尔 , 菲利普·马修 :
Une编译逻辑exacte en calcul des prédicats:le cas de l’achèvement partiel。 JFPLC公司 1997 : 261-276 马修·尧姆 :
SLD-résolution dans le calcul des construction归纳法的形式化。 JFPLC公司 1997 : 277-
![](https://dblp.org/img/cog.dark.24x24.png)