[apologies for multiple postings]
----- NEWS!!! -----
Post-proceedings will be published either in the new Elsevier
Journal of of Algorithms in Applied Logic and AI, or in the Lecture
Notes in Artificial Intelligence series of Springer-Verlag
----- NEWS!!! -----
* ________________________________________________________________ *
The RCRA group (Knowledge Representation & Automated Reasoning) of the
AI*IA (Italian Association for Artificial Intelligence) organises the
14th RCRA workshop:
Experimental evaluation of algorithms for solving problems
with combinatorial explosion
http://pst.istc.cnr.it/RCRA07/
[EMAIL PROTECTED]
* ________________________________________________________________ *
This workshop follows the series of the RCRA (Knowledge Representation
and Automated Reasoning) annual meeting, held since 1994. The success
of the previous events shows that RCRA is becoming a major forum for
exchanging ideas and proposing experimentation methodologies for
algorithms in artificial intelligence.
* ________________________________________________________________ *
DATE
5-6 July 2007
VENUE
Rome, CNR (National Research Council)
AIMS AND SCOPE
Many problems in Artificial Intelligence show an exponential explosion
of the search space. Although stemming from different research areas
in AI, such problems are often addressed with algorithms that have
a common goal: the effective exploration of huge state spaces.
Many algorithms
developed in one research area are applicable to other problems,
or can be
hybridised with techniques in other areas. Artificial Intelligence
tools
often exploit or hybridise techniques developed by other research
communities,
such as Operations Research.
In recent years, research in AI has more and more focussed on
experimental
evaluation of algorithms, the development of suitable
methodologies for
experimentation and analysis, the study of languages and the
implementation
of systems for the definition and solution of problems.
Scope of the workshop is fostering the cross-fertilisation of ideas
stemming from different areas, proposing benchmarks for new
challenging
problems, comparing models and algorithms from an experimental
viewpoint,
and, in general, comparing different approaches with respect to
efficiency,
problem modelling, and ease of development.
Topics of interest include, but are not limited to:
* Experimental evaluation of algorithms for
o knowledge representation
o automated reasoning
o planning
o scheduling
o machine learning
o model checking
o boolean satisfiability (SAT)
o constraint programming
o constraint satisfaction
o quantified boolean formulae and quantified constraints
o modal logics
o logic programming
o disjunctive logic programming
o temporal reasoning
* Definition and construction of benchmarks
* Experimentation methodologies
* Metaheuristics
* Algorithm hybridisation
* Static analysis of combinatorial problems
* Languages and systems for definition and solution of problems
* Comparisons between systems and algorithms
* Application experiences
Publications showing negative results are welcome, provided that the
approach was original and very promising in principle, the
experimentation
was well-conducted, the results obtained were unforeseeable and gave
important hints in the comprehension of the target problem, helping
other researchers to avoid unsuccessful paths.
WORKSHOP CHAIRS
* Marco Gavanelli, Universit‡ degli Studi di Ferrara, Italy
* Toni Mancini, Universit‡ di Roma "La Sapienza", Italy
PROGRAM COMMITTEE
* Marco Benedetti, UniversitÈ d'OrlÈans, France
* Francesco Buccafurri, Universit‡ Mediterranea di Reggio
Calabria, Italy
* Amedeo Cesta, ISTC-CNR, Italy
* Khalil Djelloul, University of Ulm, Germany
* Agostino Dovier, Universit‡ degli Studi di Udine, Italy
* Wolfang Faber, Universit‡ della Calabria, Italy
* Marco Gavanelli, Universit‡ di Ferrara, Italy
* Narendra Jussien, Ecole des Mines de Nantes, France
* Daniel Le Berre, UniversitÈ d'Artois, France
* Ines Lynce, Universidade TÈcnica de Lisboa, Portugal
* Donato Malerba, Universit‡ degli Studi di Bari, Italy
* Toni Mancini, Universit‡ degli Studi di Roma "La Sapienza", Italy
* Pedro Meseguer, CSIC-IIIA, Spain
* Ilkka Niemela, Helsinki University of Technology, Finland
* Laurent Perron, ILOG, France
* Nicola Policella, European Space Agency, Germany
* Steve Prestwich, Cork Constraint Computation Centre, Ireland
* Andrea Roli, Universit‡ degli Studi di Bologna, Italy
* Andrea Schaerf, Universit‡ di Udine, Italy
* Laurent Simon, LRI-UniversitÈ Paris-Sud, France
* Kostas Stathis, Royal Holloway-University of London, United Kingdom
* Armando Tacchella, Universit‡ di Genova, Italy
* Mirek Truszczynski, University of Kentucky, USA
HOST ORGANIZATION
ISTC-CNR, Institute for Cognitive Science and Technology, Italian
National Research Council
LOCAL COMMITTEE
* Amedeo Cesta, ISTC-CNR, Rome, Italy
* Nicola Policella, ISTC-CNR, Rome, Italy
* Simone Fratini, ISTC-CNR, Rome, Italy
IMPORTANT DATES
* Paper submission deadline: 25 April 2007
* Notification of acceptance/reject: 25 May 2007
* Final version: 20 June 2007
* Workshop: 5-6 July 2007
SUBMISSIONS
Papers should not exceed 15 pages (Latex standard article style, 11pt) and
should be submitted electronically via email to [EMAIL PROTECTED],
either
in postscript or PDF format.
Two types of submissions are possible
* Original papers, not previously published in conferences or journals
* Informal presentations, overviews of research projects, position
papers
Both types of submissions will be reviewed by at least three members of
the program committee.
Accepted papers will be electronically published on the workshop web site.
Informal presentations are aimed at fostering discussion between the
participants.
PUBLICATION
After the workshop, the authors of original papers will be invited to
submit an
extended version for the post-proceedings. The publication will be
either in the
new Elsevier Journal of Algorithms in Applied Logic and AI, or in the
Springer-
Verlag series Lecture Notes in Artificial Intelligence.
--
-----------------------------------------------------
Fabrizio Riguzzi, PhD
Dipartimento di Ingegneria - Universita' di Ferrara
Via Saragat 1, I-44100, Ferrara, Italy
Tel:+39 0532974836 Fax:+39 0532974870
Mobile:+39 3297506538
E-mail: [EMAIL PROTECTED]
http://www.ing.unife.it/docenti/FabrizioRiguzzi/
-----------------------------------------------------
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
