22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015)

Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas, 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 Artificial Intelligence has more and more focused 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.

The aim 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
    • Constraint Satisfaction
    • Quantified Boolean Formulae and Quantified Constraints
    • Modal Logics
    • Logic Programming
    • Disjunctive Logic Programming
    • Temporal Reasoning
    • Combinatorial Optimisation
  • 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

Official Web Page: http://rcra.aixia.it/rcra2015

For general information about paper submission instructions, please refer to the Call for Papers page.

Program

RCRA will be held in Room - Ground Floor, Palazzo Trotti Mosti (Trotti Mosti Palace): Corso Ercole I d'Este, 37 - Building Plan

The program is downloadable here.

 22 September 2015 
09.25-09.40Opening Remarks
Session I(Q) and (Max) SAT (Chair: Toni Mancini)
09.40-10.05A MaxSAT Algorithm Using Cardinality Constraints of Bounded SizeMario Alviano, Carmine Dodaro and Francesco Ricca
10.05-10.30An Empirical Perspective on Ten Years of QBF SolvingPaolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella and Enrico Giunchiglia
Coffee break
Session IIAnswer Set Programming (Chair: Agostino Dovier)
11.00-11.20Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary ExperimentsPeter Schüller
11.20-11.40Evaluating Answer Set Programming with Non-Convex Recursive AggregatesMario Alviano
11.40-12.00Fuzzy Answer Set Computation via Satisfiability Modulo TheoriesMario Alviano and Rafael Peñaloza
12.00-12.20JWASP: A New Java-Based ASP SolverMario Alviano, Carmine Dodaro and Francesco Ricca
Lunch break
Session IIIPlanning (Chair: Peter Schüller)
14.30-14.50Planning with Always Preferences by Compilation into STRIPS with Action CostsLuca Ceriani and Alfonso Gerevini
14.50-15.10ASCoL: a Tool for Improving Automatic Planning Domain Model AcquisitionRabia Jilani, Andrew Crampton, Diane Kitchin and Mauro Vallati
15.10-15.30Searching for Sequential Plans Using Tabled Logic ProgramminRoman Bartak and Jindřich Vodrážka
15.30-15.50Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based PlanningMauro Vallati, Ivan Serina, Alessandro Saetti and Alfonso Emilio Gerevini
Coffee break
Session IVApplications (Chair: Luca Pulina)
16.30 - 16.50Patient-Specific Models from Inter-Patient Biological Models and Clinical RecordsEnrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Roeblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli and Fabian Ille
16.50 - 17.10SyLVaaS: System Level Formal Verification as a ServiceToni Mancini, Federico Mari, Annalisa Massini, Igor Melatti and Enrico Tronci
17.10 - 17.30Now or Never: negotiating efficiently with unknown counterpartsToni Mancini
17.30 - 17.50Testing Credulous and Sceptical Acceptance in Small-World NetworksStefano Bistarelli, Fabio Rossi and Francesco Santini
18:00 - 18:10Closing

Organising Committee

Stefano Bistarelli
University of Perugia

Andrea Formisano
University of Perugia

Marco Maratea (contact person)
University of Genoa