{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:32:12Z","timestamp":1762101132490},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_39","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T17:10:11Z","timestamp":1290186611000},"page":"439-442","source":"Crossref","is-referenced-by-count":15,"title":["The USA-Advisor: A Case Study in Answer Set Planning"],"prefix":"10.1007","author":[{"given":"Marcello","family":"Balduccini","sequence":"first","affiliation":[]},{"given":"Micchael","family":"Gelfond","sequence":"additional","affiliation":[]},{"given":"R.","family":"Watson","sequence":"additional","affiliation":[]},{"given":"M.","family":"Nogueira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"39_CR1","unstructured":"Balduccini, M., Gelfond, M., and Nogueira, M.: A-Prolog as a tool for declarative programming. In Procs of SEKE\u201900, (2000), 63\u201372 439"},{"key":"39_CR2","first-page":"169","volume":"1990","author":"M. Balduccini","year":"2001","unstructured":"Balduccini, M., Barry, M., Gelfond, M., Nogueira, M., and Watson, R.: An A-Prolog decision support system for the Space Shuttle. LNCS Procs of PADL\u201901, (2001), 1990:169\u2013183 439","journal-title":"LNCS Procs of PADL\u201901"},{"key":"39_CR3","first-page":"169","volume":"1348","author":"Y. Dimopoulos","year":"1997","unstructured":"Dimopoulos, Y., Nebel, B., and Koehler, J.: Encoding planning problems in nonmonotonic logic programs. LNAI Proceedings of ECP\u201997, (1997), 1348:169\u201318 440","journal-title":"LNAI Proceedings of ECP\u201997"},{"key":"39_CR4","unstructured":"Lifschitz, V.: Action languages, Answer Sets, and Planning. In The Logic Programming Paradigm: a 25-Year Perspective, Spring-Verlag, (1999), 357\u2013373 440"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T02:44:11Z","timestamp":1551062651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_39","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}