{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:36Z","timestamp":1725542916229},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642115028"},{"type":"electronic","value":"9783642115035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11503-5_22","type":"book-chapter","created":{"date-parts":[[2010,1,7]],"date-time":"2010-01-07T04:42:16Z","timestamp":1262839336000},"page":"264-278","source":"Crossref","is-referenced-by-count":6,"title":["A Simple and Efficient Implementation of Concurrent Local Tabling"],"prefix":"10.1007","author":[{"given":"Rui","family":"Marques","sequence":"first","affiliation":[]},{"given":"Terrance","family":"Swift","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Cunha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Knorr, M., Swift, T.: Queries to hybrid MKNF knowledge bases through oracular tabling. In: International Semantic Web Conference (2009)","DOI":"10.1007\/978-3-642-04930-9_1"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Berman, K., Schlipf, J., Franco, J.: Computing the well-founded semantics faster. In: International Conference on Logic Programming and Non-Monotonic Reasoning, pp. 113\u2013125 (1995)","DOI":"10.1007\/3-540-59487-6_9"},{"issue":"1","key":"22_CR3","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"},{"issue":"3","key":"22_CR4","first-page":"243","volume":"1998","author":"J. Freire","year":"1998","unstructured":"Freire, J., Swift, T., Warren, D.S.: Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies. Journal of Functional and Logic Programming\u00a01998(3), 243\u2013268 (1998)","journal-title":"Journal of Functional and Logic Programming"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Gomes, S., Alferes, J.J., Swift, T.: Implementing query answering for hybrid mknf knowledge bases. In: Practical Applications of Declarative Languages (2010)","DOI":"10.1007\/978-3-642-11503-5_4"},{"key":"22_CR6","unstructured":"Grosof, B.: SILK: Semantic rules take the next big step in power (2009), http:\/\/silk.semwebcentral.org"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-45635-X_20","volume-title":"Logic Programming","author":"H. Guo","year":"2001","unstructured":"Guo, H., Gupta, G.: A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 181\u2013196. Springer, Heidelberg (2001)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Guzm\u00e1n, P., Carro, M., Hermenegildo, M.: A tabling implementation based on variables with multiple bindings. In: International Conference on Logic Programming, pp. 190\u2013204 (2009)","DOI":"10.1007\/978-3-642-02846-5_19"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-540-89982-2_24","volume-title":"Logic Programming","author":"R. Marques","year":"2008","unstructured":"Marques, R., Swift, T.: Concurrent and local evaluation of normal programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 206\u2013222. Springer, Heidelberg (2008)"},{"issue":"1","key":"22_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0743-1066(98)10013-4","volume":"38","author":"I.V. Ramakrishnan","year":"1999","unstructured":"Ramakrishnan, I.V., Rao, P., Sagonas, K., Swift, T., Warren, D.S.: Efficient access mechanisms for tabled logic programs. Journal of Logic Programming\u00a038(1), 31\u201355 (1999)","journal-title":"Journal of Logic Programming"},{"issue":"1&2","key":"22_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1017\/S1471068404002030","volume":"5","author":"R. Rocha","year":"2005","unstructured":"Rocha, R., Silva, F., Santos Costa, V.: On applying or-parallelism and tabling to logic programs. Theory and Practice of Logic Programming\u00a05(1&2), 161\u2013205 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3","key":"22_CR12","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K. Sagonas","year":"1998","unstructured":"Sagonas, K., Swift, T.: An abstract machine for tabled execution of fixed-order stratified logic programs. ACM TOPLAS\u00a020(3), 586\u2013635 (1998)","journal-title":"ACM TOPLAS"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Somogyi, Z., Sagonas, K.: Tabling in Mercury: Design and implementation. In: Practical Applications of Declarative Languages, pp. 150\u2013164 (2006)","DOI":"10.1007\/11603023_11"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1007\/978-3-540-39964-3_43","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M., Zhao, C.: FLORA-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol.\u00a02888, pp. 671\u2013688. Springer, Heidelberg (2003)"},{"key":"22_CR15","unstructured":"Zhou, N., Shen, Y., Yuan, L., You, J.: Implementation of a linear tabling mechanism. Journal of Functional and Logic Programming\u00a02001(10) (2001)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11503-5_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:41:24Z","timestamp":1606185684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11503-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642115028","9783642115035"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11503-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}