{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:11:44Z","timestamp":1725729104919},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386091"},{"type":"electronic","value":"9783642386107"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38610-7_34","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T01:25:06Z","timestamp":1370309106000},"page":"363-374","source":"Crossref","is-referenced-by-count":4,"title":["State-Space Reduction through Preference Modeling"],"prefix":"10.1007","author":[{"given":"Rados\u0142aw","family":"Klimek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Wojnicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"34_CR1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FI-2011-581","volume":"112","author":"W. Turek","year":"2011","unstructured":"Turek, W., Marcjan, R., Cetnarowicz, K.: Software agent systems for improving performance of multi-robot groups. Fundamenta Informaticae\u00a0112(1), 103\u2013117 (2011)","journal-title":"Fundamenta Informaticae"},{"key":"34_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1007\/978-3-642-01973-9_92","volume-title":"Computational Science \u2013 ICCS 2009","author":"K. Cetnarowicz","year":"2009","unstructured":"Cetnarowicz, K.: From algorithm to agent. In: Allen, G., Nabrzyski, J., Seidel, E., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2009, Part II. LNCS, vol.\u00a05545, pp. 825\u2013834. Springer, Heidelberg (2009)"},{"key":"34_CR3","volume-title":"Automated Planning: Theory & Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc., San Francisco (2004)"},{"key":"34_CR4","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Pearson Education (2010)"},{"issue":"1-2","key":"34_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(01)00108-4","volume":"129","author":"B. Bonet","year":"2001","unstructured":"Bonet, B.: Planning as heuristic search. Artificial Intelligence\u00a0129(1-2), 5\u201333 (2001)","journal-title":"Artificial Intelligence"},{"key":"34_CR6","unstructured":"Keyder, E., Geffner, H.: Trees of shortest paths vs. Steiner trees: Understanding and improving delete relaxation heuristics. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 1734\u20131749 (2009)"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Karpas, E., Domshlak, C.: Optimal Search with Inadmissible Heuristics. In: International Conference on Automated Planning and Scheduling, pp. 92\u2013100 (2012)","DOI":"10.1609\/icaps.v22i1.13499"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Haslum, P.: hm (P)= h1 (Pm): Alternative characterisations of the generalisation from hmax to hm. In: Proc. ICAPS, vol.\u00a01, pp. 354\u2013357 (2009)","DOI":"10.1609\/icaps.v19i1.13384"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Helmert, M., Domshlak, C.: Landmarks, critical paths and abstractions: Whats the difference anyway. In: Proc. ICAPS, vol.\u00a09 (2009)","DOI":"10.1609\/icaps.v19i1.13370"},{"key":"34_CR10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/0-387-23081-5_2","volume-title":"Multiple Criteria Decision Analysis: State of the Art Surveys","author":"M. \u00d6zt\u00fcrk","year":"2005","unstructured":"\u00d6zt\u00fcrk, M., Tsouki\u00e0s, A., Vincke, P.: Preference modelling. In: Figueira, J., Greco, S., Ehrgott, M. (eds.) Multiple Criteria Decision Analysis: State of the Art Surveys, pp. 27\u201372. Springer, Boston (2005)"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Fong, J., Indulska, J., Robinson, R.: A preference modelling approach to support intelligibility in pervasive applications. In: 8th IEEE Workshop on Context Modeling and Reasoning (CoMoRea 2011), Seattle, USA, March 21-25, pp. 409\u2013414. IEEE (2011)","DOI":"10.1109\/PERCOMW.2011.5766924"},{"issue":"1","key":"34_CR12","first-page":"249","volume":"XXVII","author":"F. Wolter","year":"2011","unstructured":"Wolter, F., Wooldridge, M.: Temporal and dynamic logic. Journal of Indian Council of Philosophical Research\u00a0XXVII(1), 249\u2013276 (2011)","journal-title":"Journal of Indian Council of Philosophical Research"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal Logic. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"d\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J.: Handbook of Tableau Methods. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-017-1754-0"},{"key":"34_CR15","unstructured":"Klimek, R.: Temporal preference models and their deduction-based analysis for pervasive applications. In: Benavente-Peces, C., Filipe, J. (eds.) Proceedings of 3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2013), Barcelona, Spain, February 19-21, pp. 131\u2013134. SciTePress (2013)"},{"key":"34_CR16","unstructured":"Klimek, R.: Proposal to improve the requirements process through formal verification using deductive approach. In: Filipe, J., Maciaszek, L. (eds.) Proceedings of 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Wroc\u0142aw, Poland, June 29-30, pp. 105\u2013114. SciTePress (2012)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Soft Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38610-7_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T04:48:15Z","timestamp":1688273295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38610-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386091","9783642386107"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38610-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}