{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T02:43:59Z","timestamp":1768445039571,"version":"3.49.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319282275","type":"print"},{"value":"9783319282282","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28228-2_3","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T11:54:42Z","timestamp":1452254082000},"page":"30-47","source":"Crossref","is-referenced-by-count":11,"title":["A GPU Implementation of the ASP Computation"],"prefix":"10.1007","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]},{"given":"Flavio","family":"Vella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"issue":"6","key":"3_CR1","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1016\/j.parco.2005.03.004","volume":"31","author":"M Balduccini","year":"2005","unstructured":"Balduccini, M., Pontelli, E., El-Khatib, O., Le, H.: Issues in parallel execution of non-monotonic reasoning systems. Parallel Comput. 31(6), 608\u2013647 (2005)","journal-title":"Parallel Comput."},{"key":"3_CR2","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2010","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2010)"},{"key":"3_CR3","volume-title":"Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications)","year":"2009","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications), vol. 185. IOS Press, Amsterdam (2009)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-04132-2_11","volume-title":"Practical Aspects of Declarative Languages","author":"F Campeotto","year":"2014","unstructured":"Campeotto, F., Dal Pal\u00f9, A., Dovier, A., Fioretto, F., Pontelli, E.: Exploring the use of GPUs in constraint solving. In: Flatt, M., Guo, H.-F. (eds.) PADL 2014. LNCS, vol. 8324, pp. 152\u2013167. Springer, Heidelberg (2014)"},{"key":"3_CR5","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"189","volume-title":"ECAI 2014\u201321st European Conference on Artificial Intelligence - Including Prestigious Applications of Intelligent Systems (PAIS) 2014","author":"F Campeotto","year":"2014","unstructured":"Campeotto, F., Dovier, A., Fioretto, F., Pontelli, E.: A GPU implementation of large neighborhood search for solving constraint optimization problems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) ECAI 2014\u201321st European Conference on Artificial Intelligence - Including Prestigious Applications of Intelligent Systems (PAIS) 2014. Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 189\u2013194. IOS Press, Prague, Czech Republic (2014)"},{"issue":"5","key":"3_CR6","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1080\/0952813X.2014.993503","volume":"27","author":"F Campeotto","year":"2015","unstructured":"Campeotto, F., Dovier, A., Pontelli, E.: A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. (JETAI) 27(5), 503\u2013541 (2015)","journal-title":"J. Exp. Theor. Artif. Intell. (JETAI)"},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1080\/0952813X.2014.954274","volume":"27","author":"A Pal\u00f9 Dal","year":"2015","unstructured":"Dal Pal\u00f9, A., Dovier, A., Formisano, A., Pontelli, E.: CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. (JETAI) 27(3), 293\u2013316 (2015)","journal-title":"J. Exp. Theor. Artif. Intell. (JETAI)"},{"issue":"3","key":"3_CR8","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FI-2009-180","volume":"96","author":"A Pal\u00f9 Dal","year":"2009","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: GASP: answer set programming with lazy grounding. Fundamenta Informaticae 96(3), 297\u2013322 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR9","unstructured":"Dovier, A., Formisano, A., Pontelli, E., Vella, F.: Parallel execution of the ASP computation - an investigation on GPUs. In: De Vos, M., Eiter, T., Lierler, Y., Toni, F. (eds.) Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015, vol. 1433, CEUR Workshop Proceedings (2015). CEUR-WS.org"},{"issue":"1","key":"3_CR10","first-page":"51","volume":"1","author":"F Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. Methods Logic Comput. Sci. 1(1), 51\u201360 (1994)","journal-title":"Methods Logic Comput. Sci."},{"key":"3_CR11","unstructured":"Finkel, R.A., Marek, V.W., Moore, N., Truszczynski, M.: Computing stable models in parallel. In: Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st International ASP 2001 Workshop, Stanford (2001)"},{"key":"3_CR12","unstructured":"Formisano, A., Vella, F.: On multiple learning schemata in conflict driven solvers. In: Bistarelli, S., Formisano, A. (eds.) Proceedings of ICTCS 2014, vol. 1231, pp. 133\u2013146. CEUR Workshop Proceedings, (2014). CEUR-WS.org"},{"key":"3_CR13","volume-title":"Answer set solving in practice","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer set solving in practice. Morgan & Claypool Publishers, San Rafael (2012)"},{"issue":"4\u20135","key":"3_CR14","first-page":"525","volume":"12","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Multi-threaded ASP solving with clasp. TPLP 12(4\u20135), 525\u2013545 (2012)","journal-title":"TPLP"},{"key":"3_CR15","series-title":"Foundations of Artificial Intelligence","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S1574-6526(07)03007-6","volume-title":"Handbook of Knowledge Representation","author":"M Gelfond","year":"2008","unstructured":"Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B.W. (eds.) Handbook of Knowledge Representation. Foundations of Artificial Intelligence, vol. 3, pp. 285\u2013316. Elsevier, Amsterdam (2008)"},{"issue":"12","key":"3_CR16","doi-asserted-by":"publisher","first-page":"1549","DOI":"10.1016\/j.dam.2006.10.007","volume":"155","author":"E Goldberg","year":"2007","unstructured":"Goldberg, E., Novikov, Y.: BerkMin: a fast and robust SAT-solver. Discrete Appl. Math. 155(12), 1549\u20131561 (2007)","journal-title":"Discrete Appl. Math."},{"issue":"4","key":"3_CR17","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s10472-005-7034-1","volume":"44","author":"M J\u00e4rvisalo","year":"2005","unstructured":"J\u00e4rvisalo, M., Junttila, T.A., Niemel\u00e4, I.: Unrestricted vs restricted cut in a tableau method for boolean circuits. Ann. Math. Artif. Intell. 44(4), 373\u2013399 (2005)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"3_CR18","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/0022-0000(93)90042-U","volume":"47","author":"M Kao","year":"1993","unstructured":"Kao, M., Klein, P.N.: Towards overcoming the transitive-closure bottleneck: efficient parallel algorithms for planar digraphs. J. Comput. Syst. Sci. 47(3), 459\u2013500 (1993)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR19","unstructured":"Khronos Group Inc., OpenCL: the open standard for parallel programming of heterogeneous systems (2015). http:\/\/www.khronos.org"},{"issue":"5","key":"3_CR20","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0020-0190(94)00153-7","volume":"52","author":"S Khuller","year":"1994","unstructured":"Khuller, S., Vishkin, U.: On the parallel complexity of digraph reachability. Inf. Process. Lett. 52(5), 239\u2013241 (1994)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. 157(1), 115\u2013137 (2004)","journal-title":"Artif. Intell."},{"issue":"3\u20134","key":"3_CR22","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/j.artint.2009.11.016","volume":"174","author":"L Liu","year":"2010","unstructured":"Liu, L., Pontelli, E., Son, T.C., Truszczynski, M.: Logic programs with abstract constraint atoms: the role of computations. Artif. Intell. 174(3\u20134), 295\u2013315 (2010)","journal-title":"Artif. Intell."},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/11814948_30","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"P Manolios","year":"2006","unstructured":"Manolios, P., Zhang, Y.: Implementing survey propagation on graphics processing units. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol. 4121, pp. 311\u2013324. Springer, Heidelberg (2006)"},{"key":"3_CR24","unstructured":"Marek, V.W., Truszczynski, M.: Stable models and an alternative logic programming paradigm (1998). CoRR, cs.LO\/9809032"},{"issue":"5","key":"3_CR25","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"JP Marques-Silva","year":"1999","unstructured":"Marques-Silva, J.P., Sakallah, K.A.: GRASP: a search algorithm for propositional satisfiability. IEEE Trans. Comput. 48(5), 506\u2013521 (1999)","journal-title":"IEEE Trans. Comput."},{"issue":"3\u20134","key":"3_CR26","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"3_CR27","unstructured":"NVIDIA Corporation. NVIDIA CUDA Zone (2015). https:\/\/developer.nvidia.com\/cuda-zone"},{"issue":"2","key":"3_CR28","first-page":"253","volume":"13","author":"S Perri","year":"2013","unstructured":"Perri, S., Ricca, F., Sirianni, M.: Parallel instantiation of ASP programs: techniques and experiments. TPLP 13(2), 253\u2013278 (2013)","journal-title":"TPLP"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-20832-4_21","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"P Cabalar","year":"2011","unstructured":"Cabalar, P.: Answer set; programming? In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 334\u2013343. Springer, Heidelberg (2011)"},{"issue":"2","key":"3_CR30","first-page":"158","volume":"36","author":"E Pontelli","year":"2010","unstructured":"Pontelli, E., Le, H.V., Son, T.C.: An investigation in parallel execution of answer set programs on distributed memory platforms: task sharing and dynamic scheduling. Comput. Lang. Syst. Struct. 36(2), 158\u2013202 (2010)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"3_CR31","series-title":"Foundations of Artificial Intelligence","volume-title":"Handbook of Constraint Programming","author":"F Rossi","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier Science Inc., New York (2006)"},{"issue":"1\u20132","key":"3_CR32","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1\u20132), 181\u2013234 (2002)","journal-title":"Artif. Intell."},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","first-page":"434","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The smodels system. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 434\u2013438. Springer, Heidelberg (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-319-28228-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T19:03:08Z","timestamp":1600023788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28228-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319282275","9783319282282"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28228-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}