{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:54:56Z","timestamp":1773615296058,"version":"3.50.1"},"reference-count":12,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.3103\/s0146411619070204","type":"journal-article","created":{"date-parts":[[2020,3,4]],"date-time":"2020-03-04T10:02:40Z","timestamp":1583316160000},"page":"676-682","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories"],"prefix":"10.3103","volume":"53","author":[{"given":"J. L.","family":"Vega Vice","sequence":"first","affiliation":[]},{"given":"V. Y.","family":"Mikhailov","sequence":"additional","affiliation":[]}],"member":"1627","published-online":{"date-parts":[[2020,3,4]]},"reference":[{"key":"7168_CR1","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R., An axiomatic basis for computer programming, Commun. ACM, 1969, vol. 12, no. 10, pp. 576\u2013580.","journal-title":"Commun. ACM"},{"key":"7168_CR2","unstructured":"McDermott, D.V., PDDL\u2014The Planning Domain Definition Language, Tech. Rep. TR-98-003\/DCS TR-1165, Yale Center for Computational Vision and Control, 1998."},{"key":"7168_CR3","unstructured":"Coles, A.J., et al., Temporal planning in domains with linear processes, Proceedings of the 21st International Joint Conference on Artificial Intelligence, 2009, pp. 1671\u20131676."},{"key":"7168_CR4","unstructured":"Vargas Rodriguez, H., et al., Metodologia para el uso y manejo social del recurso tierra como contribuci\u00f3n al desarrollo local sostenible, Revista de Gesti\u00f3n del conocimiento y el desarrollo local\u2014CEDAR\/UNAH, 2014, vol.\u00a01, pp. 34\u201338."},{"key":"7168_CR5","unstructured":"Helmert, M., An Introduction to PDDL, Tech. Rep. https:\/\/www.cs.toronto.edu\/~sheila\/2542\/s14\/A1\/introtopddl2.pdf."},{"key":"7168_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R. and Nilsson, N., STRIPS: A new approach to the application of theorem proving to problem solving, Artif. Intell., 1971, vol. 2, pp. 189\u2013208.","journal-title":"Artif. Intell."},{"key":"7168_CR7","volume-title":"Plan Constraints and Preferences in PDDL3, Tech. Rep.","author":"A. Gerevini","year":"2005","unstructured":"Gerevini, A. and Long, D., Plan Constraints and Preferences in PDDL3, Tech. Rep., Dept. of Electronics for Automation, University of Brescia, 2005."},{"key":"7168_CR8","unstructured":"Cresswell, S. and Coddington, A., Compilation of LTL goal formulas into PDDL, Proceedings of the 16-th European Conference on Artificial Intelligence, 2004, pp. 985\u2013986."},{"key":"7168_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.3608","volume":"44","author":"A.J. Coles","year":"2012","unstructured":"Coles, A.J., et al., COLIN: Planning with continuous linear numeric change, J. Artif. Intell. Res., 2012, vol. 44, no. 1, pp. 1\u201396.","journal-title":"J. Artif. Intell. Res."},{"key":"7168_CR10","unstructured":"OPTIC: Optimising Preferences and Time-Dependent Costs. https:\/\/nms.kcl.ac.uk\/planning\/software\/optic.html."},{"key":"7168_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M. and Long, D., PDDL2.1: An extension to PDDL for expressing temporal planning domains, J. Artif. Intell. Res., 2003, vol. 20, no. 1, pp. 61\u2013124.","journal-title":"J. Artif. Intell. Res."},{"key":"7168_CR12","unstructured":"Land use categories. http:\/\/geolike.ru\/page\/gl_3219.htm."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411619070204.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411619070204","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411619070204.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:57:59Z","timestamp":1773611879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411619070204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":12,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["7168"],"URL":"https:\/\/doi.org\/10.3103\/s0146411619070204","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12]]},"assertion":[{"value":"20 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 March 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}