23rd RCRA International Workshop on
"Experimental Evaluation of Algorithms for solving problems with combinatorial explosion"
PRELIMINARY PROGRAM
Monday 28 November 2016
08:45 - 09:00
|
Welcome
|
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
|
|
|
|
|