RCRA 2016‎ > ‎

RCRA-2016 Program

23rd RCRA International Workshop on

"Experimental Evaluation of Algorithms for solving problems with combinatorial explosion"


Monday 28 November 2016
 08:45 - 09:00
 09:00 - 10:30
 Session 1 (Chair: Peter Schüller)
   Andrea Bonisoli, Alfonso Emilio Gerevini, Alessandro Saetti and Ivan Serina
 A privacy-preserving model for the multi-agent propositional planning problem

   Richard J. Wallace
 Preprocessing versus search processing for constraint satisfaction problems
   Richard J. Wallace
 Complexity analysis vs. engineering design in CSP Algorithms: contravening conventional wisdom again

 Francesco Leofante, Luca Pulina and Armando Tacchella
 Learning with safety requirements: state of the art and open questions
 10:30 - 11:00
 Coffee break
 11:00 - 12:30
 Session 2 (Chair: Carmine Dodaro)
   Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri and Simona Perri
 A framework for easing the development of applications embedding answer set programming

 Francesco Calimeri, Davide Fuscà, Simona Perri and Jessica Zangari
 I-DLV: the new intelligent grounder of DLV

 Peter Schüller
 Adjudication of coreference annotations via finding optimal repairs of equivalence relations
   Christoph Redl
 Automated benchmarking of KR-systems
 12:30 - 14:30
 Lunch break
 14:30 - 16:00
 Session 3 (Chair: Francesco Scarcello)

 Carmine Dodaro, Francesco Ricca and Peter Schüller
 External propagators in WASP: preliminary report
   Mario Alviano and Carmine Dodaro
 Anytime answer set optimization via unsatisfiable core shrinking
   Giovanni Amendola, Carmine Dodaro, Francesco Ricca
 ASPQ: An ASP-based 2QBF solver
   Mario Alviano and Carmine Dodaro
 Completion of disjunctive logic programs
 16:00 - 16:30
 Coffee break
 16:30 - 16:50
 Session 4 (Chair: tba)
   Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello and Marco Schaerf
 Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program
 17:00  RCRA Meeting