{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:44Z","timestamp":1761488864249},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540171799"},{"type":"electronic","value":"9783540472391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-17179-7_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:08:54Z","timestamp":1330196934000},"page":"108-123","source":"Crossref","is-referenced-by-count":7,"title":["A framework for intelligent backtracking in logic programs"],"prefix":"10.1007","author":[{"given":"Vipin","family":"Kumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yow-Jian","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"7_CR1","unstructured":"M. Bruynooghe and L. M. Pereira, Deduction Revision by Intelligent Backtracking, pp. 194\u2013215 in Implementations of Prolog, ed. J. A. Campbell, Ellis Horwood Limited, 1984."},{"key":"7_CR2","unstructured":"J.-H. Chang and A.M. Despain, Semi-Intelligent Backtracking of Prolog Based on a Static Data Dependency Analysis, Proceedings of IEEE Symposium on Logic Programming, pp. 10\u201321, August, 1985."},{"key":"7_CR3","unstructured":"J.S. Conery and D.F. Kibler, AND Parallelism and Nondeterminism in Logic Programs, New Generation Computing 3(1985), pp. 43\u201370, OHMSHA,LTD. and Springer-Verlag, 1985."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"P. Cox and T. Pietizylowski, Deduction Plans: a basis for intelligent backtracking, IEEE Transactions on Pattern Analysis and Machine Intelligence PAMI-3, 1, 1981.","DOI":"10.1109\/TPAMI.1981.4767050"},{"key":"7_CR5","series-title":"Technical Report","volume-title":"An Execution Model for Exploiting AND-Parallelism in Logic Programs","author":"Y. J. Lin","year":"1986","unstructured":"Y.J. Lin and V. Kumar, An Execution Model for Exploiting AND-Parallelism in Logic Programs, Technical Report, AI Lab., Computer Science Dept., The University of Texas at Austin, Austin, Texas, March, 1986."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Y.J. Lin, V. Kumar, and C. Leung, An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs, the Third International Conference on Logic Programming, London, England, pp. 55\u201368, July, 1986.","DOI":"10.1007\/3-540-16492-8_64"},{"key":"7_CR7","volume-title":"Plan based deduction: data structures and implementation","author":"S. Matwin","year":"1982","unstructured":"S. Matwin and T. Pietrzylowski, Plan based deduction: data structures and implementation, Proceedings of 6th Conference on Automated Deduction, New York, Springer-Verlag, 1982."},{"key":"7_CR8","unstructured":"L. M. Pereira and A. Porto, Selective Backtracking, pp. 107\u2013114 in Logic Programming, ed. K. L. Clark and S.-A. Tarnlund, Academic Press, 1982."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17179-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:25Z","timestamp":1605643945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17179-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540171799","9783540472391"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-17179-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}