广告

©2010.

关于逻辑编程的25年的视角

意大利逻辑编程协会的成就,GULP

  • Agostino Dovier.
  • Enrico Pontelli.

的一部分计算机科学讲义系列书籍(LNC,第6125卷)

目录

  1. 正面问题
  2. 意大利二十五年逻辑编程

    1. gianfranco rossi.
      第1-14页
    2. Annalisa Bossi,Maria Chiara Meo
      第15-36页
    3. Andrea Formisano,Eugenio G. Omodeo
      第37-63页
    4. Marco Gavanelli,Francesca Rossi
      第64-86页
    5. Laura Giordano,Francesca Toni
      第87-111页
    6. Alberto Pettorossi,Maurizio Proietti,Valerio Senni
      第112-135页
    7. Giorgio Delzanno,Roberto Giacobazzi,Francesco Ranzato
      第136-158页
    8. Piero Bonatti,Francesco Calimeri,Nicola Leone,Francesco Ricca
      第159-182页
    9. Sergio Greco,Francesca A. Lisi
      第183-203页
    10. Matteo Baldoni,Cristina Baroglio,Viviana Mascardi,Andrea Omicini,Paolo Torroni
      第204-230页
    11. Maurizio Gabbrielli,Catuscia Palamidessi,Frank D. Valencia
      第231-253页
    12. Alberto Momigliano,Mario Ornaghi
      第254-270页
    13. Maria Alpuente,Demis Ballis,Moreno Falaschi
      第271-299页
    14. Alessandro Dal Palù,Paolo Torroni
      第300-328页
  3. 回来物质

关于这本书

介绍

这本书Celebrathe 25周年纪念Gulp-The Italian AssociaseFor LogicProgramming.Athreame的研究人员的主导地位,它提出了对逻辑编程的广泛主题集合的最新调查,使其成为两者的有用参考研究人员和学生。在25年的生存期间,GULP组织了各种国家和国际活动,包括两个会议和暑期学校。通过为GULP活动提供奖学金并授予尊敬的分散,它一直专注于支持和鼓励年轻的研究人员。Weintheinternationallogicprogrammingcommunitylookupongulpwith嫉妒,钦佩和感恩。我们很高兴参加其会议和暑期学校,在那里我们可以了解Scienti?C的进步,赶上老朋友,见到年轻学生。我很荣幸承认我们对普拉斯的杰出贡献的感谢,并表达了我们未来继续繁荣的良好祝福。2010年3月1985年6月18日伦敦艺术学院伦敦序言,一群开创性的研究人员,包括来自行业,国家研究实验室和学术界的代表,参加了逻辑编程(GULP)协会的研究人员和用户组成部分。这是科学长期冒险的起点,1我们仍然遇到25年后。此卷庆祝这一重要事件。

关键词

约束 调试 扩大 代理人 回答套装 自动定理证明 并发逻辑编程 数据库 知识 逻辑 多功能系统 非单调推理 计划转换 编程 确认

编辑和隶属关系

  • Agostino Dovier.
    • 1
  • Enrico Pontelli.
    • 2
  1. 1。蘸。di matematica e InformaticaUniversitàdi ydine.乌丁意大利
  2. 2。计算机科学系新墨西哥州州立大学MSC CS,LAS Cruce美国

书目信息

评论

来自评论:

“章节评论了当前兴趣的逻辑编程(LP)主题,在过去25年中取得的进展,特别关注意大利研究人员的成就。......每个章节都提供指定区域的未来研究。章节写得很好,统一的风格对于这类书来说是不寻常的。这本书应该感兴趣的是经验丰富的研究人员以及新手。......每个章节结束时的参考列表应特别有用。“(D. Bollman,ACM计算评论,2011年4月)