{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:48:38Z","timestamp":1725536918391},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_74","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T08:23:01Z","timestamp":1251706981000},"page":"634-636","source":"Crossref","is-referenced-by-count":0,"title":["Towards an Embedded Approach to Declarative Problem Solving in ASP"],"prefix":"10.1007","author":[{"given":"Jia-Huai","family":"You","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"74_CR1","doi-asserted-by":"crossref","unstructured":"Bordeaux, L., Hamadi, Y., Zhang, L.: Propositional satisfiability and constraint programming: a comparative survey. ACM Computing Surveys\u00a038(4), Article No 12 (2006)","DOI":"10.1145\/1177352.1177354"},{"key":"74_CR2","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An experimental comparison of constraint logic programming and answer set programming. In: Proc. AAAI 2007, pp. 1622\u20131625 (2007)"},{"issue":"12-13","key":"74_CR3","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell.\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"74_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-47922-8_11","volume-title":"Advances in Artificial Intelligence","author":"G. Huang","year":"2002","unstructured":"Huang, G., Jia, X., Liau, C., You, J.: Two-literal logic programs and satisfiability representation of stable models: a comparison. In: Cohen, R., Spencer, B. (eds.) Canadian AI 2002. LNCS (LNAI), vol.\u00a02338, pp. 119\u2013131. Springer, Heidelberg (2002)"},{"key":"74_CR5","unstructured":"Lin, F., Wang, Y.: Answer set programming with functions. In: Proc. KR 2008, pp. 454\u2013464 (2008)"},{"issue":"1-2","key":"74_CR6","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence\u00a0157(1-2), 115\u2013137 (2004)","journal-title":"Artificial Intelligence"},{"key":"74_CR7","unstructured":"Marek, V., Truszczy\u0144ski, M.: Logic programs with abstract constraint atoms. In: Proc. AAAI 2004, pp. 86\u201391 (2004)"},{"issue":"1-4","key":"74_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10472-009-9116-y","volume":"53","author":"V.S. Mellarkod","year":"2008","unstructured":"Mellarkod, V.S., Gelfond, M., Zhang, Y.: Integrating answer set programming and constraint logic programming. Annals of Mathematics and Artificial Intelligence\u00a053(1-4), 251\u2013287 (2008)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"74_CR9","doi-asserted-by":"crossref","unstructured":"Shen, Y., You, J.: A default approach to semantics of logic programs with constraint atoms. In: These proceedings (2009)","DOI":"10.1007\/978-3-642-04238-6_24"},{"key":"74_CR10","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1613\/jair.2171","volume":"29","author":"T.C. Son","year":"2007","unstructured":"Son, T.C., Pontelli, E., Tu, P.H.: Answer sets for logic programs with arbitrary abstract constraint atoms. Journal of Artificial Intelligence Research\u00a029, 353\u2013389 (2007)","journal-title":"Journal of Artificial Intelligence Research"}],"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_74","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T16:27:04Z","timestamp":1552148824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}