{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:28Z","timestamp":1750307608405,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T00:00:00Z","timestamp":1263859200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,1,19]]},"DOI":"10.1145\/1708046.1708060","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T20:15:04Z","timestamp":1263932104000},"page":"73-82","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A parallel ASP instantiator based on DLV"],"prefix":"10.1145","author":[{"given":"Simona","family":"Perri","sequence":"first","affiliation":[{"name":"Universit\u00e0 della Calabria, Rende (Cosenza), Italy"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Calabria, Rende (Cosenza), Italy"}]},{"given":"Marco","family":"Sirianni","sequence":"additional","affiliation":[{"name":"Universit\u00e0 della Calabria, Rende (Cosenza), Italy"}]}],"member":"320","published-online":{"date-parts":[[2010,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Beowulf Cluster Site. URL:http:\/\/www.beowulf.org.  The Beowulf Cluster Site. URL:http:\/\/www.beowulf.org."},{"key":"e_1_3_2_1_2_1","first-page":"406","volume-title":"NoMoRe: A System for Non-Monotonic Reasoning. In LPNMR'01","author":"Anger C.","year":"2001","unstructured":"C. Anger , K. Konczak , and T. Linke . NoMoRe: A System for Non-Monotonic Reasoning. In LPNMR'01 , LNCS 2173, pp. 406 -- 410 . Sept. 2001 . C. Anger, K. Konczak, and T. Linke. NoMoRe: A System for Non-Monotonic Reasoning. In LPNMR'01, LNCS 2173, pp. 406--410. Sept. 2001."},{"key":"e_1_3_2_1_3_1","first-page":"95","volume-title":"12th International Conference, LPAR 2005, LNCS 3835","author":"Anger C.","year":"2005","unstructured":"C. Anger , M. Gebser , T. Linke , A. Neumann , and T. Schaub . The nomore++ Approach to Answer Set Solving. In Logic for Programming, Artificial Intelligence, and Reasoning , 12th International Conference, LPAR 2005, LNCS 3835 , pp. 95 -- 109 . Dec. 2005 . ISBN 3-540-30553-X. C. Anger, M. Gebser, T. Linke, A. Neumann, and T. Schaub. The nomore++ Approach to Answer Set Solving. In Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, LNCS 3835, pp. 95--109. Dec. 2005. ISBN 3-540-30553-X."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2005.03.004"},{"key":"e_1_3_2_1_5_1","first-page":"0","author":"Baral C.","year":"2003","unstructured":"C. Baral . Knowledge Representation , Reasoning and Declarative Problem Solving . CUP , 2003 . ISBN 0 - 52181802 -8. C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. CUP, 2003. ISBN 0-52181802-8.","journal-title":"CUP"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/195613.195637"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgor.2008.02.003"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/16856.16865"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191893"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"e_1_3_2_1_12_1","first-page":"363","volume-title":"LPNMR'97","author":"Eiter T.","unstructured":"T. Eiter , N. Leone , C. Mateis , G. Pfeifer , and F. Scarcello . A Deductive System for Nonmonotonic Reasoning . In LPNMR'97 , LNCS 1265, pp. 363 -- 374b . T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Nonmonotonic Reasoning. In LPNMR'97, LNCS 1265, pp. 363--374b."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/374875.374880"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_47"},{"key":"e_1_3_2_1_15_1","first-page":"135","volume-title":"Using Database Optimization Techniques for Nonmonotonic Reasoning. In DDLP'99","author":"Faber W.","unstructured":"W. Faber , N. Leone , C. Mateis , and G. Pfeifer . Using Database Optimization Techniques for Nonmonotonic Reasoning. In DDLP'99 , pp. 135 -- 139 . W. Faber, N. Leone, C. Mateis, and G. Pfeifer. Using Database Optimization Techniques for Nonmonotonic Reasoning. In DDLP'99, pp. 135--139."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30227-8_19"},{"key":"e_1_3_2_1_17_1","first-page":"72","volume-title":"Proceedings of the 1st Intl. ASP'01 Workshop","author":"Finkel R.A.","year":"2001","unstructured":"R.A. Finkel , V.W. Marek , N. Moore , and M. Truszczynski . Computing stable models in parallel. In Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning , Proceedings of the 1st Intl. ASP'01 Workshop , pp. 72 -- 76 , Mar. 2001 . R.A. Finkel, V.W. Marek, N. Moore, and M. Truszczynski. Computing stable models in parallel. In Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, pp. 72--76, Mar. 2001."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/93597.98724"},{"key":"e_1_3_2_1_19_1","first-page":"386","volume-title":"IJCAI 2007","author":"Gebser M.","year":"2007","unstructured":"M. Gebser , B. Kaufmann , A. Neumann , and T. Schaub . Conflict-driven answer set solving . In IJCAI 2007 , pp. 386 -- 392 . Jan. 2007 a. M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub. Conflict-driven answer set solving. In IJCAI 2007, pp. 386--392. Jan. 2007a."},{"key":"e_1_3_2_1_20_1","first-page":"3","article-title":"The first answer set programming system competition. In LPNMR'07","volume":"4483","author":"Gebser M.","year":"2007","unstructured":"M. Gebser , L. Liu , G. Namasivayam , A. Neumann , T. Schaub , and M. Truszczyski . The first answer set programming system competition. In LPNMR'07 , LNCS 4483 , pp. 3 -- 17 , 2007 b. ISBN 978-3-540-72199-4. 10.1007\/978-3-540-72200-7\\s\\do5(3). M. Gebser, L. Liu, G. Namasivayam, A. Neumann, T. Schaub, and M. Truszczyski. The first answer set programming system competition. In LPNMR'07, LNCS 4483, pp. 3--17, 2007b. ISBN 978-3-540-72199-4. 10.1007\/978-3-540-72200-7\\s\\do5(3).","journal-title":"LNCS"},{"key":"e_1_3_2_1_21_1","first-page":"266","volume-title":"9th International Conference, LPNMR 2007, 15-17, 2007, Proceedings, LNCS 4483","author":"Gebser M.","year":"2007","unstructured":"M. Gebser , T. Schaub , and S. Thiele . GrinGo: A New Grounder for Answer Set Programming. In Logic Programming and Nonmonotonic Reasoning , 9th International Conference, LPNMR 2007, 15-17, 2007, Proceedings, LNCS 4483 , pp. 266 -- 271 . 2007 c. M. Gebser, T. Schaub, and S. Thiele. GrinGo: A New Grounder for Answer Set Programming. In Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, 15-17, 2007, Proceedings, LNCS 4483, pp. 266--271. 2007c."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00207-2"},{"key":"e_1_3_2_1_23_1","first-page":"365","volume":"9","author":"Gelfond M.","year":"1991","unstructured":"M. Gelfond and V. Lifschitz . Classical Negation in Logic Programs and Disjunctive Databases. NGC , 9 : 365 -- 385 , 1991 . M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. NGC, 9:365--385, 1991.","journal-title":"Classical Negation in Logic Programs and Disjunctive Databases. NGC"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_18"},{"key":"e_1_3_2_1_25_1","first-page":"331","article-title":"Gnt -- a solver for disjunctive logic programs. In LPNMR-7","volume":"2923","author":"Janhunen T.","year":"2004","unstructured":"T. Janhunen and I. Niemel\u00e4 . Gnt -- a solver for disjunctive logic programs. In LPNMR-7 , LNCS 2923 , pp. 331 -- 335 . Jan. 2004 . ISBN 3-540-20721-X. T. Janhunen and I. Niemel\u00e4. Gnt -- a solver for disjunctive logic programs. In LPNMR-7, LNCS 2923, pp. 331--335. Jan. 2004. ISBN 3-540-20721-X.","journal-title":"LNCS"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119439.1119440"},{"key":"e_1_3_2_1_27_1","volume-title":"The Stanford GraphBase: A Platform for Combinatorial Computing","author":"Knuth D.E.","year":"1994","unstructured":"D.E. Knuth . The Stanford GraphBase: A Platform for Combinatorial Computing . ACM Press , New York , 1994 . D.E. Knuth. The Stanford GraphBase: A Platform for Combinatorial Computing. ACM Press, New York, 1994."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646400.688916"},{"key":"e_1_3_2_1_29_1","first-page":"258","volume-title":"BackJumping Techniques for Rules Instantiation in the DLV System. In NMR 2004","author":"Leone N.","year":"2004","unstructured":"N. Leone , S. Perri , and F. Scarcello . BackJumping Techniques for Rules Instantiation in the DLV System. In NMR 2004 , pp. 258 -- 266 , 2004 . ISBN 92-990021-0-X. N. Leone, S. Perri, and F. Scarcello. BackJumping Techniques for Rules Instantiation in the DLV System. In NMR 2004, pp. 258--266, 2004. ISBN 92-990021-0-X."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_31_1","first-page":"447 28538","volume-title":"LPNMR'05","author":"Lierler Y.","year":"2005","unstructured":"Y. Lierler . Disjunctive Answer Set Programming via Satisfiability . In LPNMR'05 , LNCS 3662, pp. 447 -- 451 . Sept. 2005 . ISBN 3-540- 28538 - 28535 . Y. Lierler. Disjunctive Answer Set Programming via Satisfiability. In LPNMR'05, LNCS 3662, pp. 447--451. Sept. 2005. ISBN 3-540-28538-5."},{"key":"e_1_3_2_1_32_1","first-page":"346","article-title":"Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In LPNMR-7","volume":"2923","author":"Lierler Y.","year":"2004","unstructured":"Y. Lierler and M. Maratea . Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In LPNMR-7 , LNCS 2923 , pp. 346 -- 350 . Jan. 2004 . ISBN 3-540-20721-X. Y. Lierler and M. Maratea. Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In LPNMR-7, LNCS 2923, pp. 346--350. Jan. 2004. ISBN 3-540-20721-X.","journal-title":"LNCS"},{"key":"e_1_3_2_1_33_1","first-page":"23","volume-title":"Answer Set Planning. In ICLP'99","author":"Lifschitz V.","unstructured":"V. Lifschitz . Answer Set Planning. In ICLP'99 , pp. 23 -- 37 . V. Lifschitz. Answer Set Planning. In ICLP'99, pp. 23--37."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.004"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm -- A 25-Year Perspective","author":"Marek V.W.","year":"1999","unstructured":"V.W. Marek and M. Truszczyski . Stable Models and an Alternative Logic Programming Paradigm . In The Logic Programming Paradigm -- A 25-Year Perspective , pp. 375 -- 398 . 1999 . V.W. Marek and M. Truszczyski. Stable Models and an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm -- A 25-Year Perspective, pp. 375--398. 1999."},{"key":"e_1_3_2_1_36_1","first-page":"420","volume-title":"LPNMR'97","author":"Niemel\u00e4 I.","unstructured":"I. Niemel\u00e4 and P. Simons . Smodels -- An Implementation of the Stable Model and Well-founded Semantics for Normal Logic Programs . In LPNMR'97 , LNCS 1265, pp. 420 -- 429 . I. Niemel\u00e4 and P. Simons. Smodels -- An Implementation of the Stable Model and Well-founded Semantics for Normal Logic Programs. In LPNMR'97, LNCS 1265, pp. 420--429."},{"key":"e_1_3_2_1_37_1","volume-title":"Smodels: A System for Answer Set Programming. In NMR'2000","author":"Niemel\u00e4 I.","year":"2000","unstructured":"I. Niemel\u00e4 , P. Simons , and T. Syrj\u00e4nen . Smodels: A System for Answer Set Programming. In NMR'2000 , Apr. 2000 . Online at http:\/\/xxx.lanl.gov\/abs\/cs\/0003033v1. I. Niemel\u00e4, P. Simons, and T. Syrj\u00e4nen. Smodels: A System for Answer Set Programming. In NMR'2000, Apr. 2000. Online at http:\/\/xxx.lanl.gov\/abs\/cs\/0003033v1."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the First Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008","author":"Perri S.","year":"2008","unstructured":"S. Perri , F. Ricca , and S. Vescio . Efficient Parallel ASP Instantiation via Dynamic Rewriting . In Proceedings of the First Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008 ), Udine, Italy , 2008 . S. Perri, F. Ricca, and S. Vescio. Efficient Parallel ASP Instantiation via Dynamic Rewriting. In Proceedings of the First Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), Udine, Italy, 2008."},{"key":"e_1_3_2_1_39_1","first-page":"174","volume-title":"Proceedings of the 1st Intl. ASP'01 Workshop","author":"Pontelli E.","year":"2001","unstructured":"E. Pontelli and O. El-Khatib . Exploiting Vertical Parallelism from Answer Set Programs. In Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning , Proceedings of the 1st Intl. ASP'01 Workshop , pp. 174 -- 180 , Mar. 2001 . E. Pontelli and O. El-Khatib. Exploiting Vertical Parallelism from Answer Set Programs. In Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, pp. 174--180, Mar. 2001."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037171"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"e_1_3_2_1_43_1","volume-title":"Operating systems","author":"Stallings W.","year":"1998","unstructured":"W. Stallings . Operating systems ( 3 rd ed.): internals and design principles. Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1998 . ISBN 0-13-887407-7. W. Stallings. Operating systems (3rd ed.): internals and design principles. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1998. ISBN 0-13-887407-7.","edition":"3"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.390244"},{"key":"e_1_3_2_1_45_1","volume-title":"Operating Systems Design and Implementation","author":"Tanenbaum A.S.","year":"2005","unstructured":"A.S. Tanenbaum and A.S. Woodhull . Operating Systems Design and Implementation ( 3 rd Edition). Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 2005 . ISBN 0131429388. A.S. Tanenbaum and A.S. Woodhull. Operating Systems Design and Implementation (3rd Edition). Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 2005. ISBN 0131429388.","edition":"3"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003158"},{"key":"e_1_3_2_1_47_1","volume-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman J.D.","year":"1988","unstructured":"J.D. Ullman . Principles of Database and Knowledge-Base Systems , Volume I. Computer Science Press , 1988 . ISBN 0-7167-8158-1. J.D. Ullman. Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press, 1988. ISBN 0-7167-8158-1."},{"key":"e_1_3_2_1_48_1","volume-title":"Computer Science Press","author":"Ullman J.D.","year":"1989","unstructured":"J.D. Ullman . Principles of Database and Knowledge Base Systems . Computer Science Press , 1989 . J.D. Ullman. Principles of Database and Knowledge Base Systems. Computer Science Press, 1989."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/93597.98723"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/50202.50242"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.368511"}],"event":{"name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Madrid Spain","acronym":"POPL '10"},"container-title":["Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1708046.1708060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1708046.1708060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:37Z","timestamp":1750250737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1708046.1708060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,19]]},"references-count":50,"alternative-id":["10.1145\/1708046.1708060","10.1145\/1708046"],"URL":"https:\/\/doi.org\/10.1145\/1708046.1708060","relation":{},"subject":[],"published":{"date-parts":[[2010,1,19]]},"assertion":[{"value":"2010-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}