Workshop on Knowledge Capture and Constraint Programming

held in conjunction with

The Fourth International Conference on Knowledge Capture , (KCAP 2007),
Whistler, BC

Constraint programming (CP) has successfully been applied to many real-world problems including, scheduling, planning, configuration, layout, resource allocation, and decision support. However, modelling a problem with the constraint formalism may require significant expertise in constraint programming. In addition, in some practical applications humans find it difficult to articulate their constraints. The CP community thus faces challenges in connection with acquiring knowledge to model CP problems that are similar to those faced by those modeling problems with rules or other formalisms.

The workshop on Knowledge Capture and Constraint Programming will bring together researchers and application developers from the constraint programming and knowledge capture communities. Its goal is to promote the exchange of knowledge and ideas, and to highlight possible future challenges for interactive knowledge acquisition and maintenance. The intention is to promote multidisciplinary research that will eventually be beneficial for both the constraint programming and knowledge capture communities.

The K-CAP community brings three decades of extensive knowledge acquisition research to the table; the CP community can benefit from this. In addition to providing new challenges and opportunities for knowledge acquisition, we believe that the CP-community can offer techniques and ideas that are of potential benefit to the K-CAP community as well. For example, the numerous 'consistency algorithms' developed in CP can be used to focus system-user interaction by removing user options inconsistent with existing knowledge.

The workshop will solicit contributions that bear on:

Knowledge capture for constraint programming: acquiring, debugging and maintaining models and methods, constraints and heuristics

Constraint programming for knowledge capture: applying constraint-based search and inference methods to knowledge capture problems.

This workshop invites papers and participation from researchers working in the constraint programming and knowledge capture communities, as well as system developers and software vendors. Such contributions should allow us to learn from each others� successes and failures, and thus identify how cross-disciplinary research can provide added value to the field.

The session will be a mixture of paper presentations and open discussions about past, present (paper presentation and discussion), and future.

Preliminary Agenda:


Important dates:

Organizing committee:

Tomas Eric Nordlander, Cork Constraint Computation Centre (Co-Chair)
Jim Blythe, USC Information Sciences Institute (Co-Chair)
Stuart Chalmers, University of Aberdeen
Berthe Choueiry, University of Nebraska-Lincoln
David Corsar, University of Aberdeen
Ioannis Dokas, Cork Constraint Computation Centre (4C)
Boi Falting, Swiss Federal Institute of Technology
David Fowler, University of Aberdeen
Santiago Macho Gonz�lez, The Artificial Intelligence Research Institute (IIIA)
Jihie Kim, USC Information Sciences Institute
Barry O'Sullivan Cork Constraint Computation Centre (4C)
Francesca Rossi, University of Padova
Derek Sleeman, University of Aberdeen
Victoria Uren, Open University