|  | Vol-2271 urn:nbn:de:0074-2271-7 Copyright © 2018 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 2018
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

### Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
co-located with the Federated Logic Conference (FLOC 2018)

### Oxford, United Kingdom, July 13, 2018.

Edited by

### Marco Maratea *
Mauro Vallati **

* University of Genova, DIBRIS, Genova, Italy
** University of Huddersfield, School of Computing and Engineering, Huddersfield, UK

## Table of Contents

- Organization

### Invited Papers

- Accountability and Responsibility in Business Processes via Agent Technology
  Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi
- Towards Quantified Answer Set Programming
  Giovanni Amendola

### Regular Papers

- Shaving with Occam’s Razor: Deriving Minimalist Theorem Provers for Minimal Logic
  Paul Tarau
- Computing Personalised Treatments through In Silico Clinical Trials
  Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
- Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network
  Toni Mancini, Enrico Tronci, Agostino Scialanca, Filiberto Lanciotti, Alberto Finzi, Riccardo Guarneri, Silvia Di Pompeo

2018-12-11: submitted by Mauro Vallati, metadata incl. bibliographic data published under Creative Commons CC0
2018-12-11: published on CEUR-WS.org |valid HTML5|