COPLAS'10 proceedings

Schedule: Wednesday 12 (Room Venice)

8:55-9:00 Welcome

Chair: Miguel A. Salido

9:00 - 10:30 PLANNING

Chair: Miguel A. Salido

AI Planning with Time and Resource Constraints

Filip Dvořák, Roman Barták

Commentary: Marco Maratea

Cost-Optimal Planning using Weighted MaxSAT

Nathan Robinson, Charles Gretton, Duc-Nghia Pham, Abdul Sattar

Commentary: Roman Barták

A Pseudo-Boolean approach for Solving Planning Problems with IPC Simple Preferences

Enrico Giunchiglia, Marco Maratea

Commentary: Nathan Robinson

11:00 - 12:30 SCHEDULING AND TEMPORAL REASONING

Chair: Roman Barták

Tabu Search and Genetic Algorithm for Scheduling with Total Flow Time Minimization

Miguel A. González, Camino R. Vela, María Sierra, Ramiro Varela

Commentary: Amedeo Cesta

Casting Project Scheduling with Time Windows as a DTP

Angelo Oddi, Riccardo Rasconi, Amedeo Cesta

Commentary: Neil Yorke-Smith

Weak and Dynamic Controllability of Temporal Problems with Disjunctions and Uncertainty

K. Brent Venable, Michele Volpato, Bart Peintner, Neil Yorke-Smith

Commentary: Miguel A. González

14:00 - 15:00 CONSTRAINTS

Chair: Neil Yorke-Smith

On two perspectives in decomposing constraint systems: Equivalences and computational properties

Cees Witteveen, Wiebe van der Hoek, Michael Wooldridge

Commentary: Miguel A. Salido

A Filtering Technique for the Railway Scheduling Problem

Marlene Arangú, Miguel A. Salido, Federico Barber

Commentary: Cees Witteveen