{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:06Z","timestamp":1740122466556,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,2,9]],"date-time":"2019-02-09T00:00:00Z","timestamp":1549670400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Comb Optim"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s10878-019-00389-y","type":"journal-article","created":{"date-parts":[[2019,2,9]],"date-time":"2019-02-09T06:23:44Z","timestamp":1549693424000},"page":"402-420","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A temporal logic programming approach to planning"],"prefix":"10.1007","volume":"38","author":[{"given":"Kai","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2772-1433","authenticated-orcid":false,"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongwei","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,9]]},"reference":[{"key":"389_CR1","unstructured":"Bacchus F, Kabanza F (1995) Using temporal logic to control search in a forward chaining planner. In: Proceedings of the 3rd European workshop on planning. IOS Press, pp 141\u2013153"},{"issue":"1","key":"389_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F Bacchus","year":"2000","unstructured":"Bacchus F, Kabanza F (2000) Using temporal logics to express search control knowledge for planning. Artif Intell 116(1):123\u2013191","journal-title":"Artif Intell"},{"key":"389_CR3","doi-asserted-by":"crossref","unstructured":"Bart\u00e1k R, Dovier A, Zhou NF (2015) On modeling planning problems in tabled logic programming. In: Proceedings of the 17th international symposium on principles and practice of declarative programming. ACM, pp 31\u201342","DOI":"10.1145\/2790449.2790521"},{"key":"389_CR4","unstructured":"Chrpa L, Bart\u00e1k R (2016) Guiding planning engines by transition-based domain control knowledge. In: Proceedings of the 15th international conference on the principles of knowledge representation and reasoning. AAAI, pp 545\u2013548"},{"key":"389_CR5","doi-asserted-by":"crossref","unstructured":"Cimatti A, Giunchiglia E, Giunchiglia F, Traverso P (1997) Planning via model checking: a decision procedure for AR. In: European conference on planning. Springer, pp 130\u2013142","DOI":"10.1007\/3-540-63912-8_81"},{"key":"389_CR6","unstructured":"Duan Z (1996) An extended interval temporal logic and a framing technique for temporal logic programming. PhD thesis, University of Newcastle upon Tyne"},{"key":"389_CR7","volume-title":"Temporal logic and temporal logic programming","author":"Z Duan","year":"2005","unstructured":"Duan Z (2005) Temporal logic and temporal logic programming. Science Press, Ottawa"},{"key":"389_CR8","doi-asserted-by":"crossref","unstructured":"Duan Z, Tian C (2008) A unified model checking approach with projection temporal logic. In: Proceedings of the 10th international conference on formal engineering methods. Springer, pp 167\u2013186","DOI":"10.1007\/978-3-540-88194-0_12"},{"key":"389_CR9","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.tcs.2014.02.011","volume":"554","author":"Z Duan","year":"2014","unstructured":"Duan Z, Tian C (2014) A practical decision procedure for propositional projection temporal logic with infinite models. Theor Comput Sci 554:169\u2013190","journal-title":"Theor Comput Sci"},{"key":"389_CR10","unstructured":"Duan Z, Koutny M, Holt C (1994) Projection in temporal logic programming. In: Pfenning F (ed) Proceedings of the 5th international conference on logic programming and automated reasoning. Springer, Berlin, LNCS, vol 822, pp 333\u2013344"},{"key":"389_CR11","unstructured":"Fern A, Yoon SW, Givan R (2004) Learning domain-specific control knowledge from random walks. In: Proceedings of the 14th international conference on automated planning and scheduling. AAAI, pp 191\u2013199"},{"key":"389_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox M, Long D (2003) PDDL2. 1: an extension to pddl for expressing temporal planning domains. J Artif Intell Res 20:61\u2013124","journal-title":"J Artif Intell Res"},{"issue":"3","key":"389_CR13","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10878-006-7912-4","volume":"11","author":"V Gabrel","year":"2006","unstructured":"Gabrel V (2006) Strengthened 0\u20131 linear formulation for the daily satellite mission planning. J Comb Optim 11(3):341\u2013346","journal-title":"J Comb Optim"},{"key":"389_CR14","volume-title":"Automated planning: theory & practice","author":"M Ghallab","year":"2004","unstructured":"Ghallab M, Nau D, Traverso P (2004) Automated planning: theory & practice. Elsevier, Amsterdam"},{"key":"389_CR15","unstructured":"Giunchiglia F, Traverso P (1999) Planning as model checking. In: European conference on planning. Springer, pp 1\u201320"},{"key":"389_CR16","unstructured":"Helmert M, R\u00f6ger G, Karpas E (2011) Fast downward stone soup: a baseline for building planner portfolios. In: 3rd Workshop on planning and learning (PAL 2011), pp 28\u201335"},{"key":"389_CR17","doi-asserted-by":"crossref","unstructured":"H\u00f6rne T, van\u00a0der Poll JA (2008) Planning as model checking: the performance of ProB vs NuSMV. In: Proceedings of the 2008 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT research in developing countries: riding the wave of technology. ACM, pp 114\u2013123","DOI":"10.1145\/1456659.1456673"},{"key":"389_CR18","unstructured":"Huang YC, Selman B, Kautz H, et\u00a0al. (1999) Control knowledge in planning: benefits and tradeoffs. In: Proceedings of The 16th national conference on artificial intelligence. AAAI, pp 511\u2013517"},{"key":"389_CR19","unstructured":"Kabanza F, Thi\u00e9baux S, et\u00a0al (2005) Search control in planning for temporally extended goals. In: Proceedings of the 15th international conference on automated planning and scheduling. AAAI, pp 130\u2013139"},{"issue":"1\u20134","key":"389_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1023\/A:1016619613658","volume":"30","author":"J Kvarnstr\u00f6m","year":"2000","unstructured":"Kvarnstr\u00f6m J, Doherty P (2000) Talplanner: a temporal logic based forward chaining planner. Ann Math Artif Intell 30(1\u20134):119\u2013169","journal-title":"Ann Math Artif Intell"},{"issue":"2","key":"389_CR21","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/s10703-013-0197-1","volume":"44","author":"Y Li","year":"2014","unstructured":"Li Y, Dong JS, Sun J, Liu Y, Sun J (2014) Model checking approach to automated planning. Formal Methods Syst Des 44(2):176\u2013202","journal-title":"Formal Methods Syst Des"},{"issue":"1","key":"389_CR22","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s10849-006-9022-1","volume":"16","author":"MC Mayer","year":"2007","unstructured":"Mayer MC, Limongelli C, Orlandini A, Poggioni V (2007) Linear temporal logic as an executable semantics for planning languages. J Log Lang Inf 16(1):63\u201389","journal-title":"J Log Lang Inf"},{"issue":"1","key":"389_CR23","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/s10878-016-0082-0","volume":"36","author":"G Mishra","year":"2018","unstructured":"Mishra G, Mazumdar S, Pal A (2018) Improved algorithms for the evacuation route planning problem. J Comb Optim 36(1):280\u2013306","journal-title":"J Comb Optim"},{"key":"389_CR24","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"DS Nau","year":"2003","unstructured":"Nau DS, Au TC, Ilghami O, Kuter U, Murdock JW, Wu D, Yaman F (2003) Shop2: an HTN planning system. J Artif Intell Res (JAIR) 20:379\u2013404","journal-title":"J Artif Intell Res (JAIR)"},{"key":"389_CR25","unstructured":"Pasula H, Zettlemoyer LS, Kaelbling LP (2004) Learning probabilistic relational planning rules. In: Proceedings of the 14th international conference on automated planning and scheduling. AAAI, pp 73\u201382"},{"issue":"2","key":"389_CR26","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1007\/s10878-016-0003-2","volume":"33","author":"RF Santos","year":"2017","unstructured":"Santos RF, Andrioni A, Drummond AC, Xavier EC (2017) Multicolour paths in graphs: NP-hardness, algorithms, and applications on routing in wdm networks. J Comb Optim 33(2):742\u2013778","journal-title":"J Comb Optim"},{"issue":"4","key":"389_CR27","doi-asserted-by":"publisher","first-page":"1461","DOI":"10.1007\/s10878-015-9834-5","volume":"31","author":"RE Shangin","year":"2016","unstructured":"Shangin RE, Pardalos P (2016) Heuristics for the network design problem with connectivity requirements. J Comb Optim 31(4):1461\u20131478","journal-title":"J Comb Optim"},{"key":"389_CR28","unstructured":"Valenzano RA, Nakhost H, M\u00fcller M, Schaeffer J, Sturtevant NR (2012) Arvandherd: Parallel planning with a portfolio. In: Proceedings of the 20th European conference on artificial intelligence. IOS Press, pp 786\u2013791"},{"key":"389_CR29","doi-asserted-by":"crossref","unstructured":"Wang M, Tian C, Duan Z (2017) Full regular temporal property verification as dynamic program execution. In: Proceedings of the 39th International Conference on Software Engineering. IEEE, pp 226\u2013228","DOI":"10.1109\/ICSE-C.2017.98"},{"key":"389_CR30","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2017.07.032","volume":"749","author":"K Yang","year":"2018","unstructured":"Yang K, Duan Z, Tian C, Zhang N (2018) A compiler for msvl and its applications. Theor Comput Sci 749:2\u201316","journal-title":"Theor Comput Sci"},{"key":"389_CR31","unstructured":"Yoon S, Fern A, Givan R (2008) Learning control knowledge for forward search planning. J Mach Learn Res 9:683\u2013718"},{"key":"389_CR32","doi-asserted-by":"crossref","unstructured":"Zhang N, Duan Z, Tian C (2014) Extending msvl with function calls. In: Proceedings of the 16th international conference on formal engineering methods. Springer, pp 446\u2013458","DOI":"10.1007\/978-3-319-11737-9_29"},{"issue":"2","key":"389_CR33","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/s10878-014-9776-3","volume":"31","author":"N Zhang","year":"2016","unstructured":"Zhang N, Yang M, Gu B, Duan Z, Tian C (2016) Verifying safety critical task scheduling systems in pptl axiom system. J Comb Optim 31(2):577\u2013603","journal-title":"J Comb Optim"}],"container-title":["Journal of Combinatorial Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10878-019-00389-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10878-019-00389-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10878-019-00389-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,8]],"date-time":"2020-02-08T19:14:20Z","timestamp":1581189260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10878-019-00389-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,9]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["389"],"URL":"https:\/\/doi.org\/10.1007\/s10878-019-00389-y","relation":{},"ISSN":["1382-6905","1573-2886"],"issn-type":[{"type":"print","value":"1382-6905"},{"type":"electronic","value":"1573-2886"}],"subject":[],"published":{"date-parts":[[2019,2,9]]},"assertion":[{"value":"9 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}