{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:33Z","timestamp":1725562593398},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_10","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T19:50:55Z","timestamp":1281297055000},"page":"135-147","source":"Crossref","is-referenced-by-count":7,"title":["USA-Smart: Improving the Quality of Plans in Answer Set Planning"],"prefix":"10.1007","author":[{"given":"Marcello","family":"Balduccini","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning, March 2003. AAAI 2003 Spring Symposium Series (2003)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Balduccini, M., Gelfond, M., Nogueira, M., Watson, R.: The USAAdvisor: A Case Study in Answer Set Planning. In: Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, September 2001, pp. 439\u2013442 (2001)","DOI":"10.1007\/3-540-45402-0_39"},{"key":"10_CR3","unstructured":"Balduccini, M., Mellarkod, V.S.: CR-Prolog2: CR-Prolog with Ordered Disjunction. In: ASP 2003 Answer Set Programming: Advances in Theory and Implementation, September 2003. CEUR Workshop Proceedings, vol.\u00a078 (2003)"},{"key":"10_CR4","unstructured":"Brewka, G.: Logic programming with ordered disjunction. In: Proceedings of AAAI 2002 (2002)"},{"key":"10_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/3-540-45757-7_37","volume-title":"Logics in Artificial Intelligence","author":"G. Brewka","year":"2002","unstructured":"Brewka, G., Niemela, I., Syrjanen, T.: Implementing ordered disjunction using answer set solvers for normal programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 444. Springer, Heidelberg (2002)"},{"key":"10_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/3-540-45757-7_50","volume-title":"Logics in Artificial Intelligence","author":"F. Calimeri","year":"2002","unstructured":"Calimeri, F., Dell\u2019Armi, T., Eiter, T., Faber, W., Gottlob, G., Ianni, G., Ielpa, G., Koch, C., Leone, N., Perri, S., Pfeifer, G., Polleres, A.: The dlv system. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 537. Springer, Heidelberg (2002)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-63912-8_84","volume-title":"Recent Advances in AI Planning","author":"Y. Dimopoulos","year":"1997","unstructured":"Dimopoulos, Y., Koehler, J., Nebel, B.: Encoding planning problems in nonmonotonic logic programs. In: Steel, S. (ed.) ECP 1997. LNCS, vol.\u00a01348, pp. 169\u2013181. Springer, Heidelberg (1997)"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.1148","volume":"19","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Answer set planning under action costs. Journal of Artificial Intelligence Research\u00a019, 25\u201371 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Erdogan, S., Lifschitz, V.: Definitions in answer set programming. In: Proceedings of LPNMR-7 (January 2004)","DOI":"10.1007\/978-3-540-24599-5_34"},{"key":"10_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing knowledge in A-Prolog. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 413\u2013451. Springer, Heidelberg (2002)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. In: New Generation Computing, pp. 365\u2013385 (1991)","DOI":"10.1007\/BF03037169"},{"issue":"3","key":"10_CR12","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/FI-1999-37304","volume":"37","author":"K. Heljanko","year":"1999","unstructured":"Heljanko, K.: Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets. Fundamenta Informaticae\u00a037(3), 247\u2013268 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR13","series-title":"The Logic Programming Paradigm: a 25-Year Perspective","first-page":"357","volume-title":"Action Languages, Answer Sets, and Planning","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Action Languages, Answer Sets, and Planning. The Logic Programming Paradigm: a 25-Year Perspective, pp. 357\u2013373. Springer, Berlin (1999)"},{"key":"10_CR14","unstructured":"Lin, F., Zhao, Y.: Assat: Computing answer sets of a logic program by sat solvers. In: Proceedings of AAAI 2002 (2002)"},{"issue":"1-2","key":"10_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"I. Niemela","year":"2002","unstructured":"Niemela, I., Simons, P., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"10_CR16","unstructured":"Nogueira, M.: Building Knowledge Systems in A-Prolog. PhD thesis, University of Texas at El Paso (May 2003)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M. Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog decision support system for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-36388-2_5","volume-title":"Practical Aspects of Declarative Languages","author":"E. Pontelli","year":"2002","unstructured":"Pontelli, E., Balduccini, M., Bermudez, F.: Non-monotonic reasoning on beowulf platforms. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 37\u201357. Springer, Heidelberg (2002)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Soininen, T., Niemela, I.: Developing a declarative rule language for applications in product configuration. In: Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (May 1999)","DOI":"10.1007\/3-540-49201-1_21"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:13:12Z","timestamp":1620011592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}