|
Showing 1 - 2 of
2 matches in All Departments
This book constitutes the refereed proceedings of the 11th
International Symposium on Functional and Logic Programming, FLOPS
2012, held in Kobe, Japan, in May 2012. The 19 research papers and
3 system demonstrations presented in this volume were carefully
reviewed and selected from 39 submissions. They deal with
declarative programming, including functional programming and logic
programming.
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 community. It goes from extending the CHR language with
search facilities and the related adaptive framework, and from
generating rules from speci?cations of constraint solvers to
implementing abductive probabilistic reasoning. They cover the
theory that is a compositional semantics for CHR and ?nally
describe e?cient implementations of CHR in traditional mainstream
programming l- guages and compiler optimizations in the context of
the re?ned semantics of CHR.
Wewouldliketothanktheauthorsofsubmittedpapersandthemanyrevi- ers
for their contribution in making this collection of research papers
possible
|
You may like...
Tenet
John David Washington, Robert Pattinson
Blu-ray disc
(1)
R54
Discovery Miles 540
Midnights
Taylor Swift
CD
R418
Discovery Miles 4 180
The Expendables 2
Sylvester Stallone, Jason Statham, …
Blu-ray disc
(1)
R64
Discovery Miles 640
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.