乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:11Z","timestamp":1725582671764},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20832-4_25","type":"book-chapter","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T22:59:49Z","timestamp":1303945189000},"page":"398-414","source":"Crossref","is-referenced-by-count":0,"title":["A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design"],"prefix":"10.1007","author":[{"given":"Forrest Sheng","family":"Bao","sequence":"first","affiliation":[]},{"given":"Sandeep","family":"Chintabathina","sequence":"additional","affiliation":[]},{"given":"A. Ricardo","family":"Morales","sequence":"additional","affiliation":[]},{"given":"Nelson","family":"Rushton","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Watson","sequence":"additional","affiliation":[]},{"given":"Yuanlin","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Ghallab, M., Laruelle, H.: Representation and control in IxTeT, a temporal planner. In: Proceedings of the 2nd International Conference on Artificial Intelligence Planning Systems (AIPS), pp. 61\u201367 (1994)"},{"key":"25_CR2","unstructured":"Tate, A.: Representing plans as a set of constraints. In: Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS), pp. 221\u2013228 (1996)"},{"issue":"1","key":"25_CR3","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIS.2004.1265878","volume":"19","author":"M. Ai-Chang","year":"2004","unstructured":"Ai-Chang, M., Bresina, J., Farrell, K., Hsu, J., Jnsson, A., Kanefsky, B., McCurdy, M., Morris, P., Rajan, K., Vera, A., Yglesias, J., Charest, L., Maldague, P.: MAPGEN: Mixed-intiative activity planning for the mars exploratory rover mission. IEEE Intelligent Systems\u00a019(1), 8\u201312 (2004)","journal-title":"IEEE Intelligent Systems"},{"key":"25_CR4","unstructured":"Penberthy, J.S., Weld, D.S.: Temporal planning with continuous change. In: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI), vol.\u00a02, pp. 1010\u20131015 (1994)"},{"key":"25_CR5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research (JAIR)\u00a020, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.1918","volume":"26","author":"Y. Chen","year":"2006","unstructured":"Chen, Y., Wah, B., Hsu, C.-W.: Temporal planning using subgoal partitioning and resolution in sgplan. Journal of Artificial Intelligence Research (JAIR)\u00a026, 323\u2013369 (2006)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"issue":"3","key":"25_CR7","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.artint.2005.08.004","volume":"170","author":"V. Vidal","year":"2006","unstructured":"Vidal, V., Geffner, H.: Branching and pruning: an optimal temporal POCL planner based on constraint programming. Artificial Intelligence\u00a0170(3), 298\u2013335 (2006)","journal-title":"Artificial Intelligence"},{"key":"25_CR8","unstructured":"Cushing, W., Kambhampati, S., Weld, M., Weld, D.: When is temporal planning really temporal? In: Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI), pp. 1852\u20131859 (2007)"},{"key":"25_CR9","unstructured":"Coles, A., Fox, M., Long, D., Smith, A.: Planning with problems requiring temporal coordination. In: Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI), vol.\u00a02, pp. 892\u2013897 (2008)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Huang, R., Chen, Y., Zhang, W.: An optimal temporally expressive planner: Initial results and application to P2P network optimization. In: Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS), pp. 178\u2013185 (2009)","DOI":"10.1609\/icaps.v19i1.13347"},{"key":"25_CR11","unstructured":"Hu, Y.: Temporally-expressive planning as constraint satisfaction problems. In: Proceedings of 17th International Conference on Automated Planning and Scheduling (ICAPS), pp. 192\u2013199 (2007)"},{"issue":"1","key":"25_CR12","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.artint.2005.05.004","volume":"168","author":"S. Thi\u00e9baux","year":"2005","unstructured":"Thi\u00e9baux, S., Hoffmann, J., Nebel, B.: In defense of PDDL axioms. Artificial Intelligence\u00a0168(1), 38\u201369 (2005)","journal-title":"Artificial Intelligence"},{"issue":"1-4","key":"25_CR13","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10472-009-9116-y","volume":"53","author":"V.S. Mellarkod","year":"2008","unstructured":"Mellarkod, V.S., Gelfond, M., Zhang, Y.: Integrating answer set programming and constraint logic programming. Annals of Mathematics and Artificial Intelligence\u00a053(1-4), 251\u2013287 (2008)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"25_CR14","unstructured":"Lee, J., Lifschitz, V.: Describing additive fluents in action language C+. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI), pp. 1079\u20131084 (2003)"},{"key":"25_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-74610-2_18","volume-title":"Logic Programming","author":"A. Dovier","year":"2007","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Multivalued action languages with constraints in CLP(FD). In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 255\u2013270. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T10:10:44Z","timestamp":1686046244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}