Annunci Eventi‎ > ‎

15th RCRA international workshop

posted Sep 19, 2008, 5:31 AM by Marco Schaerf
 The RCRA group (Knowledge Representation & Automated Reasoning) of the
          AI*IA (Italian Association for Artificial Intelligence)

                              organises the

                    15th RCRA international workshop:
         Experimental evaluation of algorithms for solving problems
                         with combinatorial explosion


*   ________________________________________________________________   *

   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.

  *** Workshop post-proceedings will be published in the Elsevier ***
  *** Journal of Algorithms in Logic, Informatics and Cognition.  ***
*   ________________________________________________________________   *

 12-13 December 2008, co-located with ICLP 2008.

 Udine, Italy

 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:
   o knowledge representation
   o automated reasoning
   o planning
   o scheduling
   o agents and distributed systems
   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

 Contributions are solicited about (the list is not exhaustive):
   * Experimental evaluation of algorithms
   * 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.

 Although the spirit of the workshop is informal, a second formal stage is expected, with a second round of reviews for the selection of extended versions of the papers to appear in a special issue of the Elsevier Journal of Algorithms in Logic, Informatics and Cognition.

 * Marco Gavanelli, Università degli Studi di Ferrara, Italy
 * Toni Mancini, Sapienza Università di Roma, Italy

 Gilles Audemard, Université d'Artois, France
 Matteo Baldoni, Università di Torino, Italy
 Francesco Buccafurri, Università Mediterranea di Reggio Calabria, Italy
 Francesco Calimeri, Università della Calabria, Italy
 Stefania Costantini, Università dell'Aquila, Italy
 Luca Di Gaspero, Università di Udine, Italy
 Khalil Djelloul, Université d'Orléans, France
 Marco Gavanelli, Università di Ferrara, Italy
 Daniel Le Berre, Université d'Artois, France
 Ines Lynce, Universidade Técnica de Lisboa, Portugal
 Toni Mancini, Sapienza Università di Roma, Italy
 Marco Maratea, Università di Genova, Italy
 Joao Marquez-Silva, University of Southampton, UK
 Pedro Meseguer, Consejo Superior de Investigaciones Científicas, Spain
 Nicola Policella, European Space Agency, Germany
 Steve Prestwich, Cork Constraint Computation Centre, Ireland
 Luca Pulina, Università di Genova, Italy
 Francesco Ricca, Università della Calabria, Italy
 Fabrizio Riguzzi, Università di Ferrara,Italy
 Daniel Singer, Université de Metz, France
 Kostas Stathis, Royal Holloway, University of London, UK
 Kostas Stergiou, University of the Aegean, Greece
 Mirek Truszczynski, University of Kentucky, USA
 Richard Wallace, Cork Constraint Computation Centre, Ireland

 Università di Udine, Italy

 Luca Di Gaspero, Università degli Studi di Udine, Italy
 Stefano Benedettini, Università degli Studi di Udine, Italy
 Sara Ceschia, Università degli Studi di Udine, Italy
 Andrea Schaerf, Università degli Studi di Udine, Italy

 Authors are invited to submit either original papers, or papers that appear on conference proceedings.

 At the time of submission, authors are requested to clearly specify whether their submission is original or already published.

 All submissions must be in PDF format, do not exceed 15 pages, and should be written in Latex, using the standard Article style, 11pt.
All submissions will be reviewed by at least three members of the program committee.
Papers accepted at the workshop will be electronically published on the workshop web site.

 Few weeks after the workshop, authors of accepted papers will have the opportunity to participate in the selection for the post-proceedings by submitting an extended version of their work.

 Workshop post-proceedings will appear in a special issue of the Elsevier Journal of Algorithms in Logic, Informatics and Cognition.

 All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any previous version already published in formal conference proceedings.

 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 (cf. important dates). Hence, authors are invited to work on their paper mainly before the workshop date.

 * Papers submission deadline:          30 September 2008
 * Notification of acceptance/reject:   5 November 2008
 * Final version due:                   30 November 2008
 * Workshop:                            12-13 December 2008

(special issue of Elsevier J. of Algorithms in Logic, Informatics and Cognition)

 * Extended papers submission deadline:       15 January 2009
 * Notification of reviews of the 1st round:  28 February 2009
 * Re-submission deadline
   (for papers not accepted with minor rev.): 15 April 2009

 * Final notification of acceptance:           1 May 2009
 * Final version due:                         15 May 2009