{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T21:47:03Z","timestamp":1649195223357},"reference-count":34,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence in Engineering"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1016\/s0954-1810(99)00025-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T13:05:05Z","timestamp":1027602305000},"page":"15-30","source":"Crossref","is-referenced-by-count":9,"title":["Automatic generation of control sequences for manufacturing systems based on partial order planning techniques"],"prefix":"10.1016","volume":"14","author":[{"given":"L","family":"Castillo","sequence":"first","affiliation":[]},{"given":"J","family":"Fdez-Olivares","sequence":"additional","affiliation":[]},{"given":"A","family":"Gonz\u00e1lez","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0954-1810(99)00025-4_BIB1","series-title":"Readings in planning","author":"Allen","year":"1990"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB2","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1002\/int.4550060404","article-title":"Regression planning","volume":"6","author":"McDermott","year":"1991","journal-title":"Int J Intell Syst"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(95)00034-C","article-title":"Planning: what is, what it could be, an introduction to the special issue on planning and scheduling","volume":"76","author":"McDermott","year":"1995","journal-title":"Artificial Intell"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB4","series-title":"Principles of artificial intelligence","author":"Nilsson","year":"1980"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB5","first-page":"741","article-title":"Application of theorem proving to solving","author":"Green","year":"1969","journal-title":"IJCAI"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB6","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0004-3702(75)90008-9","article-title":"Knowledge and reasoning in program synthesis","volume":"6","author":"Manna","year":"1975","journal-title":"Artificial Intell"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB7","unstructured":"Waldinger RJ. Constructing programs automatically using theorem proving. PhD thesis, Carnegie-Mellon University, 1969."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB8","unstructured":"Aylett R, Petley G, Chung P, Soutter J, Rushton A. Planning and chemical plan operation procedure synthesis: a case study. In: Fourth European Conference on Planning, 1997. p. 41\u201353."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB9","series-title":"New directions in AI planning","first-page":"313","article-title":"Tractable planning for an assembly line","author":"Klein","year":"1996"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB10","unstructured":"Gil Y. A specification of manufacturing processes for planning. Technical Report CMU-CS-91-179, Carnegie Mellon University, 1991."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB11","first-page":"1670","article-title":"AI planning versus manufacturing-operation planning: a case study","author":"Nau","year":"1995","journal-title":"IJCAI-95"},{"issue":"6","key":"10.1016\/S0954-1810(99)00025-4_BIB12","doi-asserted-by":"crossref","first-page":"1597","DOI":"10.1109\/21.257757","article-title":"Explanation-based learning for intelligent process planning","volume":"23","author":"Park","year":"1993","journal-title":"IEEE Trans Systems, Man & Cybernetics"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB13","series-title":"Intelligent manufacturing: programming environments for CIM","author":"Gruver","year":"1993"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB14","series-title":"Petri nets theory and the modeling of systems","author":"Peterson","year":"1981"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB15","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","article-title":"Towards general theory of action and time","volume":"23","author":"Allen","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB16","unstructured":"Pednault E. ADL: exploring the middle ground between STRIPS and the situation calculus. Knowledge Representation, 1989."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB17","unstructured":"Penberthy JS, Weld DS. UCPOP: a sound, complete, partial order planner for ADL. In: Third International Conference on Principles of Knowledge Representation and Reasoning, 1992. p. 103\u201314."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB18","first-page":"89","article-title":"A representation of action structures","author":"Sandewall","year":"1986","journal-title":"AAAI-86"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB19","unstructured":"Castillo L, Gonz\u00e1lez A. MACHINE: A model of action for multi-agent domains. In: European Conference on Planning ECP-97, 1997. Electronically available at http:\/\/decsai.ugr.es\/~1cv."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB20","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: A new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intell"},{"issue":"4","key":"10.1016\/S0954-1810(99)00025-4_BIB21","article-title":"An introduction to least commitment planning","volume":"15","author":"Weld","year":"1994","journal-title":"AI Magazine"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","article-title":"Temporal database management","volume":"32","author":"Dean","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB23","first-page":"18","article-title":"Temporal planner=nonlinear planner+time map manager","volume":"6","author":"Rutten","year":"1993","journal-title":"Artificial Intell Commun"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB24","unstructured":"Klein I, Lindskog P, Backstrom C. Automatic creation of sequential control schemes in polynomial time. Technical Report LiTH-ISY-I-1430, Linkoping Univeristy, 1993."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB25","unstructured":"Soutter J. An integrated architecture for operating procedure synthesis. PhD thesis, Loughborough University, 1996."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB26","first-page":"634","article-title":"Systematic nonlinear planning","author":"McAllester","year":"1991","journal-title":"AAAI-91"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB27","first-page":"221","article-title":"An interval-based representation of temporal knowledge","volume":"IJCAI-81","author":"Allen","year":"1981","journal-title":"In"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB28","series-title":"Practical planning: extending the classical AI planning paradigm","author":"Wilkins","year":"1988"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB29","unstructured":"Castillo L, Fdez-Olivares J, Gonz\u00e1lez A. Intelligent planning of Grafcet charts. Technical Report DECSAI-990109, University of Granada, 1999."},{"key":"10.1016\/S0954-1810(99)00025-4_BIB30","article-title":"A three-level knowledge based system for the generation of live and safe petri nets for manufacturing systems","author":"Castillo","year":"1999","journal-title":"J Intell Manufact"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB31","first-page":"1129","article-title":"The use of condition types to restrict search in an AI planner","author":"Tate","year":"1994","journal-title":"AAAI-94"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB32","article-title":"UMCP: a sound and complete procedure for hierarchical task-network planning","author":"Erol","year":"1994","journal-title":"AIPS-94"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB33","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1613\/jair.316","article-title":"Accelerating partial-order planners: some techniques for effective search control and pruning","author":"Gerevini","year":"1996","journal-title":"J Artificial Intell Res"},{"key":"10.1016\/S0954-1810(99)00025-4_BIB34","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1613\/jair.393","article-title":"Flaw selection strategies for partial-order planning","volume":"6","author":"Pollack","year":"1997","journal-title":"J Artificial Intell Res"}],"container-title":["Artificial Intelligence in Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0954181099000254?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0954181099000254?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T14:34:09Z","timestamp":1578494049000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0954181099000254"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["S0954181099000254"],"URL":"http:\/\/dx.doi.org\/10.1016\/s0954-1810(99)00025-4","relation":{},"ISSN":["0954-1810"],"issn-type":[{"value":"0954-1810","type":"print"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}
