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

Guest Editors: Slim Abdennadher, Thom Frühwirth, Christian Holzbaur

Vol 5(4&5) July & September 2005

Introduction to the special issue on constraint handling rules, Slim Abdennadher, Thom Frühwirth, Christian Holzbaur. Vol 5(4&5) pp 401-402

Automatic Generation of CHR Constraint Solvers, Slim Abdennadher and Christophe Rigotti. Vol 5(4&5) pp 403-418

A CHR-based Implementation of Known Arc-Consistency, Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano. Vol 5(4&5) pp 419-440

Schedulers and redundancy for a class of constraint propagation rules, Sebastian Brand and Krzysztof R. Apt. Vol 5(4&5) pp 441-465

CHR grammars, Henning Christiansen. Vol 5(4&5) pp 467-501

Optimizing compilation of constraint handling rules in HAL, Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey, Gregory J. Duck. Vol 5(4&5) pp 503-531

FLUX: A logic programming method for reasoning agents, Michael Thielscher. Vol 5(4&5) pp 533-565

Intelligent search strategies based on adaptive Constraint Handling Rules, Armin Wolf. Vol 5(4&5) pp 567-594

Book reviews:

Yves Deville: Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi, MIT Press, 2004, hard cover: ISBN 0-262-22069-5, xxvii + 900 pages. Vol 5(4&5) pp 595-600

Accepted Papers

Automatic Generation of CHR Constraint Solvers, Slim Abdennadher, Christophe Rigotti
A CHR-based Implementation of Known Arc-Consistency, Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
Intelligent Search Strategies Based on Adaptive Constraint Handling Rules, Armin Wolf
FLUX: A Logic Programming Method for Reasoning Agents, Michael Thielscher
Schedulers and Redundancy for a Class of Constraint Propagation Rules, Sebastian Brand, Krzysztof Apt
CHR Grammars, Henning Christiansen
Optimizing Compilation of Constraint Handling Rules in HAL, Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey, Gregory J. Duck

Call for Papers

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.

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. These files can be downloaded from the directory ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls.

To submit, go to http://www.ai.univie.ac.at/tplp/summary.html.
If you have questions about the submission procedure, email to christian@ai.univie.ac.at.

Important Dates

Submission: August 31, 2002
Notification: March 5, 2003
Publication: Mid 2005

Last updated March 28 2006