{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:37Z","timestamp":1761597037762},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429357"},{"type":"electronic","value":"9783540456353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45635-x_11","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T01:27:34Z","timestamp":1181179654000},"page":"43-58","source":"Crossref","is-referenced-by-count":13,"title":["On a Tabling Engine That Can Exploit Or-Parallelism"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Rocha","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,13]]},"reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"K. Ali","year":"1990","unstructured":"K. Ali and R. Karlsson. The Muse Approach to OR-Parallel Prolog. Journal of Parallel Programming, 19(2):129\u2013162, 1990.","journal-title":"Journal of Parallel Programming"},{"key":"11_CR2","unstructured":"Je. Bonwick. The Slab Allocator: An Object-Caching Kernel Memory Allocator. In USENIX Summer 1994, pages 87\u201398, 1994."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"W. Chen and D. S. Warren. Query Evaluation under the Well Founded Semantics. In Proceedings of PODS, pages 168\u2013179, 1993.","DOI":"10.1145\/153850.153865"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"W. Chen and D. S. Warren. Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM, 43(1):20\u201374, 1996.","journal-title":"Journal of the ACM"},{"key":"11_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BFb0056605","volume-title":"Proceedings of PLILP","author":"B. Demoen","year":"1998","unstructured":"B. Demoen and K. Sagonas. CAT: the Copying Approach to Tabling. In Proceedings of PLILP, number 1490 in LNCS, pages 21\u201335. Springer-Verlag, 1998."},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","first-page":"106","volume-title":"Proceedings of PADL","author":"B. Demoen","year":"1999","unstructured":"B. Demoen and K. Sagonas. CHAT: the Copy-HybridApproach to Tabling. In Proceedings of PADL, number 1551 in LNCS, pages 106\u2013121. Springer-Verlag, 1999."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"J. Freire, R. Hu, T. Swift, and D. S. Warren. Exploiting Parallelism in Tabled Evaluations. In Proceedings of PLILP, pages 115\u2013132. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026817"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"J. Freire, T. Swift, and D. S. Warren. Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. In Proceedings of PLILP, pages 243\u2013258. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61756-6_89"},{"key":"11_CR9","unstructured":"Hai-Feng Guo and G. Gupta. A New Tabling Scheme with Dynamic Reordering of Alternatives. In Workshop on Parallelism and Implementation Technology for (Constraint) Logic Languages, 2000."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"I. V. Ramakrishnan, P. Rao, K. Sagonas, T. Swift, and D. S. Warren. Efficient Tabling Mechanisms for Logic Programs. In Proceedings of ICLP, pages 687\u2013711. The MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0067"},{"key":"11_CR11","unstructured":"R. Rocha. On Applying Or-Parallelism and Tabling to Logic Programs. PhD thesis, Computer Science Department, University of Porto, 2001."},{"key":"11_CR12","series-title":"Lect Notes Comput Sci","first-page":"137","volume-title":"Proceedings of PADL","author":"R. Rocha","year":"1999","unstructured":"R. Rocha, F. Silva, and V. Santos Costa. Or-Parallelism within Tabling. In Proceedings of PADL, number 1551 in LNCS, pages 137\u2013151. Springer-Verlag, 1999."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"R. Rocha, F. Silva, and V. Santos Costa. YapOr: an Or-Parallel Prolog System Basedon Environment Copying. In Proceedings of EPIA, number 1695 in LNAI, pages 178\u2013192. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48159-1_13"},{"key":"11_CR14","unstructured":"R. Rocha, F. Silva, and V. Santos Costa. YapTab: A Tabling Engine Designedto Support Parallelism. In Proceedings of TAPD, pages 77\u201387, 2000."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"K. Sagonas and T. Swift. An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. Journal of ACM Transactions on Programming Languages and Systems, 1998.","DOI":"10.1145\/291889.291897"},{"key":"11_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/10704567_16","volume-title":"Proceedings of PPDP","author":"V. S. Costa","year":"1999","unstructured":"V\u00edtor Santos Costa. Optimising Bytecode Emulation for Prolog. In Proceedings of PPDP, number 1702 in LNCS, pages 261\u2013267. Springer-Verlag, 1999."},{"key":"11_CR17","unstructured":"David H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983."},{"key":"11_CR18","series-title":"Lect Notes Comput Sci","first-page":"109","volume-title":"Proceedings of PADL","author":"N.-F. Zhou","year":"2000","unstructured":"Neng-Fa Zhou. Implementation of a Linear Tabling Mechanism. In Proceedings of PADL, number 1753 in LNCS, pages 109\u2013123. Springer Verlag, 2000."}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45635-X_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T22:15:11Z","timestamp":1707948911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45635-X_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429357","9783540456353"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45635-x_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}