• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and practice of logic programming >Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP
【24h】

Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP

机译：Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相关主题

摘要

The first issue of the journal Theory and Practice of Logic Programming, or TPLP,was published in January 2001. This issue, the last one in the present volume, and thefollowing issue, the first one in the next volume, comprise a collection of papers commemoratingand celebrating the twentieth anniversary of the journal. This celebratorycollection comes with about one year delay due to the COVID-19 pandemic (but also, ifwe were to be entirely honest, because of a common human tendency to put things off).Whatever the true reason for the delay, the collection is finally here. We hope and expectit will prove to be a demonstration of the vitality of logic programming, and of a broadrange of research directions it spawned in the past and continues to generate today.Logic programming appeared as a scientific subarea of computer science in the early1970s as a result of the happy confluence of research on automated theorem proving infirst-order logic and the original implementation of the Prolog programming language.The presence of these two original sources of inspiration has been distinctly felt over theyears. On the one hand, logic programming attracted theoreticians pursuing deeper andhighly nuanced understanding of the semantics of logic programs; on the other hand,it drew in researchers whose goal was to advance the repertoire of logic programmingtools by refining, perfecting, and expanding Prolog, proposing and implementing newcomputational paradigms for logic programming, and developing methods to build andanalyze logic programs. Moreover, and it also goes back to its very origins, logic programmingattracted researchers interested in applications such as natural language processing,database querying, constraint solving, planning, learning, and knowledge representation,to name but a few.

著录项

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号