{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:13Z","timestamp":1725484573466},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540655275"},{"type":"electronic","value":"9783540492016"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49201-1_10","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T02:56:07Z","timestamp":1179629767000},"page":"137-151","source":"Crossref","is-referenced-by-count":1,"title":["Or-Parallelism within Tabling"],"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":[[1999,1,15]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"K. A. M. Ali and R. Karlsson. Full Prolog and Scheduling OR-Parallelism in Muse. Intern. Journal of Parallel Programming, 19(6), Dec. 1990.","DOI":"10.1007\/BF01397627"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"K. A. M. Ali and R. Karlsson. Scheduling Speculative Work in Muse and Performance Results. Intern. Journal of Parallel Programming, 21(6), Dec. 1992.","DOI":"10.1007\/BF01379406"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"W. Chen and D.S. Warren. Query Evaluation under the Well Founded Semantics. In Proc. of PODS\u201993, pages 168\u2013179, 1993.","DOI":"10.1145\/153850.153865"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"B. Demoen and K. Sagonas. CAT: the Copying Approach to Tabling. In Proc. of PLILP\/ALP\u201998. Springer-Verlag, Sep. 1998.","DOI":"10.1007\/BFb0056605"},{"key":"10_CR5","unstructured":"E. Lusk et. al. The Aurora Or-parallel Prolog System. In Proc. of FGCS\u201988, pages 819\u2013830. ICOT, Nov. 1988."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"J. Freire, R. Hu, T. Swift, and D. S. Warren. Exploiting Parallelism in Tabled Evaluations. In Proc. of PLILP\u201995, pages 115\u2013132. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026817"},{"key":"10_CR7","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 Proc. of PLILP\u201996, pages 243\u2013258. Springer-Verlag, Sep. 1996.","DOI":"10.1007\/3-540-61756-6_89"},{"key":"10_CR8","unstructured":"I. V. Ramakrishnan, P. Rao, K. Sagonas, T. Swift, and D. S. Warren. Efficient Tabling Mechanisms for Logic Programs. In Proc. of ICLP\u201995, pages 687\u2013711. The MIT Press, June 1995."},{"key":"10_CR9","unstructured":"R. Rocha, F. Silva, and V. S. Costa. YapOr: an Or-Parallel Prolog System based on Environment Copying. Technical Report DCC-97-14, DCC-FC & LIACC, University of Porto, Dec. 1997."},{"key":"10_CR10","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. To appear.","DOI":"10.1145\/291889.291897"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. XSB as an Efficient Deductive Database Engine. In Proc. of ACM SIGMOD International Conference on the Management of Data, pages 442\u2013453, May 1994.","DOI":"10.1145\/191839.191927"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49201-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:57:24Z","timestamp":1556416644000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49201-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540655275","9783540492016"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-49201-1_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}