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

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