* ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://rcra.aixia.it organises the 17th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2010) in association with CP-AI-OR 2010 Bologna, Italy, June 10-11, 2010 Email: rcra.aixia.10@gmail.com RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2010 * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, 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. * ______________________________________________________________________ * As in previous editions (http://rcra.aixia.it/publications), authors of papers orally presented at the workshop will have the opportunity to participate to the selection of a special issue that will appear on an International journal. The workshop will take place in Bologna, Italy on June 10-11, 2010, in association with CP-AI-OR 2010 (http://cpaior2010.ing.unibo.it). 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 o combinatorial optimization * 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 WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy WORKSHOP PROGRAM COMMITTEE * Stefania Costantini - Università dell'Aquila, Italy * Luca Di Gaspero - Università di Udine, Italy * Esra Erdem - Sabanci University, Turkey * Stefano Ferilli - Università di Bari, Italy * Marco Gavanelli - Università di Ferrara, Italy * Marijn Heule - Technical University of Delft, Netherlands * Jörg Hoffmann - INRIA Nancy Grand Est, France * Angel Juan - Universidad Oberta de Catalunya, Spain * Ines Lynce - Universidade Técnica de Lisboa, Portugal * Toni Mancini - Sapienza Università di Roma, Italy * Joao Marquez-Silva - University College Dublin, Ireland * Alfredo Milani - Università di Perugia, Italy * Alessandra Mileo - Università di Milano Bicocca, Italy * Angelo Oddi - Consiglio Nazionale delle Ricerche (CNR), Italy * Justin Pearson - Uppsala University, Sweden * Luca Pulina - Università di Genova, Italy * Francesco Ricca - Università della Calabria, Italy * Fabrizio Riguzzi - Università di Ferrara, Italy * Andrea Roli - Università di Bologna, Italy * Carsten Sinz - University of Karlsruhe, Germany * Kostas Stergiou - University of the Aegean, Greece * Paolo Torroni - Università di Bologna, Italy HOST ORGANIZATION Dept. of Electronics, Computer Science and Systems (DEIS) University of Bologna, Italy LOCAL COMMITTEE Stefano Bragaglia, University of Bologna, Italy SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings. 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. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 pages, and should be written in LaTeX, using the RCRA 2010 style available on the workshop web site. Page for submissions: http://www.easychair.org/conferences/?conf=rcra2010 Submissions will be reviewed by at least three members of the program committee. Original papers accepted at the workshop will be electronically published as an issue of the CEUR Workshop Proceedings series. As for papers already published, a DOI link to their copyrighted version will be provided instead. Final and detailed submission instructions will be available on the workshop web site soon. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of papers orally presented at the workshop will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. As in previous editions (http://rcra.aixia.it/publications), workshop post-proceedings will appear in a special issue of an International journal, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any formal publication. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed. Hence, authors are invited to work on their paper mainly before the workshop date. IMPORTANT DATES * Abstract submission: * Submissions to the RCRA workshop: * Notification of acceptance/reject: * Final version due: * RCRA workshop: 10-11 June 2010 |
RCRA 2010 >