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