{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:26:50Z","timestamp":1725575210347},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207214"},{"type":"electronic","value":"9783540246091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24609-1_22","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T22:31:31Z","timestamp":1294957891000},"page":"247-260","source":"Crossref","is-referenced-by-count":9,"title":["Planning with Preferences Using Logic Programming"],"prefix":"10.1007","author":[{"given":"Tran Cao","family":"Son","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Babovich, Y.: CMODELS, http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels.html"},{"issue":"1,2","key":"22_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.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence\u00a0116(1,2), 123\u2013191 (2000)","journal-title":"Artificial Intelligence"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-46584-7_16","volume-title":"Practical Aspects of Declarative Languages","author":"S. Bistarelli","year":"2000","unstructured":"Bistarelli, S., et al.: Labeling and Partial Local Consistency for Soft Constraint Programming. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, p. 230. Springer, Heidelberg (2000)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Blum, A.L., Furst, M.L.: Fast Planning through Planning Graph Analysis. AIJ\u00a090 (1997)","DOI":"10.1016\/S0004-3702(96)00047-1"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. AIJ\u00a0109 (1999)","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1613\/jair.774","volume":"13","author":"A. Cimatti","year":"2000","unstructured":"Cimatti, A., Roveri, M.: Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research\u00a013, 305\u2013338 (2000)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1-2","key":"22_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0004-3702(02)00185-6","volume":"138","author":"B. Cui","year":"2002","unstructured":"Cui, B., Swift, T.: Preference Logic Grammars: Fixed Point Semantics and Application to Data Standardization. Artificial Intelligence\u00a0138(1-2), 117\u2013147 (2002)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S1471068402001539","volume":"3","author":"J. Delgrande","year":"2003","unstructured":"Delgrande, J., Schaub, T., Tompits, H.: A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming\u00a03(2), 129\u2013187 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"22_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-45757-7_16","volume-title":"Logics in Artificial Intelligence","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., et al.: Answer Set Planning under Action Cost. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 186. Springer, Heidelberg (2002)"},{"key":"22_CR10","unstructured":"Eiter, T., et al.: The KR System dlv: Progress Report, Comparisons, and Benchmarks. In: Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 406\u2013417 (1998)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Language Implementation and Logic Programming","author":"F. Fages","year":"1994","unstructured":"Fages, F., Fowler, J., Sola, T.: Handling Preferences in Constraint Logic Programming with Relational Optimization. In: Penjam, J. (ed.) PLILP 1994. LNCS, vol.\u00a0844. Springer, Heidelberg (1994)"},{"key":"22_CR12","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. ETAI, 3(6) (1998)"},{"key":"22_CR13","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP 1988 (1988)"},{"key":"22_CR14","unstructured":"Haddawy, P., Hanks, S.: Utility Model for Goal-Directed Decision Theoretic Planners. Technical report, University of Washington (1993)"},{"key":"22_CR15","unstructured":"Kautz, H., Walser, J.P.: State-space Planning by Integer Optimization. In: AAAI (1999)"},{"key":"22_CR16","unstructured":"Le, H., Pontelli, E., Son, T.C.: A Java Solver for Answer Set Programming. NMSU (2003)"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set planning. In: ICLP, pp. 23\u201337 (1999)","DOI":"10.1007\/3-540-46767-X_28"},{"key":"22_CR18","unstructured":"Long, D., et al.: International Planning Competition"},{"key":"22_CR19","unstructured":"Myers, K.L.: Strategic Advice for Hierarchical Planners. In: KR 1996 (1996)"},{"key":"22_CR20","unstructured":"Myers, K.L., Lee, T.J.: Generating Qualitatively Different Plans through Metatheoretic Biases. In: AAAI (1999)"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"22_CR22","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes \u2013 Discrete Stochastic Dynamic Programming","author":"M.L. Putterman","year":"1994","unstructured":"Putterman, M.L.: Markov Decision Processes \u2013 Discrete Stochastic Dynamic Programming. JohnWilley & Sons, Inc., NewYork (1994)"},{"key":"22_CR23","unstructured":"Schaub, T., et al.: A Comparative Study of Logic Programs with Preferences. IJCAI (2001)"},{"key":"22_CR24","first-page":"226","volume-title":"LPNMR","author":"T.C. Son","year":"2001","unstructured":"Son, T.C., Baral, C., McIlraith, S.: Domain dependent knowledge in planning \u2013 an answer set planning approach. In: LPNMR 2001, pp. 226\u2013239. Springer, Heidelberg (2001)"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Son, T.C., Pontelli, E.: Reasoning about actions in prioritized default theory. In: JELIA (2002)","DOI":"10.1007\/3-540-45757-7_31"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24609-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T05:16:32Z","timestamp":1637126192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24609-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207214","9783540246091"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24609-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}