RCRA 2015

22nd RCRA International Workshop on

"Experimental Evaluation of Algorithms for solving problems with combinatorial explosion"


Ferrara, Italy, 22 September 2015


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.

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
    • knowledge representation
    • automated reasoning
    • planning
    • scheduling
    • machine learning
    • model checking
    • Boolean satisfiability (SAT)
    • constraint programming
    • temporal reasoning
    • combinatorial optimization
    • quantified Boolean formulae and quantified constraints
    • modal logics
    • logic programming
    • answer set programming
    • ontological reasoning
  • Definition and construction of benchmarks
  • Experimentation methodologies
  • Metaheuristics
  • Algorithm hybridization
  • Static analysis of combinatorial problems
  • Languages and systems for definition and solution of problems
  • Comparisons between systems and algorithms
  • Application experiences  (visualization, graphics, security, transports, etc.)


Important dates
  • Abstract submission EXTENDED deadline: June 26th, 2015
  • Paper submission EXTENDED deadline: June 30th, 2015
  • Notification of acceptance: July 29th, 2015
  • Early registration: August 7th, 2015
  • Final version of accepted paper: August 12th, 2015
  • RCRA workshop: September 22nd, 2015


Submission guidelines

Authors are invited to submit either original (full or short) papers. Submission of papers already accepted/appeared on other conference proceedings is permitted.
At the time of submission, authors are requested to clearly specify whether their submission is original or already published elsewhere.

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 submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages, and should be written in LaTeX, using the LNCS style.
 
RCRA 2015 uses EasyChair for the submission of contributions.
 
Papers can be submitted through this page: https://easychair.org/conferences/?conf=rcra2015 (closed)

Submissions will be reviewed by at least three members of the program committee.
 
 
Workshop co-chairs
  • Stefano Bistarelli – Università di Perugia (Italy)
  • Andrea Formisano – Università di Perugia (Italy)
  • Marco Maratea – Università di Genova (Italy)

Workshop program committee

  • Mario  Alviano  (University of Calabria)
  • Paolo Baldan (University of Padova)
  • Marcello  Balduccini  (Drexel University)
  • Laura  Barbulescu  (Carnegie Mellon University)
  • Roman  Bartak  Charles (University in Prague)
  • Elena  Bellodi  (University of Ferrara)
  • Stefano  Bistarelli (University of Perugia)
  • Stefania  Costantini  (University of L'Aquila)
  • Agostino  Dovier  (University of Udine)
  • Andrea  Formisano  (University of Perugia)
  • Fabio  Gadducci  (University of Pisa)
  • Marco  Gavanelli  (University of Ferrara)
  • Matti  Järvisalo  (University of Helsinki)
  • Zeynep  Kiziltan  (University of Bologna)
  • Ines  Lynce  (University of Lisbon)
  • Daniele  Magazzeni  (King's College London)
  • Toni  Mancini  (Sapienza University, Rome)
  • Marco  Maratea  (University of Genova)
  • Joao  Marques-Silva  (University of Lisbon)
  • Angelo  Oddi  (ISTC-CNR)
  • Luca  Pulina  (University of Sassari)
  • Francesco  Ricca  (University of Calabria)
  • Francesco  Santini  (University of Perugia)
  • Torsten  Schaub  (University of Potsdam)
  • Ivan  Serina  (University of Brescia)
  • Thomas  Stützle  (Université Libre de Bruxelles)
  • Mauro  Vallati  (University of Huddersfield)
  • Richard Wallace (University of Ireland)
  • Johannes Wallner (University of Helsinki)



Proceedings

Accepted original papers will be published online, as an issue of the CEUR-WS workshop proceeding series.

Workshop post-proceedings will appear in a special issue of the Fundamenta Informaticae journal, provided that a sufficient amount of high quality papers is collected.
Extended and revised versions of the papers accepted and presented to the workshop will enter a second review formal process in order to meet the expected quality of a journal.



Contact

In case of need, the workshop co-chairs can be contacted by sending an email to:  rcra2015[AT]easychair[DOT]org



Information


Ċ
Marco Maratea,
Sep 10, 2015, 12:36 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:39 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:36 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:37 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:38 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:38 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:39 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:33 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:34 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:35 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:35 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:22 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:22 PM
Ċ
Marco Maratea,
Sep 10, 2015, 12:33 PM
Comments