Address:
Facolta` di Ingegneria
Universita` di Bologna
Viale Risorgimento, 2
Bologna,
room 8.1
Thursday 10 June 2010 Sessione speciale RiCeRcA 2010: RCRA Incontri e Confronti (in italiano)
| Presentazioni brevi
| | 9:30 | Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara.
Forward Rules and Fuzzy Ontological Reasoning: Heading toward Tight Integration.
| | 9:40 | Massimiliano Cattafi, Michela Milano, Marco Gavanelli, Paolo Cagnoli.
Posizionamento sostenibile di centrali a biomassa: un'applicazione di computational sustainability
nell'ambito della pianificazione ambientale regionale.
| | 9:50 | Alessandra Mileo.
Knowledge-Based Support to Qualitative Multi-Sensor Fusion for Situation Assessment.
| | 10:00 | Stefano Bistarelli, Amedeo Cesta, Agostino Dovier, Maurizio Gabbrielli, Francesca Rossi.
Innovative and multi-disciplinary approaches for constraint and preference reasoning
(a MIUR PRIN research project).
| 10:10
| Pausa caffè
| | | | 10:40
| Sessione comune con poster, demo e presentazioni approfondite | | | | | 12:10 | Riunione annuale del gruppo di lavoro RCRA
| | 12:30 | Pranzo (*)
|
RCRA 2010: 17th RCRA International Workshop on
"Experimental evaluation of algorithms for solving problems with combinatorial explosion"| 14:20 | Welcome | | | Planning and Scheduling | | 14:30 | Angelo Oddi, Riccardo Rasconi, Amedeo Cesta and Stephen Smith.
Job
Shop Scheduling with Setup Times: Exploring the Applicability of a
Constraint-based
Iterative Sampling Approach | | 15:00 |
Marco Maratea.
An experimental evaluation of Max-SAT and PB
solvers on
over-subscription planning problems | | 15:30 | Marco Baioletti, Alfredo Milani, Valentina Poggioni and Fabio Rossi.
Experimental evaluation of pheromone models in ACOPlan | | 16:00 | Coffee break
| | | | | | Local Search
| | 16:30 | Alfonso E. Gerevini, Alessandro Saetti, Ivan Serina and Paolo
Toninelli.
Fast Planning in Domains with Derived Predicates: An Approach
Based on Rule-Action Graphs
and Local Search | | 17:00 | Daniel Guimarans, Rosa Herrero, Daniel Riera, Ángel A. Juan and Juan
José Ramos.
Combining Constraint Programming, Lagrangian Relaxation and
Probabilistic Algorithms
to solve the Vehicle Routing Problem | | 17:30 | Short break
| | | | | | Logic programming 1
| | 17:45 | Mario Alviano, Wolfgang Faber and Nicola Leone.
Well-Founded Semantics
for Logic Programs with Aggregates: Implementation and Experimentation | | 18:15 | Duygu Cakmak, Halit Erdogan and Esra Erdem.
Computing Weighted
Solutions in ASP: Representation-Based Method vs. Search-Based Method | | 18:45 | End of the day
| | | | 20:00
| Social dinner (*)
|
Friday 11 June 2010RCRA 2010: 17th RCRA International Workshop on
"Experimental evaluation of algorithms for solving problems with
combinatorial explosion"| | SAT & PB
| | 10:00 | |
Oscar Chavez-Bosquez, Pilar
Pozos Parra and Florian Lengyel.
Towards a Deterministic
Algorithm for the International Timetabling Competition |
| | 10:30 | Joao Marques-Silva, Josep Argelich, Ana Graça and Ines Lynce.
Boolean
Lexicographic Optimization | | 11:00 | Carsten Sinz.
Problem-Sensitive Restart Heuristics for the DPLL
Procedure | | 11:30 | Coffee break
| | | |
| Logic Programming 2
| | 12:00 | Fabrizio Riguzzi and Terrance Swift.
Tabling and Answer Subsumption for
Reasoning on Logic Programs with Annotated Disjunctions | | 12:30 | Simona Perri, Francesco Ricca and Marco Sirianni.
Towards a
Fully-Parallel DLV System | | 13:00 | Lunch (*)
| | | | | | Applications | | 15:00 | Alessandra Mileo, Torsten Schaub, Davide Merico and Roberto Bisiani.
Knowledge-Based Multi-Criteria Optimization to Support Indoor
Positioning | | 15:30 | Andrea Addis, Giuliano Armano and Eloisa Vargiu.
Experimental
Assessment of a Threshold Selection Algorithm for Tuning Classifiers
in
the Field of Hierarchical Text Categorization | | 16:00 | Coffee break
| | | | | | Verification | | 16:30 | Luca Pulina and Armando Tacchella.
An Abstraction-Refinement
Approach to Verification of Artificial Neural Networks | | 17:00 | Marco Alberti, Pierangelo Dell'Acqua and Luís Moniz Pereira.
Observation Strategies for Event Detection, with Incidence on Runtime
Verification | | 17:30 | Stefania Costantini, Pierangelo Dell'Acqua, Luis Moniz Pereira and
Arianna Tocchio.
Ensuring Agent Properties under Arbitrary Sequences of
Incoming Events | | 17:50 | Closing remarks and announcements
| | 18:00 | End of the workshop
| | | | | 18:30 | Short walk in the city center and social aperitif (*)
| | | | | 21:00 | More social dinner (*)
|
(*) Since RCRA 2010 has no registration fee, lunches, social dinners, and the social aperitif are at your expense.
Indicative prices will be given during the workshop. Separate invoices will be issued so that you can easily
ask for reimbursement at your institution. |
|
