CPORA Program
13:30-15:30 | Wednesday 6.09.2017. Chair: Paweł Sitek |
13:30-13:40 | Welcome |
13:40-14:00 |
A hybrid method forOptimization Scheduling Groups of Jobs Authors: Tadeusz Stefanski and Jarosław Wikarek (Kielce University of Technology) |
14:00-14:20 |
Answer Set Programming for Modeling and Reasoning on Modular and Reconfigurable Transportation Systems Authors: Walter Terkaj (ITIA-CNR), Marcello Urgo (unaffiliated), and Daniela Andolfatto (Politecnico di Milano) |
14:20-14:40 |
An example of the satisfiability problem in the continuous structure Author: Marek Balcer (Silesian University of Technology) |
14:40-15:00 |
Application of survival function in robust scheduling of production jobs Authors: Łukasz Sobaszek, Arkadiusz Gola, and Edward Kozłowski (Lublin University of Technology) |
15:00-15:30 | Additional discussion and closing |