VLEPpO: A Visual Language for Problem Representation
2007
Abstract
Service level agreements (SLAs) are powerful instruments for describing all obligations and expectations in a business relationship. It is of focal importance for deploying Grid technology to commercial applications. The EC-funded project HPC4U (Highly Predictable Clusters for Internet Grids) aimed at introducing SLA-awareness in local resource management systems, while the EC-funded project AssessGrid introduced the notion of risk, which is associated with every business contract. This paper highlights the concept of planning based resource management and describes the SLA-aware scheduler developed and used in these projects.
References (226)
- Andrieux, A.; Czajkowski, K.; Dan, A.; Keahey, K.; Ludwig, H.; Nakata, T.; Pruyne, J.; Rofrano, J.; Tuecke, S.; and Xu, M. 2004. Web Services Agree- ment Specification (WS-Agreement). http://www. gridforum.org/Meetings/GGF11/Documents/ draft-ggf-graap-agreement.pdf.
- Audsley, N. 1993. Deadline monotonic scheduling theory and application. Control Engineering Practice 1:71-78. Business Experiments in Grid (BeInGrid), EU-funded Project. http://www.beingrid.eu.
- Buttazzo, G. C., and Stankovic, J. 1993. Red: A robust ear- liest deadline scheduling algorithm. In 3rd intl. workshop on responsive computing systems.
- Czajkowski, K.; Foster, I.; Kesselman, C.; Sander, V.; and Tuecke, S. 2002. SNAP: A Protocol for Nego- tiating Service Level Agreements and Coordinating Re- source Management in Distributed Systems. In D.G. Feit- elson, L. Rudolph, U. S. E., ed., Job Scheduling Strategies for Parallel Processing, 8th InternationalWorkshop, Edin- burgh,.
- De Roure (edt.), D. 2006. Future for European Grids: GRIDs and Service Oriented Knowledge Utilities. Techni- cal report, Expert Group Report for the European Commis- sion, Brussel.
- Foster, I.; Kesselman, C.; Lee, C.; Lindell, B.; Nahrstedt, K.; and Roy, A. 1999. A Distributed Resource Manage- ment Architecture that Supports Advance Reservations and Co-Allocation. In 7th International Workshop on Quality of Service (IWQoS), London, UK. GGF Open Grid Services Architecture Working Group (OGSA WG). 2003. Open Grid Services Architecture: A Roadmap. Globus Alliance: Globus Toolkit. http://www. globus.org. Highly Predictable Cluster for Internet-Grids (HPC4U), EU-funded project IST-511531. http://www.hpc4u. org. Hovestadt, M.; Kao, O.; Keller, A.; and Streit, A. 2003. Scheduling in HPC Resource Management Systems: Queuing vs. Planning. In Job Scheduling Strategies for Parallel Processing: 9th International Workshop, JSSPP, Seattle, WA, USA.
- Jackson, D.; Snell, Q.; and Clement, M. 2001. Core Algorithms of the Maui Scheduler. In D. G. Feitelson and L. Rudolph., ed., Proceddings of 7th Workshop on Job Scheduling Strategies for Parallel Processing, vol- ume 2221 of Lecture Notes in Computer Science, 87-103. Springer Verlag.
- Jeffery (edt.), K. 2004. Next Generation Grids 2: Require- ments and Options for European Grids Research 2005- 2010 and Beyond. ftp://ftp.cordis.lu/pub/ ist/docs/ngg2_eg_final.pdf.
- Keller, A., and Reinefeld, A. 2001. Anatomy of a resource management system for hpc clusters. Annual Review of Scalable Computing 3:1-31.
- Lifka, D. A. 1995. The ANL/IBM SP Scheduling System. In D. G. Feitelson and L. Rudolph., ed., Proc. of 1st Work- shop on Job Scheduling Strategies for Parallel Processing, volume 949 of Lecture Notes in Computer Science, 295- 303. Springer Verlag.
- MacLaren, J. 2003. Advanced Reservations -State of the Art. Technical report, GRAAP Working Group, Global Grid Forum, http://www.fz-juelich.de/zam/ RD/coop/ggf/graap/sched-graap-2.0.html.
- Mu'alem, A., and Feitelson, D. G. 2001. Utilization, Predictability, Workloads, and User Runtime Estimates in Scheduling the IBM SP2 with Backfilling. In IEEE Trans. Parallel & Distributed Systems 12(6), 529-543. Open Grid Forum. http://www.ogf.org.
- Pfister, G. 1997. In Search of Clusters. Prentice Hall. Priol, T., and Snelling, D. 2003. Next Genera- tion Grids: European Grids Research 2005-2010. ftp://ftp.cordis.lu/pub/ist/docs/ngg_ eg_final.pdf.
- Sahai, A.; Graupner, S.; Machiraju, V.; and van Moorsel, A. 2002. Specifying and Monitoring Guarantees in Com- mercial Grids through SLA. Technical Report HPL-2002- 324, Internet Systems and Storage Laboratory, HP Labora- tories Palo Alto.
- Windisch, K.; Lo, V.; Feitelson, D.; and Nitzberg, B. 1996. A Comparison of Workload Traces from Two Production Parallel Machines. In 6th Symposium Frontiers Massively Parallel Computing, 319-326. References
- Broder, S., Final Examination Scheduling, Comm. of the ACM 7 (1964), 494-498.
- Brelaz, D., New methods to color the vertices of a graph. Comm. of the ACM 22 (1979), 251-256.
- Burke, E.K., Hart, E., Kendall, G., Newall, J., Ross, P. and Schulenburg, S.: Hyperheuristics: an Emerging Di- rection in Modern Search Technology. In: Glover, F. and Kochenberger, G.: Handbook of Metaheuristics, 457- 474, 2003.
- Burke, E. K., Kingston, J. H., and de Werra, D., Applica- tions to Timetabling, In: J. L. Gross and J. Yellen (eds.) The Handbook of Graph Theory, Chapman Hall/CRC Press, (2004), 445-474.
- Burke, E.K., McCollum, B., Meisels, A., Petrovic, S. and Qu, R.: A Graph-Based Hyper Heuristic for Timetabling Problems. European Journal of Operational Research, 176 (2007) 177-192.
- Burke, E.K., Petrovic, S., and Qu R., Case Based Heuris- tic Selection for Timetabling Problems. Journal of Scheduling, 9 (2006) 115-132.
- Carter, M. W., A Survey of Practical Applications of Examination Timetabling Algorithms, Operations Re- search 34 (1986), 193-201.
- Carter, M. W., Laporte, G., and Lee, S., Examination Timetabling: Algorithmic Strategies and Applications, J. of the Operations Research Society 47 (1996), 373-383.
- de Werra, D., An Introduction to Timetabling, Euro. J. Oper. Res. 19 (1985), 151-162.
- Kiaer, L., and Yellen, J., Weighted Graphs and Univer- sity Timetabling, Computers and Operations Research Vol. 19, No. 1 (1992a), 59-67.
- Kiaer, L., and Yellen, J., Vertex Coloring for Weighted Graphs With Application to Timetabling, Technical Re- port Series -RHIT, MS TR 92-12 (1992b).
- Krarup, J., and de Werra, D., Chromatic Optimisation: Limitations, Objectives, Uses, References, Euro. J. Oper. Res. 11 (1982), 1-19.
- Mehta, N. K., The Application of a Graph Coloring Method to an Examination Scheduling Problem, Inter- faces 11 (1981), 57-64.
- Neufeld, G. A. and Tartar, J., Graph Coloring Conditions for the Existence of Solutions to the Timetable Problem, Comm. of the ACM 17 (1974), 450-453.
- Papadimitriou, C. H. and Steiglitz, K., Combinatorial Optimization: Algorithms and Complexity, Prentice- Hall, 1982.
- Qu, R., Burke, E.K., McCollum, B., Merlot, L. T. G., and Lee, S. Y., A survey of Search Methodologies and Automated Approaches for Examination Timetabling, Technical Report, NOTT-CS-TR-2006-4 (2006).
- Schaerf, A., A Survey of Automated Timetabling, Artifi- cial Intelligence Review 13 (1999), 87-127.
- Schmidt, G., and Strohlein, T., Timetable Construction-- an Annotated Bibliography, The Computer Journal 23 (1980), 307-316.
- Welsh, D. J. A., and Powell, M. B., An Upper Bound for the Chromatic Number of a Graph and its Application to Timetabling Problems, The Computer Journal 10 (1967), 85-86.
- Wood, D. C., A System for Computing University Ex- amination Timetables, The Computer Journal 11 (1968), 41-47. References
- Allen, J. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26(11):832-843.
- Alur, R., and Dill, D. L. 1994. A theory of timed automata. Theor. Comput. Sci. 126(2):183-235.
- Bartak, R. 2002. Visopt ShopFloor: On the edge of planning and scheduling. In van Hentenryck, P., ed., Proceedings of the 8th In- ternational Conference on Principles and Practice of Constraint Programming (CP2002), LNCS 2470, 587-602. Springer Verlag.
- Cesta, A., and Oddi, A. 1996. DDL.1: A Formal Description of a Constraint Representation Language for Physical Domains. In M.Ghallab, M., and Milani, A., eds., New Directions in AI Planning. IOS Press.
- Cesta, A.; Cortellessa, G.; Fratini, S.; Oddi, A.; and Policella, N. 2007. An innovative product for space mission planning -an a posteriori evaluation. In Proceedings of the 17th International Conference on Automated Planning & Scheduling (ICAPS-07).
- Cesta, A.; Oddi, A.; and Smith, S. F. 2002. A Constraint-based method for Project Scheduling with Time Windows. Journal of Heuristics 8(1):109-136.
- Frank, J., and Jónsson, A. 2003. Constraint-based attribute and interval planning. Constraints 8(4):339-364.
- Fratini, S., and Cesta, A. 2005. The Integration of Planning into Scheduling with OMP. In Proceedings of the 2nd Workshop on Integrating Planning into Scheduling (WIPIS) at AAAI-05, Pitts- burgh, USA.
- Fratini, S. 2006. Integrating Planning and Scheduling in a Component-Based Perspective: from Theory to Practice. Ph.D. Dissertation, University of Rome "La Sapienza", Faculty of En- gineering, Department of Computer and System Science.
- Ghallab, M., and Laruelle, H. 1994. Representation and Control in IxTeT, a Temporal Planner. In Proceedings of the Second Inter- national Conference on Artifial Intelligence Planning Scheduling Systems. AAAI Press.
- Jonsson, A.; Morris, P.; Muscettola, N.; Rajan, K.; and Smith, B. 2000. Planning in Interplanetary Space: Theory and Practice. In Proceedings of the Fifth Int. Conf. on Artificial Intelligence Planning and Scheduling (AIPS-00).
- Laborie, P. 2003. Algorithms for Propagating Resource Con- straints in AI Planning and Scheduling: Existing Approaches and new Results. Artificial Intelligence 143:151-188.
- Muscettola, N.; Smith, S.; Cesta, A.; and D'Aloisi, D. 1992. Co- ordinating Space Telescope Operations in an Integrated Planning and Scheduling Architecture. IEEE Control Systems 12(1):28-37.
- Muscettola, N. 1994. HSTS: Integrating Planning and Schedul- ing.
- In Zweben, M. and Fox, M.S., ed., Intelligent Scheduling. Morgan Kauffmann.
- Smith, D.; Frank, J.; and Jonsson, A. 2000. Bridging the gap be- tween planning and scheduling. Knowledge Engineering Review 15(1):47-83. References
- Ali, H. H., and El-Rewini, H. 1992. Scheduling Inter- val Ordered Tasks on Multiprocessor Architecture. In SAC '92: Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing, 792-797. New York, NY, USA: ACM.
- Brucker, P.; Drexl, A.; Möhring, R.; Neumann, K.; and Pesch, E. 1999. Resource-Constrained Project Scheduling: Notation, Classification, Models and Methods. European Journal of Operational Research 112:3-41.
- Brucker, P. 2004. Scheduling Algorithms, 4th edition. SpringerVerlag.
- Chaudhuri, S.; Walker, R. A.; and Mitchell, J. E. 1994. An- alyzing and Exploiting the Structure of the Constraints in the ILP Approach to the Scheduling Problem. IEEE Trans- actions on VLSI 2(4).
- Dupont de Dinechin, B. 2004. From Machine Scheduling to VLIW Instruction Scheduling. ST Journal of Research 1(2).
- Dupont de Dinechin, B. 2007. Time-Indexed Formulations and a Large Neighborhood Search for the Resource-Constrained Modulo Scheduling Prob- lem. In 3rd Multidisciplinary International Schedul- ing conference: Theory and Applications (MISTA). http://www.cri.ensmp.fr/classement/2007.html.
- Garey, M. R., and Johnson, D. S. 1976. Scheduling Tasks with Nonuniform Deadlines on Two Processors. J. ACM 23(3):461-467.
- Jaffe, J. M. 1980. Bounds on the Scheduling of Typed Task Systems. SIAM J. Comput. 9(3):541-551.
- Jansen, K. 1994. Analysis of Scheduling Problems with Typed Task Systems. Discrete Applied Mathematics 52(3):223-232.
- Kolisch, R., and Hartmann, S. 1999. Algorithms for Solv- ing the Resource-Constrained Project Scheduling Prob- lem: Classification and Computational Analysis. In J., W., ed., Handbook on Recent Advances in Project Scheduling. Kluwer Academic. chapter 7.
- Leung, A.; Palem, K. V.; and Pnueli, A. 2001. Schedul- ing Time-Constrained Instructions on Pipelined Proces- sors. ACM Trans. Program. Lang. Syst. 23(1):73-103.
- Palem, K. V., and Simons, B. B. 1993. Scheduling Time- Critical Instructions on RISC Machines. ACM Trans. Pro- gram. Lang. Syst. 15(4):632-658.
- Papadimitriou, C. H., and Yannakakis, M. 1979. Schedul- ing Interval-Ordered Tasks. SIAM J. Comput. 8(3):405- 409. Verriet, J. 1996. Scheduling Interval Orders with Re- lease Dates and Deadlines. Technical Report UU-CS-1996- 12, Department of Information and Computing Sciences, Utrecht University.
- Verriet, J. 1998. The Complexity of Scheduling Typed Task Systems with and without Communication Delays. Tech- nical Report UU-CS-1998-26, Department of Information and Computing Sciences, Utrecht University. References
- Blum, A., and Furst, M. 1995. Fast planning through plan-graph analysis. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI95), 1636-1642.
- Fox, M., and Long, D. 1998. The automatic inference of state invariants in TIM. Journal of AI Research 9.
- Fox, M., and Long, D. 2003. PDDL2.1: An ex- tension of PDDL for expressing temporal plan- ning domains. Journal of AI Research 20:61- 124. Gazen, B., and Knoblock, C. 1997. Combining the expressivity of UCPOP with the efficiency of Graphplan. In ECP-97, 221-233.
- Halsey, K.; Long, D.; and Fox, M. 2004. Crikey - a planner looking at the integration of scheduling and planning. In Proceedings of the Workshop on Integration Scheduling Into Planning at 13th In- ternati onal Conference on Automated Planning and Scheduling (ICAPS'03), 46-52.
- Long, D., and Fox, M. 2003. Exploiting a graph- plan framework in temporal planning. In Pro- ceedings of ICAPS'03.
- Nebel, B. 2000. On the expressive power of planning formalisms: Conditional effects and boolean preconditions in the STRIPS formalism. In Minker, J., ed., Logic-Based Artificial Intelli- gence. Kluwer. 469-490.
- Rintanen, J. 2007. Complexity of concurrent temporal planning. In Proceedings of Interna- tional Conference on Automated Planning and Scheduling, 280-287. References
- Aler, R.; Borrajo, D.; and Isasi, P. 2002. Using genetic program- ming to learn and improve control knowledge. Artificial Intelli- gence 141:29-56.
- Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel- Schneider, P. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
- Bacchus, F., and Kabanza, F. 2000. Using temporal logics to ex- press search control knowledge for planning. Artificial Intelligence 116:123-191.
- Bertsekas, D. P., and Tsitsiklis, J. N. 1996. Neuro-Dynamic Pro- gramming. Athena Scientific.
- Fern, A.; Yoon, S.; and Givan, R. 2006. Approximate policy iter- ation with a policy language bias: Solving relational markov deci- sion processes. Journal of Artificial Intelligence Research 25:75- 118. Hoffmann, J., and Nebel, B. 2001. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial In- telligence Research 14:263-302.
- Khardon, R. 1999. Learning action strategies for planning do- mains. Artificial Intelligence 113:125-148.
- Koza, J. R. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. Bradford Book, The MIT Press.
- Leckie, C., and Zukerman, I. 1998. Inductive learning of search control rules for planning. Artificial Intelligence 101:63-98.
- Martin, M., and Geffner, H. 2004. Learning generalized policies from planning examples using concept languages. Applied Intelli- gence 20:9-19.
- Miller, B. L., and Goldberg, D. E. 1995. Genetic algorithms, tournament selection, and the effects of noise. Technical Report 95006, Department of General Engineering, University of Illinois at Urbana-Champaign, Urbana, IL.
- Pednault, E. 1987. Toward a Mathematical Theory of Plan Syn- thesis. Phd, Stanford University, USA.
- Ramsey, C. L.; Schultz, A. C.; and Grefenstette, J. J. 1990. Simulation-assisted learning by competition: Effects of noise dif- ferences between training model and target environment. In Proc. 7th International Conference on Machine Learning, 211-215.
- Spector, L. 1994. Genetic programming and AI planning systems. In Proc. 12th National Conference on Artificial Intelligence (AAAI- 94), 1329-1334.
- Tesauro, G., and Galperin, G. 1996. On-line policy improvement using Monte-Carlo search. In Advances in Neural Information Pro- cessing 9. References
- Ackoff, R. 1989. From Data to Wisdom. Journal of Applied Systems Analysis, 16, 3-9.
- Allen, J.F. 1983. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26, 11, 832-843.
- Chen, P.P-S. 1976. The Entity-Relationship Model: Towards a unified view of data. ACM Transactions on Database Systems, 1, 9-36.
- DesJardins, M. 1994. Knowledge Development Methods for Planning Systems. Proceedings, AAAI-94 Fall Symposium series, Planning and Learning: On to real applications. New Orleans, LA, USA.
- Fikes, R., & Nilsson, N.J. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence Journal, 2, 189- 208. Garland, A., & Lesh, N. 2002. Plan Evaluation with Incomplete Action Descriptions. TR2002-05, Mitsubishi Electric Research Laboratories, Cambridge, Massachusetts, USA.
- Gil, Y. 1992. Acquiring Domain Knowledge for Planning by Experimentation. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA.
- Goldman, R., & Boddy, M. 1996. Expressive Planning and Explicit Knowledge. Proceedings, AIPS-96, 110- 117, AAAI Press.
- Grant, T.J. 1995. Generating Plans from a Domain Model. Proceedings, 14th workshop of the UK Planning and Scheduling Special Interest Group, 22-23 November 1995, University of Essex, Colchester, UK.
- Grant, T.J. 1996. Inductive Learning of Knowledge- Based Planning Operators. PhD thesis, University of Maastricht, The Netherlands.
- Grant, T.J. 2001. Towards a Taxonomy of Erroneous Planning. Proceedings, 20th workshop of the U K Planning and Scheduling Special Interest Group, 13-14 December 2001, University of Edinburgh, Scotland.
- Grant, T.J. 2005. Integrating Sensemaking and Response using Planning Operator Induction. In Van de Walle, B. & Carlé, B. (eds.), Proceedings, 2nd International Conference on Information Systems for Crisis Response and Management (ISCRAM), Royal Flemish Academy of Science and the Arts, Brussels, Belgium, 18-20 April 2005. SCK.CEN and University of Tilburg, 89-96.
- Grant, T.J. 2006. Measuring the Potential Benefits of NCW: 9/11 as case study. In Proceedings, 11 th International Command & Control Research & Technology Symposium (ICCRTS06), Cambridge, UK, paper I-103.
- Grant, T.J., Herik, H.J. van den, & Hudson, P.T.W. 1994. Which Blocks World is the Blocks World? Proceedings, 13th workshop of the UK Planning and Scheduling Special Interest Group, University of Strathclyde, Glasgow, Scotland.
- Hansen, M. T. 1999. The Search-Transfer Problem: The role of weak ties in sharing knowledge across organization subunits. Administrative Science Quarterly, 44 (1), 82-111.
- Kambhampati, S. 2006. Lectures on Learning and Planning. 2006 Machine Learning Summer School (MLSS'06), Canberra, Australia.
- Kambhampati, S. 2007. Model-lite Planning for the Web Age Masses: The challenges of planning with incomplete and evolving domain models. Proceedings, American Association for Artificial Intelligence.
- Krogt, R. van der. 2005. Plan Repair in Single-Agent and Multi-Agent Systems. PhD thesis, TRAIL Thesis - series T2005/18, TRAIL Research School, Netherlands.
- Lefkowitz, L. S., and Lesser, V. R. 1988. Knowledge Acquisition as Knowledge Assimilation. International Journal of Man-Machine Studies, 29, 215-226.
- Levine, G., & DeJong, G. 2006. Explanation-Based Acquisition of Planning Operators. Proceedings, ICAPS 2006.
- McCluskey, T.L., & Porteus, J.M. 1997. Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. Artificial Intelligence Journal, 95, 1-65.
- McCluskey, T.L., Richardson, N.E., & Simpson, R.M. 2002. An Interactive Method for Inducing Operator Descriptions. Proceedings, ICAPS 2002.
- Mitchell, T.M. 1982. Generalization as Search. Artificial Intelligence Journal, 18, 203-226.
- Mukherji, P., & Schubert, L.K. 2005. Discovering Planning Invariants as Anomalies in State Descriptions. Proceedings, ICAPS 2005.
- Nijssen, G.M., & Halpin, T.A. 1989. Conceptual Schema and Relational Database Design: A fact-oriented approach. Prentice-Hall Pty Ltd, Sydney, Australia.
- Nilsson, N.J. 1980. Principles of Artificial Intelligence. Tioga Publishing Company, Palo Alto, California, USA.
- Oates, T., & Cohen, P.R. 1996. Searching for Planning Operators with Context-Dependent and Probabilistic Effects. Proceedings, AAAI, 865-868.
- Porter, B., & Kibler, D. 1986. Experimental Goal Regression: A method for learning problem-solving heuristics. Machine Learning, 1, 249-284.
- Shannon, C.E. 1948. A Mathematical Theory of Communication. Bell System Technical Journal, 27, 379- 423 (July) & 623-646 (October).
- Shen, W.-M. 1994. Discovery as Autonomous Learning from the Environment. Machine Learning, 12, 143-156.
- Slaney, J., & Thiébaux, S. 2001. Blocks World Revisited. Artificial Intelligence Journal, 125, 119-153.
- Szulanski, G. 1996. Exploring Internal Stickiness: Impediments to the transfer of best practice within the firm. Strategic Management Journal, 17, 27-43.
- Wang, X. 1994. Learning Planning Operators by Observation and Practice. PhD thesis, Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA.
- Weick, K. 1995. Sensemaking in Organizations. Sage, Thousand Oaks, CA, USA. ISBN 0-8039-7178-1.
- Yang, Q., Wu, K., & Jiang, Y. 2005. Learning Action Models from Plan Examples with Incomplete Knowledge. Proceedings, ICAPS 2005, 241-250.
- Zimmerman, T., & Kambhampati, S. 2003. Learning- Assisted Automated Planning: Looking back, taking stock, going forward. AI magazine, 73-96 (Summer 2003). References
- Chen, Y.; Wah, B. W.; and Hsu, C. 2006. Temporal Plan- ning using Subgoal Partitioning and Resolution in SGPlan. Journal of Artificial Intelligence Research 26:323-369.
- Gerevini, A., and Serina, I. 2002. LPG: A Planner Based on Local Search for Planning Graphs with Action Costs. In AIPS, 13-22.
- Hoffmann, J., and Nebel, B. 2001. The FF planning sys- tem: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research.
- Koehler, J. 1999. RIFO within IPP. Technical report, Albert-Ludwigs University at Freiburg.
- Long, D., and Fox, M. 2003. The 3rd international plan- ning competition: Results and analysis. Journal of AI Re- search 20:1-59.
- Slaney, J., and Thiébaux, S. 2001. Blocks world revisited. Artif. Intell. 125(1-2):119-153. References
- T. L. McCluskey, D. Liu, Ron M. Simpson, "GIPO II: HTN Planning in a Tool-supported Knowledge Engineering Environment", International Conference on Automated Planning and Scheduling (ICAPS), 2003
- Wilkins, D. E., Lee, T. J. and Berry, P., Interactive Execution Monitoring of Agent Teams, Journal of Artificial Intelligence Research, 18 (2003), pp. 217-261.
- D. Vrakas, I. Vlahavas, "A Visualization Environment for Planning", International Journal on Artificial Intelligence Tools", Vol. 14 (6), 2005, pp. 975-998, World Scientific.
- Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D. and Wilkins, D., "PDDL --the planning domain definition language". Technical report, Yale University, New Haven, CT (1998).
- Fox, M. and Long, D., "PDDL2.1: An extension to PDDL for expressing temporal planning domains". Journal of Artificial Intelligence Research, 20 (2003), 61-124.
- Gerevini, A. and Long, D., "Plan Constraints and Preferences in PDDL3", Technical Report R.T. 2005-08-47, Department of Electronics for Automation, University of Brescia, Italy.
- Fikes, R. and Nilsson, N. J., STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, Vol 2 (1971), 189-208.
- Liu, D., and McCluskey, T. L. 2000. The OCL Language Manual, Version 1.2. Technical report, Department of Computing and Mathematical Sciences, University of Huddersfield References
- Baker, K. R., and Scudder, G. D. 1990. Sequencing with earliness and tardiness penalties: A review. Operations Research 38(1):22-36.
- Baptiste, P.; Flamini, M.; and Sourd, F. To appear in 2008. Lagrangian bounds for just-in-time job-shop scheduling. Computers & Operations Research 35(3):906-915.
- Barták, R. 1999. Constraint programming -what is be- hind? In Proc. of CPDC99 Workshop.
- Beck, J. C., and Perron, L. 2000. Discrepancy-bounded depth first search. In Second International Workshop on Integration of AI and OR Technologies for Combinatorial Optimization Problems (CP-AI-OR'00).
- Beck, J. C., and Refalo, P. 2001. A hybrid approach to scheduling with earliness and tardiness costs. In Third In- ternational Workshop on Integration of AI and OR Tech- niques (CP-AI-OR'01).
- Beck, J. C., and Refalo, P. 2002. Combining local search and linear programming to solve earliness/tardiness scheduling problems. In Fourth International Workshop on Integration of AI and OR Techniques (CP-AI-OR'02).
- Beck, J. C., and Refalo, P. 2003. A hybrid approach to scheduling with earliness and tardiness costs. Annals of Operations Research 118(1-4):49-71.
- Brucker, P.; Heitmann, S.; Hurink, J.; and Nieberg, T. 2006. Job-shop scheduling with limited capacity buffers. OR Spectrum 28(2):151-176.
- Carlier, J., and Pinson, E. 1990. A practical use of jack- son's pre-emptive schedule for solving the job-shop prob- lem. Annals of Operations Research 26:269-287.
- Danna, E., and Perron, L. 2003. Structured vs. unstruc- tured large neighborhood search: A case study on job-shop References
- Akturk, M. S.; Ghosh, J. B.; and Gunes, E. D. 2003. Scheduling with tool changes to minimize total com- pletion time: A study of heuristics and their perfor- mance. Naval Research Logistics 50:15-30.
- Akturk, M. S.; Ghosh, J. B.; and Gunes, E. D. 2004. Scheduling with tool changes to minimize total com- pletion time: Basic results and SPT performance. Eu- ropean Journal of Operational Research 157:784-790.
- Akturk, M. S.; Ghosh, J. B.; and Kayan, R. K. 2007. Scheduling with tool changes to minimize total com- pletion time under controllable machining conditions. Computers and Operations Research 34:2130-2146.
- Baptiste, P.; Le Pape, C.; and Nuijten, W. 2001. Constraint-based Scheduling. Kluwer Academic Pub- lishers.
- Barták, R. 2003. Constraint-based scheduling: An introduction for newcomers. In Intelligent Manufac- turing Systems 2003, 69-74.
- Chen, J.-S. 2006a. Single-machine scheduling with flexible and periodic maintenance. Journal of the Op- erational Research Society 57:703-710.
- Chen, W. J. 2006b. Minimizing total flow time in the single-machine scheduling problem with periodic maintenance. Journal of the Operational Research So- ciety 57:410-415.
- Chen, J.-S. 2007a. Optimization models for the tool change scheduling problem. Omega (to appear).
- Chen, J.-S. 2007b. Scheduling of nonresumable jobs and flexible maintenance activities on a single machine to minimize makespan. European Journal of Opera- tional Research (to appear).
- Goemans, M. X.; Queyranne, M.; Schulz, A. S.; Skutella, M.; and Wang., Y. 2002. Single machine scheduling with release dates. SIAM Journal on Dis- crete Mathematics 15(2):165-192.
- Gray, E.; Seidmann, A.; and Stecke, K. E. 1993. A syn- thesis of decision models for tool management in au- tomated manufacturing. Management Science 39:549- 567. Ji, M.; He, Y.; and Cheng, T. C. E. 2007. Single- machine scheduling with periodic maintenance to min- imize makespan. Computers & Operations Research 34:1764-1770.
- Karakayalı, I., and Azizoglu, M. 2006. Minimizing to- tal flow time on a single flexible machine. International Journal of Flexible Manufacturing Systems 18:55-73.
- Kovács, A., and Beck, J. C. 2007. A global constraint for total weighted completion time. In Proceedings of CPAIOR'07, 4th Int. Conf. on Integration of AI and OR Techniques in Constraint Programming for Com- binatorial Optimization Problems (LNCS 4510), 112- 126. Liao, C. J., and Chen, W. J. 2003. Single-machine scheduling with periodic maintenance and nonresum- able jobs. Computers & Operations Research 30:1335- 1347.
- Qi, X.; Chen, T.; and Tu, F. 1999. Scheduling the maintenance on a single machine. Journal of the Op- erational Research Society 50:1071-1078.
- Tang, C. S., and Denardo, E. V. 1988. Models arising from a flexible manufacturing machine, Part I: Mini- mization of the number of tool switches. Operations Research 36:767-777. References
- S. Abdennadher and M. Marte. University course timetablingusing constraint handling rules. Journal of Applied Artificial Intelligence, 14(4):311-326, 2000.
- The ECLiPSe Constraint Programming System, http://eclipse.crosscoreop.com/
- W. Legierski. Search strategy for constraint- based class-teacher timetabling. In Practice and Theory of Automated Timetabling IV, volume 2740 of Lecture Notes in Computer Science, pages 247-261.
- W. Legierski and R. Widawski. System of automated timetabling. In Proceedings of the 25th International Conference Information Technology Interfaces ITI 2003, Lecture Notes in Computer Science, pages 495-500, 2003.
- W. Legierski. Automated timetabling via Constraint Programming, PhD Thesis, Silesian University of Technology, Gliwice, 2006.
- M. Marte. Models and Algorithms for School Timetabling A Constraint-Programming Approach. PhD thesis, Ludwig-Maximilians-Universitat Munchen, 2002.
- T. Muller. Constraint-based Timetabling. PhD thesis, Charles University in Prague, Faculty of Mathematics and Physics, 2005.
- S. Petrovic and E.K. Burke, Edmund K, Handbook of Scheduling: Algorithms, Models, and Performance Analysis, Chapter 45: University Timetabling,CRC Press,Edt: J. Leung, 2004
- Oliveira E. Reise L.P. A language for specifying complete timetabling problem. In Practice and Theory of Automated Timetabling III, volume 2079 of Lecture Notes in Computer Science, pages 322-341.
- H. Rudova. Constraint Satisfaction with Preferences. PhD thesis, Masaryk University Brno, 2001.
- A. Schaerf. A survey of automated timetabling. In Wiskunde en Informatica, TR CS-R9567. CWICent, 1995.
- J. Werner. Timetabling in Germany: A survey. Interfaces, 16(4):66 74, 1986.
- Chih-Wei;
- Wah, B.; Ruoyun; and Chen, Y. 2006. Handling soft constraints and goal preferences in SG- PLAN. In ICAPS Workshop on Preferences and Soft Constraints in Planning. ICAP.
- Cresswell, S., and Coddington, A. 2003. Planning with timed literals and deadlines. In Porteous, J., ed., Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 22-35. Univer- sity of Strathclyde. ISSN 1368-5708.
- Dean, T., and Kambhampati, S. 1997. Planning and scheduling. In The Computer Science and Engineering Handbook 1997. CRC Press. 614-636.
- Dimopoulos, Y.; Gerevini, A.; Haslum, P.; and Saetti, A. 2006. The benchmark domains of the determin- istic part of IPC-5. In Booklet of the 2006 Planning Competition, ICAPS'06.
- Edelkamp, S., and Hoffman, J. 2003. PDDL2.2: The language for the classical part of the 4th international planning competition.
- Fox, M., and Long, D. 2003. An extension of PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research 20:61-124.
- Fox, M.; Long, D.; and Halsey, K. 2004. An inves- tigation into the expressive power of PDDL2.1. In Proceedings of ECAI'04.
- Gerevini, A., and Long, D. 2006. Plan constraints and preferences in PDDL3. In ICAPS Workshop on Preferences and Soft Constraints in Planning. ICAPS. Gerevini, A., and Serina, I. 2002. LPG: A planner based on local search for planning graphs. In Proceed- ings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling.
- Gerevini, A.; Saetti, A.; and Serina, I. 2004. Planning with numerical expressions in LPG. In Proceedings of the 16th European Conference on Artificial Intelli- gence (ECAI-04). IOS-Press, Valencia, Spain. Halsey, K.; Long, D.; and Fox, M. 2004. CRIKEY - a planner looking at the integration of scheduling and planning. In Proceedings of the Workshop on Integra- tion Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), 46-52.
- Halsey, K. 2004. CRIKEY! Its Co-ordination in Temporal Planning: Minimising Essential Planner- Scheduler Communication in Temporal Planning. Ph.D. Dissertation, Ph. D. Dissertation, University of Durham. Long, D., and Fox, M. 2003. The 3rd international planning competition: Results and analysis. Journal of Artificial Intelligence Research 20:1-59.
- Smith, D. E.; Frank, J.; and Jonsson, A. 2000. Bridg- ing the gap between planning and scheduling. The Knowledge Engineering Review 15:47-83.
- Weld, D. S. 1994. An introduction to least commit- ment planning. AI Magazine 4. References
- Borrow, J. E. 1988. Optimal robot path planning using the minimum-time criterion. Journal of Robotics and Automa- tion 4:443-450.
- Canny, J. 1988. The Complexity of Robot Motion Planning. MIT Press.
- Carlsson, M.; Ottosson, G.; and Carlson, B. 1997. An open-ended finite domain constraint solver. In Proceedings of Programming Languages: Implementations, Logics, and Programs.
- Fortune, S. 1986. A sweepline algorithm for voronoi dia- grams. In Proceedings of the second annual symposium on Computational geometry, 313-322.
- Garau, B.; Alvarez, A.; and Oliver, G. 2005. Path plan- ning of autonomous underwater vehicles in current fields with complex spatial variability: an a * approach. In Pro- ceedings of the International Conference on Robotics and Automation, 194-198.
- Ju, M.-Y.; Liu, J.-H.; and Hwang, K.-S. 2002. Real- time velocity alteration strategy for collision-free trajectory planning of two articulated robots. Journal of Intelligent and Robotic Systems 33:167-186.
- Kant, K., and Zucker, S. W. 1986. Toward efficient trajec- tory planning: the path-velocity decomposition. The Inter- national Journal of Robotics Research 5:72-89.
- Khatib, O. 1986. Real-time obstacle avoidance for manip- ulators and mobile robots. In Proceedings of the Interna- tional Conference on Robotics and Automation, volume 2, 500-5005.
- LaValle, S. M. 1998. Rapidly-exploring random trees: A new tool for path planning. TR 98-11, Computer Science Dept., Iowa State Univ.
- Nilsson, N. J. 1969. A mobile automation: An applica- tion of artificial intelligence techniques. Proceedings of the International Joint Conference on Artifical Intelligence 509-520.
- Park, S.; Deyst, J.; and How, J. 2004. A new nonlinear guidance logic for trajectory tracking. Proceedings of the AIAA Guidance, Navigation and Control Conference.
- Petres, C.; Pailhas, Y.; Patron, P.; Petillot, Y.; Evans, J.; and Lane, D. 2007. Path planning for autonomous underwater vehicles. Transactions on Robotics 23:331-341.
- Soulignac, M., and Taillibert, P. 2006. Fast trajectory plan- ning for multiple site surveillance through moving obsta- cles and wind. In Proceedings of the Workshop of the UK Planning and Scheduling Special Interest Group, 25-33.
- Zhao, Q., and Yan, S. 2005. Collision-free path planning for mobile robots using chaotic particle swarm optimiza- tion. In Proceedings of the International Conference on Advances in Natural Computation, 632-635. References Adobe. 2007. Flash. http://www.adobe.com/.
- News, A. 2006. Classic paper award. AI Magazine 27(3)
- AGRE, P., and CHAPMAN, D. 1987. Pengi: An implemen- tation of a theory of activity. In Proceedings of 6 th AAAI, 268-272.
- AGRE, P. 1988. The Dynamics of Everyday life. Ph.D. Dissertation, MIT AI Lab Tech Report 1085. AGRE, P. 1993. The symbolic worldview: Reply to vera and simon. Cognitive Science 17(1) 61-69.
- AGRE, P. 1997. Computation and Human Experience. Cambridge University Press.
- AMBROS-INGERSON, J., and STEEL, S. 1988. Integrating planning, execution and monitoring. In Proceedings of 7 th AAAI, 83-88.
- BARTLETT, N.; SIMKIN, S.; and STRANC, C. 1996. Java Game Programming. Coriolis Group Books. BRATMAN, M. 1987. Intentions, Plans and Practical Rea- son. Harvard University Press.
- CHAPMAN, D. 1990. Vision, Instruction and Action. Ph.D. Dissertation, MIT AI Lab Tech Report 1204. CHARRIER, D. 2007. Super sokoban 2.0. http://d.- ch.free.fr/.
- DROGOUL, A.; FERBER, J.; and JACOPIN, E. 1991. Viewing cognitive modelling as eco-problem solving: The PENGI experience. In Proceedings of the 1991 European Conference on Modelling and Simulation Multiconference, 337-342.
- FOX, M., and LONG, D. 1999. The detection and exploita- tion of symmetry in planning problems. In Proceedings of 16 th IJCAI, 956-961.
- HORNELL, K. 1996. Iceblox. http://www.tdb.uu.- se/˜karl.
- MILLER, G.; GALANTER, E.; and PRIBRAM, K. 1986. Plans and the Structure of Behavior. Adams-Bannister- Cox. References
- Aickelin, U. 1999. Genetic Algorithms for Multiple-Choice Optimisation Algorithms. Ph.d. diss., European Business Management School University of Swansea.
- Azaiez, M. N., and Sharif, S. S. 2005. A 0-1 goal program- ming nodel for nurse scheduling. Computers & Operations Research 32.
- Baumelt, Z. 2007. Hospital Nurse Scheduling. Master the- sis, Department of Control Engineering, Faculty of Electri- cal Engineering, Czech Technical University in Prague. Berghe, G. V. 2002. An Advanced Model and Novel Meta-Heuristic Solution Methods to Personnel Scheduling in Healthcare. Ph.d. diss., University of Gent.
- Burke, E. K.; de Causmaecker, P.; Berghe, G. V.; and van Landeghem, H. 2004. The state of the art of nurse roster- ing. Journal of Scheduling 7:441-499.
- Cheang, B.; Li, B.; Lim, A.; and Rodrigues, B. 2002. Nurse rostering problems -a bibliographic survey. Euro- pean Journal of Operations Research.
- Chen, J., and Yeung, T. 1993. Hybrid expert system ap- proach to nurse scheduling. Computers in Nursing.
- Eiselt, H. A., and Sandblom, C. L. 2000. Integer Program- ming and Netwotk Models. Springer-Verlag Berlin and Hei- delberg, 1st edition.
- Hung, R. 1995. Hospital nurse scheduling. Journal of Nursing Administration 25.
- Okada, M. 1992. An approach to the generalised nurse scheduling problem -generation of a declarative program to represent institution-speciffic knowledge. Computers and Biomedical Research 25. References
- Brucker, P., Drexl, A., Mohring, R., Neumann, K., and Pesh, E., 1999. Resource-constrained project scheduling: Notation, classification, models, and methods, European Journal of Operational Research 112
- Herroelen, W., De Reyck, B., and Demeulemeester, E., 1998. Resource-constrained project scheduling: a survey of recent developments, Computers Ops Res. Vol. 25
- Blazewicz, J., Cellary W., Slowinski R., and Weglarz J., 1986. Scheduling under Resource Constraints: Deterministic Models, in: Annals of operations research, vol. 7., J.C. Baltzer
- Kolisch, R. and Hartmann, S. eds. 1999. Heuristic Algorithms for Solving the Resource-Constrained Project Scheduling Problem: Classification and Computational Analysis, in: Project scheduling: Recent models, algorithms and applications, Kluwer
- Kolisch, R., and Sprecher, A. 1997. PSPLIB A Project Scheduling Problem Library, European Journal of Operational Research 96
- Gansner, E., and E., North, 2000. An open graph visualization system and its applications to software engineering, Software Practice and Experience Vol.30, 11
- Valls, V., Ballestín, F., Quintanilla, S., 2006. Justification Technique Generalizations, in: Perspectives in Modern Project Scheduling, Kluwer