{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:44:05Z","timestamp":1725522245772},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540899815"},{"type":"electronic","value":"9783540899822"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89982-2_24","type":"book-chapter","created":{"date-parts":[[2008,12,14]],"date-time":"2008-12-14T22:09:15Z","timestamp":1229292555000},"page":"206-222","source":"Crossref","is-referenced-by-count":9,"title":["Concurrent and Local Evaluation of Normal Programs"],"prefix":"10.1007","author":[{"given":"Rui","family":"Marques","sequence":"first","affiliation":[]},{"given":"Terrance","family":"Swift","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM\u00a043(1), 20\u201374 (1996)","journal-title":"Journal of the ACM"},{"key":"24_CR2","unstructured":"Dam\u00e1sio, C.: A distributed tabling system. In: Proceedings of the 2nd Workshop on Tabulation in Parsing and Deduction, TAPD 2000, pp. 65\u201375 (2000)"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0026817","volume-title":"Programming Languages: Implementations, Logics and Programs","author":"J. Freire","year":"1995","unstructured":"Freire, J., Hu, R., Swift, T., Warren, D.S.: Parallelizing tabled evaluation. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol.\u00a0982, pp. 115\u2013132. Springer, Heidelberg (1995)"},{"key":"24_CR4","unstructured":"Freire, J., Swift, T., Warren, D.S.: Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies. JFLP\u00a01998(3) (1998)"},{"key":"24_CR5","unstructured":"Hu, R.: Distributed Tabled Evaluation. Ph.D thesis, SUNY at Stony Brook (1997)"},{"key":"24_CR6","unstructured":"Marques, R.: Concurrent Tabling: Algorithms and Implementation. Ph.D thesis, Universidade Nova de Lisboa (2007)"},{"key":"24_CR7","unstructured":"Marques, R., Swift, T., Cunha, J.: Extending tabled logic programming with multi-threading: A systems perspective (2008)"},{"key":"24_CR8","unstructured":"Marques, R., Swift, T., Cunha, J.: A simple and efficient implementation of concurrent local tabling (2008), \n                      \n                        http:\/\/www.cs.sunysb.edu\/~tswift"},{"key":"24_CR9","unstructured":"Rocha, R., Silva, F., Costa, V.S.: On applying or-parallelism and tabling to logic programs. Theory and Practice of Logic Programming\u00a04(6) (2004)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/11562931_20","volume-title":"Logic Programming","author":"R. Rocha","year":"2005","unstructured":"Rocha, R., Silva, F., Santos Costa, V.: Dynamic mixed-strategy evaluation of tabled logic programs. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 250\u2013264. Springer, Heidelberg (2005)"},{"key":"24_CR11","volume-title":"The Strange Logic of Random Graphs","author":"J. Spencer","year":"2000","unstructured":"Spencer, J.: The Strange Logic of Random Graphs. Springer, Heidelberg (2000)"},{"issue":"3","key":"24_CR12","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89982-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T06:56:15Z","timestamp":1551682575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89982-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540899815","9783540899822"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89982-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}