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 5 - 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.40 Opening Remarks
Session I (Q) and (Max) SAT (Chair: Toni Mancini)
09.40-10.05 A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size Mario Alviano, Carmine Dodaro and Francesco Ricca
10.05-10.30 An Empirical Perspective on Ten Years of QBF Solving Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella and Enrico Giunchiglia
Coffee break
Session II Answer Set Programming (Chair: Agostino Dovier)
11.00-11.20 Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments Peter Schüller
11.20-11.40 Evaluating Answer Set Programming with Non-Convex Recursive Aggregates Mario Alviano
11.40-12.00 Fuzzy Answer Set Computation via Satisfiability Modulo Theories Mario Alviano and Rafael Peñaloza
12.00-12.20 JWASP: A New Java-Based ASP Solver Mario Alviano, Carmine Dodaro and Francesco Ricca
Lunch break
Session III Planning (Chair: Peter Schüller)
14.30-14.50 Planning with Always Preferences by Compilation into STRIPS with Action Costs Luca Ceriani and Alfonso Gerevini
14.50-15.10 ASCoL: a Tool for Improving Automatic Planning Domain Model Acquisition Rabia Jilani, Andrew Crampton, Diane Kitchin and Mauro Vallati
15.10-15.30 Searching for Sequential Plans Using Tabled Logic Programmin Roman Bartak and Jindřich Vodrážka
15.30-15.50 Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning Mauro Vallati, Ivan Serina, Alessandro Saetti and Alfonso Emilio Gerevini
Coffee break
Session IV Applications (Chair: Luca Pulina)
16.30 - 16.50 Patient-Specific Models from Inter-Patient Biological Models and Clinical Records Enrico 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.10 SyLVaaS: System Level Formal Verification as a Service Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti and Enrico Tronci
17.10 - 17.30 Now or Never: negotiating efficiently with unknown counterparts Toni Mancini
17.30 - 17.50 Testing Credulous and Sceptical Acceptance in Small-World Networks Stefano Bistarelli, Fabio Rossi and Francesco Santini
18:00 - 18:10 Closing

Organising Committee

Stefano Bistarelli
University of Perugia

Andrea Formisano
University of Perugia

Marco Maratea (contact person)
University of Genoa