call for papers
The RCRA group of the AI*IA (Italian Association of Artificial Intelligence) organizes the 14th RCRA workshop. The topic of the event this year is:


Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

RCRA 2007

Rome, 5-6 July 2007

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 modeling, and ease of development.

Topics of interest include, but are not limited to:
  • Experimental evaluation for:
    • knowledge representation
    • planning
    • scheduling
    • machine learning
    • model checking
    • boolean satisfiability (SAT)
    • constraint programming
    • constraint satisfaction
    • quantified boolean formulae and quantified constraints
    • modal logics
    • logic programming
    • disjunctive logic programming
    • 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


submission
Papers should not exceed 15 pages and should be submitted electronically via email to:
either in postscript or PDF format by 1 May 2007.
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 a 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 Post-proceedings will be published in the new Elsevier Journal:

Journal of Algorithms in Logic, Informatics and Cognition

For further details see the journal homepage and the important dates page.
RCRA
2007