Faculty of Informatics and Statistics, Department of Information and Knowledge Engineering (DIKE)

Date and time: April 19 2012 (10:30 – 12:00). Non–standard date or time!

Room: 403 NB


Knowledge Engineering for Planning and Scheduling: From Problems to Solvers and Back


  • Roman Barták, KTIML MFF UK Praha

One the current most important problems in planning and scheduling is bringing the existing solving technology to real-life problems (or vice versa). Though there exist many planning and scheduling algorithms, there is still a huge gap between the real-life problems and the solving algorithms. This talk addresses some steps to bridge this gap. Namely the talk covers formal modeling of scheduling problems, verification of the models, their automated transformation to scheduling models appropriate for solvers, and finally visualization and analysis of the resulted schedules. The presentation will be accompanied by a live demo of the FlowOpt system that implements the above-mentioned techniques.

Downloads: slides 1 

Powered by Resource Description Framework (RDF)