{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:06:27Z","timestamp":1725516387002},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540698401"},{"type":"electronic","value":"9783540698487"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69848-7_79","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"1000-1011","source":"Crossref","is-referenced-by-count":0,"title":["Parallel Actions and Generalized Multivalued Constraints in Multivalued Planning"],"prefix":"10.1007","author":[{"given":"M.","family":"Baioletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Milani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Poggioni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Suriani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"79_CR1","first-page":"279","volume":"90","author":"A. Blum","year":"1997","unstructured":"Blum, A., Furst, M.: Fast Planning Through Planning Graph Analysis. Artificial Intelligent\u00a090, 279\u2013298 (1997)","journal-title":"Artificial Intelligent"},{"key":"79_CR2","first-page":"463","volume":"90","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a090, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"79_CR3","unstructured":"Kautz, H., Selman, B.: Planning as Satisfiability. In: 10th European Conference on Artificial Intelligence (ECAI 1992), pp. 360\u2013363 (1992)"},{"key":"79_CR4","unstructured":"Cimatti, A., Roveri, M., Traverso, P.: Strong Planning in Non-Deterministic Domains Via Model Checking. Artificial Intelligence Planning Systems, 36\u201343 (1998)"},{"key":"79_CR5","unstructured":"Cialdea, M., Orlandini, A., Balestreri, G., Limongelli, C.: A planner fully based on Linear Time Logic. In: Proc. of AIPS 2000, pp. 347\u2013354 (2000)"},{"key":"79_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"16","author":"F. Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence\u00a016, 123\u2013191 (2000)","journal-title":"Artificial Intelligence"},{"key":"79_CR7","first-page":"301","volume":"14","author":"I. Miguel","year":"2001","unstructured":"Miguel, I., Jarvis, P., Shen, Q.: Efficient Flexible Planning via Dynamic Flexible Constraint Satisfaction. Engineering Applications of AI\u00a014, 301\u2013327 (2001)","journal-title":"Engineering Applications of AI"},{"key":"79_CR8","unstructured":"Baioletti, M., Milani, A., Poggioni, V., Suriani, S.: A Multivalued logic model of planning. In: Proc. of ECAI 2006 (2006)"},{"key":"79_CR9","volume-title":"Mathematics of Fuzzy Logic, Machine Intelligence","author":"P. Hajek","year":"1998","unstructured":"Hajek, P.: Mathematics of Fuzzy Logic, Machine Intelligence. Kluwer Academic Publisher, Dordrecht (1998)"},{"key":"79_CR10","unstructured":"Baioletti, M., Milani, A., Poggioni, V., Suriani, S.: A Multivalued planning model for soft constraints and preferences. In: Proc. of ICAPS 2006, WS on Preferences and Soft Constraints (2006)"},{"key":"79_CR11","unstructured":"Gerevini, A., Long, D., SPlan Constraints, D.: Preferences in PDDL3, Tech. Rep. of Dept. of Electronics for Automation, University of Brescia, Italy (2005)"},{"key":"79_CR12","first-page":"107","volume":"1","author":"R. H\u00e4hnle","year":"1997","unstructured":"H\u00e4hnle, R.: Some philosophical problems from the standpoint of artificial intelligence. Proof Theory on many\u2013valued logic \u2013 linear optimization \u2013 logic design: Connections And Interactions\u00a01, 107\u2013119 (1997)","journal-title":"Proof Theory on many\u2013valued logic \u2013 linear optimization \u2013 logic design: Connections And Interactions"},{"key":"79_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-5060(08)70342-X","volume":"5","author":"E. Balas","year":"1979","unstructured":"Balas, E.: Disjunctive Programming. Annals of Discrete Mathematics\u00a05, 3\u201351 (1979)","journal-title":"Annals of Discrete Mathematics"},{"key":"79_CR14","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Deduction \u2013 CADE-20","author":"M. Bozzano","year":"2005","unstructured":"Bozzano, M., et al.: The MathSAT 3 System. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol.\u00a03632, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69848-7_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:10:04Z","timestamp":1620015004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69848-7_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540698401","9783540698487"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69848-7_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}