{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:48:11Z","timestamp":1725536891531},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042379"},{"type":"electronic","value":"9783642042386"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04238-6_68","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T08:23:01Z","timestamp":1251706981000},"page":"616-618","source":"Crossref","is-referenced-by-count":0,"title":["What Next for ASP? (A Not-Entirely-Well-Informed Opinion)"],"prefix":"10.1007","author":[{"given":"James","family":"Delgrande","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"68_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.artint.2003.08.002","volume":"153","author":"V. Akman","year":"2004","unstructured":"Akman, V., Erdo\u01e7an, S., Lee, J., Lifschitz, V., Turner, H.: Representing the zoo world and the traffic world in the language of the causal calculator. Artificial Intelligence\u00a0153(1-2), 105\u2013140 (2004)","journal-title":"Artificial Intelligence"},{"key":"68_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"68_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. Journal of Logic Programming\u00a019, 73\u2013148 (1994)","journal-title":"Journal of Logic Programming"},{"key":"68_CR4","doi-asserted-by":"publisher","DOI":"10.1201\/9781420010541","volume-title":"Handbook of Combinatorial Designs","author":"C.J. Colbourn","year":"2006","unstructured":"Colbourn, C.J., Dinitz, J.H.: Handbook of Combinatorial Designs, 2nd edn. Chapman & Hall\/CRC, Boca Raton (2006)","edition":"2"},{"key":"68_CR5","unstructured":"Dix, J., Brewka, G.: Knowledge representation with logic programs. Fachberichte Informatik 15\u201396, Universit\u00e4t Koblenz-Landau (1996)"},{"key":"68_CR6","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"LPNMR 2009","author":"M. Denecker","year":"2009","unstructured":"Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczy\u0144ski, M.: The second answer set programming competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS (LNAI), vol.\u00a05753. Springer, Heidelberg (2009)"},{"key":"68_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-63255-7_27","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In: Dix, J., Furbach, U., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.\u00a01265, pp. 363\u2013374. Springer, Heidelberg (1997)"},{"key":"68_CR8","first-page":"1070","volume-title":"Proc. ICLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proc. ICLP, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"68_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00073-3","volume":"103","author":"L. Morgenstern","year":"1998","unstructured":"Morgenstern, L.: Inheritance comes of age: Applying nonmonotonic techniques to problems in industry. Artificial Intelligence\u00a0103, 1\u201334 (1998)","journal-title":"Artificial Intelligence"},{"key":"68_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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: Dix, J., Furbach, U., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"issue":"1-2","key":"68_CR11","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":"68_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-89982-2_16","volume-title":"Logic Programming","author":"T. Schaub","year":"2008","unstructured":"Schaub, T.: Here\u2019s the beef: Answer set programming! In: Dovier, A., Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 93\u201398. Springer, Heidelberg (2008)"}],"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-642-04238-6_68","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T16:23:13Z","timestamp":1552148593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}