Apologies for multiple postings.

================================================================================
CRaGS-2010
CALL FOR PAPERS
First International Workshop on Constraint Reasoning and Graphical Structures
================================================================================

Held in conjunction with CP-2010, 16th International Conference on Principles and Practice of Constraint Programming, St. Andrews, Scotland, September 2010.

http://cp2010.cs.st-andrews.ac.uk/
http://4c.ucc.ie/cp-graphical-ws-2010/


Overview:
========

Graphical structures have been successfully utilized to solve a number of
computationally challenging problems many of which can be expressed as
constraint models. In particular, the problems related to decision support such
as probabilistic reasoning or configuration have been addressed through
compiling the models into computationally efficient graphical representations,
such as various special kinds of NNFs, tree-automata, AND/OR graph
representations and decision diagrams or by using local computations on join
trees (including variable/bucket elimination).

Furthermore, the same graphical structures are increasingly used in a classical
constraint programming context: to improve the efficiency of search for a
feasible solution or finding an optimal solution. This has been achieved for
example by exploiting AND/OR decomposition in constraint graphs, enhancing
propagation of global constraints through preprocessing into decision diagrams, or enhancing communication between constraints by expanding the constraint store. On the other side, search-based approaches (such as satisfiability solvers) are recently being used as a compilation mechanism for constructing various forms of graphical structures, sometimes significantly outperforming standard compilation
methods.

Scope:
=====

The primary focus of this workshop will be on the use of graphical approaches in enabling structural properties of constraint models to be exploited for a number of tasks, such as constraint propagation, solution counting, reasoning with soft constraints and preferences, inference under uncertainty, and configuration. In addition, the workshop welcomes contributions that exploit constraint-reasoning
techniques to enhance construction and manipulation of graphical structures.

Topics that may be addressed  include, but are not limited to:

- Theoretical frameworks
- Graphical models
- Search and propagation algorithms
- Problem modelling
- Reasoning under uncertainty
- Compilation methods
- Soft constraints and preferences
- Configuration
- Multi-objective and qualitative optimization
- Real-world applications


Submissions:
===========

The workshop is open to all members of the CP and AI communities. Submitted papers can be up to 15 pages in length describing original work on one or more of the topics relevant to the worksop. Alternatively, shorter papers (up to 8 pages) are also encouraged, presenting preliminary work, a research statement or perspective on topics relevant to the workshop. All submissions will be thoroughly reviewed and those that present a significant contribution will be accepted for publication in
the workshop proceedings. At least one author must attend the workshop.

We encourage the authors to submit papers in PDF format. Papers should be formatted using the Springer Lectures in Computer Science (LNCS) style. All submissions should include the author's name, affiliation, complete mailing address, and
email address.

The EasyChair submission page can be found at http://www.easychair.org/conferences/?conf=crags2010

Important Dates:
===============

June 20, 2010        Paper submission deadline
July 20, 2010        Notification of paper acceptance
August 1, 2010       Camera-ready of accepted papers
September 6, 2010    Workshop date

Organizing Committee:
====================
Tarik Hadzic, 4C, University College Cork, Ireland
Radu Marinescu, 4C, University College Cork, Ireland

Program Committee:
=================
Adnan Darwiche, University of California, Los Angeles (UCLA), USA
Rina Dechter, University of California, Irvine (UCI), USA
Helene Fargier, IRIT, Universite Paul Sabatier, France
Tarik Hadzic, University College Cork, Ireland
Radu Marinescu, University College Cork, Ireland
Robert Mateescu, Microsoft Research, UK
Barry O'Sullivan, University College Cork, Ireland
Roland Yap, National University of Singapore, Singapore
Toby Walsh, NICTA, University of New South Wales, Australia
Nic Wilson, University College Cork, Ireland


_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai

Reply via email to