{"id":"https://openalex.org/W2152170012","doi":"https://doi.org/10.1017/s1471068411000652","title":"Parallel instantiation of ASP programs: techniques and experiments","display_name":"Parallel instantiation of ASP programs: techniques and experiments","publication_year":2012,"publication_date":"2012-01-25","ids":{"openalex":"https://openalex.org/W2152170012","doi":"https://doi.org/10.1017/s1471068411000652","mag":"2152170012"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068411000652","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000652","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1110.1015","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052577422","display_name":"Simona Perri","orcid":"https://orcid.org/0000-0002-8036-5709"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"SIMONA PERRI","raw_affiliation_strings":["Dipartimento di Matematica, Universit\u00e0 della Calabria, 87030 Rende, Italy (e-mail:","Dipartimento di matematica, universit\u00e0 della calabria, 87030 rende, italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica, Universit\u00e0 della Calabria, 87030 Rende, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Dipartimento di matematica, universit\u00e0 della calabria, 87030 rende, italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013411309","display_name":"Francesco Ricca","orcid":"https://orcid.org/0000-0001-8218-3178"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"FRANCESCO RICCA","raw_affiliation_strings":["Dipartimento di Matematica, Universit\u00e0 della Calabria, 87030 Rende, Italy (e-mail:","Dipartimento di matematica, universit\u00e0 della calabria, 87030 rende, italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica, Universit\u00e0 della Calabria, 87030 Rende, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Dipartimento di matematica, universit\u00e0 della calabria, 87030 rende, italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043436919","display_name":"M. Sirianni","orcid":"https://orcid.org/0000-0002-7626-6361"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MARCO SIRIANNI","raw_affiliation_strings":["Dipartimento di Matematica, Universit\u00e0 della Calabria, 87030 Rende, Italy (e-mail:","Dipartimento di matematica, universit\u00e0 della calabria, 87030 rende, italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica, Universit\u00e0 della Calabria, 87030 Rende, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]},{"raw_affiliation_string":"Dipartimento di matematica, universit\u00e0 della calabria, 87030 rende, italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5052577422"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.13900656,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"13","issue":"2","first_page":"253","last_page":"278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7878798842430115},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.6727548837661743},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.652001678943634},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6376550197601318},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.5991328954696655},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5658107399940491},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5441795587539673},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4773723781108856},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.4734615683555603},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4203934669494629},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3539217710494995},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3502408266067505},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10087117552757263},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.09877488017082214}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7878798842430115},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.6727548837661743},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.652001678943634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6376550197601318},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.5991328954696655},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5658107399940491},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5441795587539673},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4773723781108856},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.4734615683555603},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4203934669494629},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3539217710494995},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3502408266067505},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10087117552757263},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.09877488017082214},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068411000652","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000652","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1110.1015","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1110.1015","pdf_url":"https://arxiv.org/pdf/1110.1015","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2152170012","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1110.1015","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1110.1015","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1110.1015","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1110.1015","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1110.1015","pdf_url":"https://arxiv.org/pdf/1110.1015","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5199999809265137}],"awards":[{"id":"https://openalex.org/G3848063861","display_name":null,"funder_award_id":"2007-2013","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5989731191","display_name":null,"funder_award_id":"POR Calabria FESR 2007-2013","funder_id":"https://openalex.org/F4320326073","funder_display_name":"Regione Calabria"},{"id":"https://openalex.org/G8570012161","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"}],"funders":[{"id":"https://openalex.org/F4320326073","display_name":"Regione Calabria","ror":null},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2152170012.pdf","grobid_xml":"https://content.openalex.org/works/W2152170012.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W104995561","https://openalex.org/W143827961","https://openalex.org/W161408479","https://openalex.org/W193474923","https://openalex.org/W195976134","https://openalex.org/W1481719343","https://openalex.org/W1507965739","https://openalex.org/W1511336005","https://openalex.org/W1511456606","https://openalex.org/W1526119385","https://openalex.org/W1536509483","https://openalex.org/W1544722557","https://openalex.org/W1552168992","https://openalex.org/W1606891084","https://openalex.org/W1639901403","https://openalex.org/W1831966704","https://openalex.org/W1924767599","https://openalex.org/W1969965298","https://openalex.org/W1976055110","https://openalex.org/W1985974581","https://openalex.org/W2001029953","https://openalex.org/W2004414305","https://openalex.org/W2006141176","https://openalex.org/W2011124182","https://openalex.org/W2014287924","https://openalex.org/W2043673291","https://openalex.org/W2049129243","https://openalex.org/W2056850725","https://openalex.org/W2074154477","https://openalex.org/W2076698873","https://openalex.org/W2105869173","https://openalex.org/W2115128204","https://openalex.org/W2117839162","https://openalex.org/W2135026825","https://openalex.org/W2156470536","https://openalex.org/W2160039748","https://openalex.org/W2161955265","https://openalex.org/W2162621793","https://openalex.org/W2295882966","https://openalex.org/W2951494809","https://openalex.org/W3121534117","https://openalex.org/W6677517629"],"related_works":["https://openalex.org/W2962859023","https://openalex.org/W2405981421","https://openalex.org/W2206876877","https://openalex.org/W2219946074","https://openalex.org/W1607447456","https://openalex.org/W2256255252","https://openalex.org/W1552856842","https://openalex.org/W2413001351","https://openalex.org/W1565021917","https://openalex.org/W1961824217","https://openalex.org/W654905","https://openalex.org/W1843713465","https://openalex.org/W1589263172","https://openalex.org/W1825209826","https://openalex.org/W2297797677","https://openalex.org/W1525488258","https://openalex.org/W3840473","https://openalex.org/W284904389","https://openalex.org/W1887792052","https://openalex.org/W1986739891"],"abstract_inverted_index":{"Abstract":[0],"Answer-Set":[1,27],"Programming":[2],"(ASP)":[3],"is":[4,11,29,67,80,84,100,107,173],"a":[5,52,71,95],"powerful":[6],"logic-based":[7],"programming":[8],"language,":[9],"which":[10,50,156],"enjoying":[12],"increasing":[13],"interest":[14],"within":[15],"the":[16,37,44,76,87,90,120,125,135,159,163],"scientific":[17],"community":[18],"and":[19,106,152],"(very":[20],"recently)":[21],"in":[22,33,64,75,97,102],"industry.":[23],"The":[24],"evaluation":[25],"of":[26,89,122,162],"Programs":[28],"traditionally":[30],"carried":[31],"out":[32],"two":[34],"steps.":[35],"At":[36,119],"first":[38],"step,":[39],"an":[40,176],"input":[41,112],"program":[42,53],"undergoes":[43],"so-called":[45],"instantiation":[46,83,148],"(or":[47],"grounding)":[48],"process,":[49],"produces":[51],"\u2032":[54,66],"semantically":[55],"equivalent":[56],"to":[57,115,132],",":[58],"but":[59],"not":[60,130],"containing":[61],"any":[62],"variable;":[63],"turn,":[65],"evaluated":[68],"by":[69,167,175],"using":[70],"backtracking":[72],"search":[73],"algorithm":[74],"second":[77],"step.":[78],"It":[79],"well-known":[81],"that":[82],"important":[85],"for":[86,158],"efficiency":[88],"whole":[91],"evaluation,":[92],"might":[93],"become":[94],"bottleneck":[96],"common":[98],"situations,":[99],"crucial":[101],"several":[103],"real-world":[104],"applications,":[105],"particularly":[108],"relevant":[109],"when":[110],"huge":[111],"data":[113],"have":[114],"be":[116],"dealt":[117],"with.":[118],"time":[121],"this":[123],"writing,":[124],"available":[126],"instantiator":[127],"modules":[128],"are":[129],"able":[131],"exploit":[133],"satisfactorily":[134],"latest":[136],"hardware,":[137],"featuring":[138],"multi-core/multi-processor":[139],"Symmetric":[140,169],"MultiProcessing":[141,170],"technologies.":[142],"This":[143,172],"paper":[144],"presents":[145],"some":[146],"parallel":[147],"techniques,":[149],"including":[150],"load-balancing":[151],"granularity":[153],"control":[154],"heuristics,":[155],"allow":[157],"effective":[160],"exploitation":[161],"processing":[164],"power":[165],"offered":[166],"modern":[168],"machines.":[171],"confirmed":[174],"extensive":[177],"experimental":[178],"analysis":[179],"reported":[180],"herein.":[181]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}