Third Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01)

December 1, 2001

Paphos, Cyprus

CP 2001/ICLP 2001 Joint Workshop

[Dates] [Submission] [Programme] [Organization]
Rule-based formalisms are ubiquitous in computer science, and even more so in constraint reasoning and programming. In constraint reasoning, algorithms are often specified using inference rules, rewrite rules, sequents, proof rules or first-order axioms written as implications. Advanced programming languages like CHR, CLAIRE and ELAN allow to implement both constraint solvers and programs using constraints in a rule-based formalism.

After the first workshop on this topic at CL2000, London and the second workshop at CP2000, Singapore, this third workshop again invites papers describing ongoing work in using rule-based formalisms in constraint reasoning and programming. In particular, on specification of algorithms for solving constraints by rules and on implementations of constraint solvers and programs solving problems in a novel way using rule-based programming languages that go beyond constraint logic programming, as well as on analysis of rule-based programs and other issues related to rule-based language design and implementation.

Dates

Submission of contribution September 9, 2001
Notification of acceptance September 20, 2001
Final versions for proceedings October 10, 2001
CP/ICLP Conference Nov 26 - Dec 1, 2001
Workshop Dec 1, 2001

Submission

To submit, send an email by clicking here, containing four consecutive ASCII lines with title, author(s), email(s) and WWW link directly to compressed postscript file (5-15 pages). Accepted papers will be available electronically from this web-page and may be published in hard-copy proceedings (available at the workshop).

Programme

Saturday, December 1

09.00-09.30
Chaotic derivations: an operational semantics for complete constraint solving
A. Lallouet, G. Ferrand, J. Arsouze

09.30-10.00
Soft Constraint Propagation and Solving in Constraint Handling Rules
S. Bistarelli, T. Frühwirth, M. Marte, F. Rossi

10.00-10.30
Inversion Strategies
N. Dershowitz, C. Kirchner

10.30-11.00
Morning Break

11.00-11.30
A Systematic Approach in Type System Design based on CHR
P. Stuckey, M. Sulzmann

11.30-12.00
From Typing Constraints to Typed Constraint Systems in CHR
E. Coquery, F. Fages

12.00-12.30
Towards Probabilistic Constraint Handling Rules
T. Frühwirth, A. Di Pierro, H. Wiklicky

12.30-14.00
Lunch Break

14.00-14.30
Extended Attributed Variables for Dynamic Constraint Solving with CHR
A. Wolf

14.30-15.00
Query Planning for Intelligent Information Integration using CHR
L. Badea, D. Tilivea

15:30 - 16:00
Afternoon Break and End of Workshop

Organization

Workshop Organizers:

  • Slim Abdennadher
    Department of Computer Science
    University of Munich
    e-mail: abdennad@informatik.uni-muenchen.de

    •  
  • Thom Frühwirth

    • Department of Computer Science
    University of Munich
    e-mail: fruehwir@informatik.uni-muenchen.de
     

    Programme Committee:

    Slim Abdennadher, University of Munich
    Thom Frühwirth, University of Munich
    Eric Monfroy, University of Nantes
    Sylvain Piechowiak, University of Valenciennes
    Christophe Rigotti, LISI - INSA, Lyon
    Peter Stuckey, University of Melbourne
    Armin Wolf , GMD First, Berlin
    Page maintained by Slim Abdennadher