CLP Group at Charles Uni.

1
CLP Group at Charles Uni.

PLANSERVE

• Roman Barták
• Charles University, Prague
• bartak_at_kti.mff.cuni.czhttp//kti.mff.cuni.cz/bar
  tak

2
Constraint Logic Programming Research Group

• Faculty
• PhD Students

Roman Barták Logic and constraint programming Scheduling (and planning)
Ondrej Cepek Scheduling algorithms
Jan Hric Logic and functional programming
Jan Hruza Logic programming
Petr Urban Automated proofs
Petr Štepánek Logic programming Multi-agent systems
Roman Mecl Interactivity in scheduling
Tomáš Müller Timetabling
Petr Vilím Global constraints for scheduling
3
Expertise available to others

• Foundations
• Logic programming
• Constraint programming
• Specialties
• Classical scheduling (open-shop, flow-shop)
• Constraint-based scheduling
• Global constraints for scheduling
• Modelling of real-life problems using constraints
• Industrial experience
• Visopt B.V.
• Scheduling in complex industries(chemical,
  pharmaceutical, food etc. industries)

4
Planned contribution to PLANSERVE

• ? Integrating planning and scheduling ?
• Modelling
• Assist users to formulate problems
• A generic modelling language based on XML
• KE techniques
• Assist solvers to find solutions effectively
• Data checking
• Data analysing
• Pre-processing/post-processing
• Solving
• Constraint-based techniques
• Integrating OR and DM techniques into CSP
  framework

5
Visit us at http//kti.mff.cuni.cz/bartak/clp