{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:35Z","timestamp":1725550055279},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285380"},{"type":"electronic","value":"9783540318279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546207_35","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:41:23Z","timestamp":1127817683000},"page":"399-404","source":"Crossref","is-referenced-by-count":5,"title":["Integrating an Answer Set Solver into Prolog: $\\mathbb{ASP}$ - $\\mathbb{PROLOG}$"],"prefix":"10.1007","author":[{"given":"Omar","family":"Elkhatib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","unstructured":"The DLV Wrapper Project (2003), \n                    \n                      http:\/\/160.97.47.246:8080\/wrapper"},{"key":"35_CR2","unstructured":"Castro, L.: XASP: Answer Set Programming with XSB. SUNY Stony Brook (2002)"},{"key":"35_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-24836-1_11","volume-title":"Practical Aspects of Declarative Languages","author":"O. Elkhatib","year":"2004","unstructured":"Elkhatib, O., et al.: ASP-Prolog: A System for Reasoning about Answer Set Programs in Prolog. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 148\u2013162. Springer, Heidelberg (2004)"},{"key":"35_CR4","unstructured":"Pineda, M., et al.: The O\u2019Ciao Approach to Object Oriented Logic Programming. In: Colloquium on Implementation of Constraint Logic Programming Systems (2002)"},{"key":"35_CR5","unstructured":"Syrj\u00e4nen, T.: Lparse User\u2019s Manual, \n                    \n                      http:\/\/www.tcs.hut.fi\/Software\/smodels"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11546207_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:57:12Z","timestamp":1619492232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11546207_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285380","9783540318279"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11546207_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}