{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T17:15:28Z","timestamp":1649178928196},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1007\/bf01258385","type":"journal-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T15:58:07Z","timestamp":1111593487000},"page":"175-193","source":"Crossref","is-referenced-by-count":0,"title":["A plan-generating systems constructor for cooperative application domains"],"prefix":"10.1007","volume":"12","author":[{"given":"Antonio","family":"Giancaspro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Losito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"Allen, J.: Maintaining knowledge about temporal intervals,Comm. ACM 26(11) (1983), 832?843.","journal-title":"Comm. ACM"},{"key":"CR2","first-page":"157","volume-title":"Proc. NASA Conf. Space Telerobotics, Pasadena, CA, 1989, CA","author":"S. Pippo Di","year":"1989","unstructured":"Di Pippo, S., Pasquariello, G., and Sylos Labini, G.: Information management in an integrated space telerobot, inProc. NASA Conf. Space Telerobotics, Pasadena, CA, 1989, CA, JPL-Publication, Pasadena, 1989, pp. 157?166."},{"issue":"3?4","key":"CR3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"Fikes, R. E. and Nilsson, N. J.: STRIPS: A new approach to the application of theorem proving to problem solving,Artificial Intelligence 2(3?4) (1971), 189?208.","journal-title":"Artificial Intelligence"},{"key":"CR4","volume-title":"Logical Foundations of Artificial Intelligence","author":"M. R. Genesereth","year":"1987","unstructured":"Genesereth, M. R. and Nilsson, N. J.:Logical Foundations of Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1987."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/B978-0-934613-30-9.50008-1","volume-title":"Reasoning About Actions and Plans","author":"M. P. Georgeff","year":"1987","unstructured":"Georgeff, M. P.: Actions, processes and causality, in M. P. Georgeff and A. Lansky (eds),Reasoning About Actions and Plans, Morgan Kaufmann, Los Altos, CA, 1987, pp. 99?122."},{"key":"CR6","unstructured":"Giancaspro, A.: A survey of planning in artificial intelligence systems, ITIS Internal Report, March 1991."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Giancaspro, A. and Losito, S.: A framework to deal with simultaneous actions for a plan-generating system, inProc. IEEE\/RSJ Workshop on Intelligent Robot and Systems, Osaka, Japan, 1991, pp. 611?615.","DOI":"10.1109\/IROS.1991.174544"},{"key":"CR8","unstructured":"Giancaspro, A.: A formal system to detect unachievable state descriptions, ITIS Internal Report, March 1992."},{"key":"CR9","first-page":"219","volume-title":"Proc. 1st Int. Joint Conf. Artificial Intelligence, Washington, DC, 1969","author":"C. Green","year":"1969","unstructured":"Green, C.: Application of theorem proving to problem solving,Proc. 1st Int. Joint Conf. Artificial Intelligence, Washington, DC, 1969, Morgan Kaufmann, Los Altos, CA, 1969, pp. 219?239."},{"key":"CR10","volume-title":"Principles of Artificial Intelligence","author":"N. J. Nilsson","year":"1980","unstructured":"Nilsson, N. J.:Principles of Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1980."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/B978-0-934613-30-9.50006-8","volume-title":"Reasoning About Actions and Plans","author":"E. Pednault","year":"1987","unstructured":"Pednault, E.: Formulating multiagent, dynamic-world problems in the classical planning framework, in M. P. Georgeff and A. Lansky (eds),Reasoning About Actions and Plans, Morgan Kaufmann, Los Altos, CA, 1987, pp. 47?82."},{"issue":"10","key":"CR12","doi-asserted-by":"crossref","first-page":"1364","DOI":"10.1109\/PROC.1986.13638","volume":"74","author":"R. Pelavin","year":"1986","unstructured":"Pelavin, R. and Allen, J. F.: A formal logic of plans in temporally rich domains,Proc. IEEE,74(10) (1986), 1364?1382.","journal-title":"Proc. IEEE"}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01258385.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01258385\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01258385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T07:01:50Z","timestamp":1556780510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01258385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["BF01258385"],"URL":"https:\/\/doi.org\/10.1007\/bf01258385","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}