{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:00:21Z","timestamp":1725814821148},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147253"},{"type":"electronic","value":"9783319147260"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-14726-0_14","type":"book-chapter","created":{"date-parts":[[2015,1,6]],"date-time":"2015-01-06T22:37:32Z","timestamp":1420583852000},"page":"202-217","source":"Crossref","is-referenced-by-count":1,"title":["A Non-monotonic Goal Specification Language for Planning with Preferences"],"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"}]},{"given":"Chitta","family":"Baral","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5-6","key":"14_CR1","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1016\/j.artint.2008.11.011","volume":"173","author":"J.A. Baier","year":"2009","unstructured":"Baier, J.A., Bacchus, F., McIlraith, S.A.: A heuristic search approach to planning with temporally extended preferences. Artif. Intell.\u00a0173(5-6), 593\u2013618 (2009)","journal-title":"Artif. Intell."},{"key":"14_CR2","unstructured":"Baral, C., Zhao, J.: Goal specification in presence of non-deterministic actions. In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, pp. 273\u2013277. IOS Press (2004)"},{"key":"14_CR3","volume-title":"Proceedings of the Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference","author":"C. Baral","year":"2006","unstructured":"Baral, C., Zhao, J.: Goal specification, non-determinism and quantifying over policies. In: Proceedings of the Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, AAAI Press, Boston (2006)"},{"key":"14_CR4","unstructured":"Baral, C., Zhao, J.: Non-monotonic temporal logics for goal specification. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, pp. 236\u2013242 (2007)"},{"key":"14_CR5","unstructured":"Baral, C., Zhao, J.: Non-monotonic temporal logics that facilitate elaboration tolerant revision of goals. In: Fox, D., Gomes, C.P. (eds.) Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, July 13-17, pp. 406\u2013411. AAAI Press (2008)"},{"key":"14_CR6","unstructured":"Bienvenu, M., Fritz, C., McIlraith, S.: Planning with qualitative temporal preferences. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, UK, pp. 134\u2013144 (June 2006), 200603101347_KR06BienvenuM.pdf"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T.: Prioritizing default logic. In: Intellectics and Computational Logic. Applied Logic Series, vol.\u00a019, pp. 27\u201345. Kluwer (2000)","DOI":"10.1007\/978-94-015-9383-0_3"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(00)00049-7","volume":"123","author":"J. Delgrande","year":"2000","unstructured":"Delgrande, J., Schaub, T.: Expressing preferences in default logic. Artificial Intelligence\u00a0123, 41\u201387 (2000)","journal-title":"Artificial Intelligence"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 995\u20131072. MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"14_CR10","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\u00a020, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"1,2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013(1,2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1017\/S1471068406002717","volume":"6","author":"T.C. Son","year":"2006","unstructured":"Son, T.C., Pontelli, E.: Planning with Preferences using Logic Programming. Theory and Practice of Logic Programming\u00a06, 559\u2013607 (2006)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T23:16:16Z","timestamp":1559085376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}