{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T19:50:36Z","timestamp":1759693836602},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_20","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:24:00Z","timestamp":1188311040000},"page":"288-303","source":"Crossref","is-referenced-by-count":6,"title":["Construction and Optimization of a Parallel Engine for Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Pontelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"El-Khatib","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"20_CR1","unstructured":"K.A.M. Ali and R. Karlsson. The Muse Or-parallel Prolog Model and its Performance. In N. American Conf. on Logic Prog., MIT Press, 1990."},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C. Baral","year":"1994","unstructured":"C. Baral and M. Gelfond. Logic Programming and Knowledge Representation. J. of Logic Progr., 19\/20:73\u2013148, 1994.","journal-title":"J. of Logic Progr."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"C. Bell et al. Implementing Stable Semantics by Linear Programming. In Logic Programming and Non-monotonic Reasoning, MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0006"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"W. Chen and D.S. Warren. Computation of Stable Models and its Integration with Logical Query Processing. Trans. on Knowledge and Data Engineering, 8(5), 1996.","DOI":"10.1109\/69.542027"},{"key":"20_CR5","unstructured":"P. Cholewinski, V.W. Marek, and M. Truszczynski. Default Reasoning System DeReS. In Int. Conf. on Principles of Knowledge Repr. and Reasoning, 1996."},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W.F. Dowling","year":"1984","unstructured":"W.F. Dowling and J.H. Gallier. Linear-time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. J. of Logic Programming, 3:267\u2013289, 1984.","journal-title":"J. of Logic Programming"},{"key":"20_CR7","unstructured":"T. Eiter et al. The KR System dlv: Progress Report, Comparisons, and Benchmarks. In Int. Conf. on Principles of Knowledge Repr. and Reasoning, 1998."},{"key":"20_CR8","unstructured":"M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. In Int. Symposium on Logic Programming, MIT Press, 1988."},{"key":"20_CR9","unstructured":"G. Gupta, E. Pontelli et al. Parallel Execution of Prolog Programs: a Survey. Technical report, New Mexico State University, 2000."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. Answer Set Planning. In Logic Programming and Non-monotonic Reasoning, Springer Verlag, 1999.","DOI":"10.1007\/3-540-46767-X_28"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"V.W. Marek and M. Truszczynski. Stable Models and an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm. Springer Verlag, 1999.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"20_CR12","unstructured":"I. Niemela. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and AI, (to appear)."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"I. Niemela and P. Simons. An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. In LPNMR, Springer Verlag, 1997.","DOI":"10.1007\/3-540-63255-7_32"},{"issue":"3","key":"20_CR14","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF03037223","volume":"17","author":"D. Ranjan","year":"1999","unstructured":"D. Ranjan, E. Pontelli, and G. Gupta. On the Complexity of Or-Parallelism. New Generation Computing, 17(3):285\u2013308, 1999.","journal-title":"New Generation Computing"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"P. Rao et al. XSB: A System for Efficiently Computing WFS. In Logic Programming and Non-monotonic Reasoning. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63255-7_33"},{"key":"20_CR16","unstructured":"C. Schulte. Compairing Trailing and Copying for Constraint Programming. In International Conference on Logic Programming, pages 275\u2013289. MIT Press, 1999."},{"issue":"3","key":"20_CR17","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K.A. Ross, and J.S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"20_CR18","unstructured":"P. Van Hentenryck. Parallel Constraint Satisfaction in Logic Programming. In Proc. Int. Conf. on Logic Programming. MIT Press, 1989."}],"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-45241-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T16:43:27Z","timestamp":1708188207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}