🚀 go-pugleaf

FIRST CALL FOR PAPERS

Special Issue of Theory and Practice of Logic Programming on
Constraint Handling Rules

Guest Editors: Slim Abdennadher, Thom Fruehwirth, Christian Holzbaur
http://www.pst.informatik.uni-muenchen.de/~fruehwir/tplp-chr/ 

Following up on three workshops on Rule-Based Constraint Reasoning and
Programming, the journal on Theory and Practice of Logic Programming
(TPLP) is planning a special issue on the Constraint Handling Rules
(CHR) programming language, tentatively to appear in 2004.

In recent years, the CHR language has become a major specification and
implementation language for constraint-based algorithms and
applications. Algorithms are often specified using inference rules,
rewrite rules, sequents, proof rules or logical axioms that can be
directly written in CHR. Based on first order predicate logic, its
clean semantics facilitates non-trivial program analysis and
transformation. Several implementations of CHR exist in Prolog,
Haskell and Java. CHR is also available for online experimentation
with about 40 constraint solvers. More than 50 projects use CHR.

The aim of this special issue of Theory and Practice of Logic
Programming is to attract high-quality research papers on all aspects
related to the constraint handling rules (CHR) language, such as
semantics, analysis, extensions, implementations and applications.
Surveys and comparisons of rule-based constraint techniques are also
solicited.

Submissions

Revised and enhanced versions of papers published at conferences that
have not appeared in archival journals are eligible for
submission. Papers describing important past research in this area
which have not been published in archival journal papers are also
solicited.

Papers should be written in English, and formatted using the LaTeX
style files developed by Cambridge University Press for TPLP.

To submit, send as soon as possible an email to
christian@ai.univie.ac.at, containing four consecutive ASCII lines
with title, author(s), email(s) and abstract. As a reply you will
receive instructions on how to upload your paper to our server.

Important Dates

Submission 
      July 31, 2002 
Notification 
      November 30, 2002 
Publication 
      2004 

More information at
http://www.pst.informatik.uni-muenchen.de/~fruehwir/tplp-chr/