Vol-1451
urn:nbn:de:0074-1451-3

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

RCRA 2015
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Proceedings of the 22nd RCRCA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015)
A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)

Ferrara, Italy, September 22, 2015.

Edited by

Stefano Bistarelli *
Andrea Formisano *
Marco Maratea **

* University of Perugia, Department of Mathematics and Computer Science, via Vanvitelli 1, 06123 Perugia, Italy
** University of Genova, Department of Informatics, Bioengineering, Robotics and System engineering, viale F. Causa 15, 16145 Genova, Italy

Here you can download the complete proceedings as a single PDF-file.
Below you can download each single contribution.

Table of Contents

Regular papers

Evaluating Answer Set Programming with Non-Convex Recursive Aggregates 1-15
Mario Alviano
JWASP: A New Java-Based ASP Solver 16-23
Mario Alviano, Carmine Dodaro, Francesco Ricca
Searching for Sequential Plans Using Tabled Logic Programming 24-38
Roman Barták, Jindřic Vodrážka
Testing Credulous and Sceptical Acceptance in Small-World Networks 39-46
Stefano Bistarelli, Fabio Rossi, Francesco Santini
Now or Never: Negotiating Efficiently with Unknown Counterparts 47-61
Toni Mancini
An Empirical Perspective on Ten Years of QBF Solving 62-75
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments 76-90
Peter Schüller

2015-09-19: submitted by Andrea Formisano, metadata incl. bibliographic data published under Creative Commons CC0
2015-09-20: published on CEUR-WS.org |valid HTML5|