| 书目名称 | Constraint Handling Rules |
| 副标题 | Current Research Top |
| 编辑 | Tom Schrijvers,Thom Frühwirth |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen,ithasbecomeamajordeclarativespeci?cationandimplemen- tion language for constraint-based algorithms and applications. In recent years, the ?ve Workshops on Constraint Handling Rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume of Lecture Notes in Ariti?cial Intelligence was to attract high-quality research papers on these recent advances in CHR. The 8 papersinthis issuewereselectedfrom11submissionsaftercarefulreviewingand subsequent revisions. Each paper was reviewd by three reviewers. The accepted papers represent some of the research teams on CHR around the world. It is not by accident that the currently most active research group is featured here with three articles. We also would have liked to see contributions from other CHR teams, but space is limited and the reviewers took their job seriously. After an introductory article that foreshadows an upcoming monograph on CHR, the accepted papers span a range of current research topics in the CHR comm |
| 出版日期 | Book 2008 |
| 关键词 | Ada; Constraint; algorithms; answer sets; compositional semantics; computational logics; constraint logic |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-92243-8 |
| isbn_softcover | 978-3-540-92242-1 |
| isbn_ebook | 978-3-540-92243-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2008 |
发表于 2025-3-21 18:56:01
