逻辑编程范式,1999
Krzysztof R.Apt公司 , 维克托·马雷克 , 米雷克·特鲁兹琴斯基 , 大卫·斯科特·沃伦 :
逻辑编程范式——25年展望。 人工智能 , 施普林格 1999 ,国际标准图书编号 978-3-642-64249-4 马可·波扎诺 , 乔治·德尔扎诺 , 毛里齐奥·马泰利 , 维维亚娜·马斯卡迪 , 弗洛里亚诺·齐尼 :
逻辑编程和多代理系统:应用程序和语义的协同组合。 5-32 保罗·塔劳 :
使用Jinni进行推理和计算移动。 33-52 Kazunori Ueda公司 :
并发逻辑/约束编程:未来10年。 53-71 Krzysztof R.Apt公司 , 马克·贝泽姆 :
公式作为程序。 75-107 索米亚·德布雷 :
多语言程序的链接时间优化。 109-126 戈帕尔·古普塔 :
喇叭逻辑表示及其应用。 127-159 曼纽尔·埃尔梅内吉尔多 , 杰曼·普埃布拉 , 弗朗西斯科·布埃诺 :
使用全局分析、部分规范和可扩展断言语言进行程序验证和调试。 161-192 丹尼·德·施雷耶 , 马克·德内克 :
CL理论和程序开发中的一些问题评估。 195-208 菲利普·沃德勒 :
企业如何使用函数式语言,以及为什么不使用。 209-227 霍华德·布莱尔 , 弗雷德·杜申 , 大卫·W·贾克尔 , 安吉尔·J·里维拉 , T.梅汀·塞兹金 :
逻辑程序计算的连续模型:将连续数学引入逻辑程序设计的算法基础。 231-255 马滕·范·埃姆登 :
数值计算中的逻辑程序设计范式。 257-276 雅克·科恩 :
计算分子生物学:使用LP及其扩展的一个有前途的应用。 281-311 迈克尔·J·马赫 :
为基于逻辑的形式化添加约束。 313-331 吕克·德·雷德 :
归纳逻辑程序设计透视。 335-346 古川光一 :
从演绎到归纳:逻辑视角。 347-354 弗拉基米尔·利夫希茨 :
行动语言、答案集和计划。 357-373 维克托·马雷克 , 米罗斯瓦·特鲁兹琴斯基 :
稳定模型和替代逻辑编程范式。 375-398 卡洛·扎尼奥洛 , 王海勋 :
面向下一代数据库系统的基于逻辑的用户定义聚合。 401-426 维罗尼卡·达尔 :
语言的逻辑。 429-456