Experimenting with parallelism for the instantiation of ASP programs
In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power consumption. This makes real Symmetric MultiProcessing (SMP) available even on non-dedicated machines, and paves the way to the development of...
Saved in:
| Published in: | Journal of algorithms Vol. 63; no. 1; pp. 34 - 54 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Inc
2008
|
| Subjects: | |
| ISSN: | 0196-6774, 1090-2678 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power consumption. This makes real Symmetric MultiProcessing (SMP) available even on non-dedicated machines, and paves the way to the development of better performing software. Notably, the recent application of Answer Set Programming (ASP) in different emerging areas, such as knowledge management or information extraction/integration, shows that performance is a crucial issue also for ASP systems. Among the tasks performed by such systems, the instantiation process, which consists of generating a variable-free program equivalent to the input one, is one of the most expensive from a computational viewpoint, especially in the case of huge input data. In this paper a new strategy exploiting parallelism for the instantiation of ASP programs is proposed. An implementation of this strategy and its integration with the grounding module of the DLV system is discussed. The results of an experimental analysis are also presented, which confirm that the strategy is effective in making ASP instantiation more efficient. |
|---|---|
| AbstractList | In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power consumption. This makes real Symmetric MultiProcessing (SMP) available even on non-dedicated machines, and paves the way to the development of better performing software. Notably, the recent application of Answer Set Programming (ASP) in different emerging areas, such as knowledge management or information extraction/integration, shows that performance is a crucial issue also for ASP systems. Among the tasks performed by such systems, the instantiation process, which consists of generating a variable-free program equivalent to the input one, is one of the most expensive from a computational viewpoint, especially in the case of huge input data. In this paper a new strategy exploiting parallelism for the instantiation of ASP programs is proposed. An implementation of this strategy and its integration with the grounding module of the DLV system is discussed. The results of an experimental analysis are also presented, which confirm that the strategy is effective in making ASP instantiation more efficient. |
| Author | Ricca, F. Perri, S. Calimeri, F. |
| Author_xml | – sequence: 1 givenname: F. surname: Calimeri fullname: Calimeri, F. email: calimeri@mat.unical.it – sequence: 2 givenname: S. surname: Perri fullname: Perri, S. email: perri@mat.unical.it – sequence: 3 givenname: F. surname: Ricca fullname: Ricca, F. email: ricca@mat.unical.it |
| BookMark | eNqFkMtOwzAQRS1UJNrCH7DwDySM49RpWCBVpQWkSiDRveU449ZRGke2xePvSSkrFrCazZyre8-EjDrXISHXDFIGTNw0aaPanfNpBjBPIUsB-BkZMyghyUQxH5ExsFIkoijyCzIJoQFgbJaXY3K_-ujR2wN20XY7-m7jnvbKq7bF1oYDNc7TuEdquxDV8KOidR11hi5eX2jv3c6rQ7gk50a1Aa9-7pRs16vt8jHZPD88LRebRHMQMTFaKF4x4BUwI1hRADKtNRNG5EooXaNCYXTOeZmVVTbLqhx4YaqyngtdGj4l-SlWexeCRyP7obnyn5KBPIqQjTyJkEcREjI5iBiw21-YtvF7R_TKtv_BdycYh11vFr0M2mKnsbYedZS1s38HfAEozH-K |
| CitedBy_id | crossref_primary_10_1017_S1471068416000569 crossref_primary_10_3233_SW_180330 crossref_primary_10_1017_S1471068419000036 crossref_primary_10_1017_S1471068422000059 crossref_primary_10_1016_j_eswa_2015_04_065 |
| Cites_doi | 10.1145/1149114.1149117 10.1145/502807.502810 10.1145/185403.185453 10.1016/S0004-3702(02)00207-2 10.1007/BF01530928 10.1006/jcss.2001.1809 10.1016/S0004-3702(02)00187-X 10.1145/195613.195637 10.1145/5001.5390 10.1145/1119439.1119440 10.1109/69.390244 10.1007/BF03037171 10.1016/0743-1066(94)00039-9 10.1007/BF03037169 10.1016/j.parco.2005.03.004 10.1145/261124.261126 10.1145/504083.504085 10.1109/69.368511 10.1145/72551.72555 10.1016/0743-1066(92)90008-Q 10.1016/j.artint.2004.04.004 |
| ContentType | Journal Article |
| Copyright | 2008 Elsevier Inc. |
| Copyright_xml | – notice: 2008 Elsevier Inc. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jalgor.2008.02.003 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1090-2678 |
| EndPage | 54 |
| ExternalDocumentID | 10_1016_j_jalgor_2008_02_003 S0196677408000059 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 29J 4.4 4G. 5GY 5VS 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABEFU ABMAC ABTAH ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADFGL ADGUI ADIYS ADJOM ADMUD AEBSH AEKER AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CAG COF CS3 DM4 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FA8 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBOLZ HLZ HMJ HVGLF HZ~ IHE KOM LG5 LX9 M25 MHUIS MO0 MVM N9A O-L O9- OAUVE OZT P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SEW SME SPC SSV SSW SSZ T5K TN5 TWZ UPT UQL WUQ XJT XPP YQT ZCA ZU3 ZY4 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c306t-fc6a3b103b01f61770e1ccc16f64a6acdeae6fc433929b252b4037fb9d86c9f3 |
| ISICitedReferencesCount | 14 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000258968700004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0196-6774 |
| IngestDate | Sat Nov 29 03:01:57 EST 2025 Tue Nov 18 22:14:02 EST 2025 Fri Feb 23 02:34:46 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Disjunctive Logic Programming Parallelism Instantiation Answer Set Programming |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c306t-fc6a3b103b01f61770e1ccc16f64a6acdeae6fc433929b252b4037fb9d86c9f3 |
| PageCount | 21 |
| ParticipantIDs | crossref_primary_10_1016_j_jalgor_2008_02_003 crossref_citationtrail_10_1016_j_jalgor_2008_02_003 elsevier_sciencedirect_doi_10_1016_j_jalgor_2008_02_003 |
| PublicationCentury | 2000 |
| PublicationDate | 2008 2008-1-00 |
| PublicationDateYYYYMMDD | 2008-01-01 |
| PublicationDate_xml | – year: 2008 text: 2008 |
| PublicationDecade | 2000 |
| PublicationTitle | Journal of algorithms |
| PublicationYear | 2008 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Gressmann, Janhunen, Mercer, Schaub, Thiele, Tichy (bib049) 2005 Janhunen, Niemelä (bib018) 2004; vol. 2923 Balduccini, Pontelli, Elkhatib, Le (bib052) 2005; 31 de Kergommeaux, Codognet (bib064) 1994; 26 Subrahmanian, Nau, Vago (bib016) 1995; 7 de Boer, Palamidessi (bib070) 1994 Gottlob, Leone, Scarcello (bib046) 2002; 64 Syrjänen (bib033) 2002 Garey, Johnson (bib039) 1979 Janhunen, Niemelä, Seipel, Simons, You (bib017) 2006; 7 July 1995 Gelfond, Lifschitz (bib006) 1991; 9 Pontelli, El-Khatib (bib050) 2001 Wolfson, Silberschatz (bib058) 1988 Marek, Truszczyński (bib010) 1999 Finkel, Marek, Moore, Truszczynski (bib041) 2001 Faber, Leone, Mateis, Pfeifer (bib029) 1999 Lierler, Maratea (bib024) 2004; vol. 2923 Dix, Eiter, Fink, Polleres, Zhang (bib053) 2003; vol. 2821 Zhang, Wang, Chau (bib066) 1995; 7 Tanenbaum, Woodhull (bib002) 2005 Eiter, Faber, Leone, Pfeifer (bib008) 2000 Stallings (bib001) 1998 Dantsin, Eiter, Gottlob, Voronkov (bib014) 2001; 33 Leone, Perri, Scarcello (bib031) 2004 Babovich (bib034) Faber, Leone, Perri, Pfeifer (bib038) A. Stepanov, M. Lee, The Standard Template Library, part of the evolving ANSI C++ standard, available at Ullman (bib037) 1989 Inoue, Koshimura, Hasegawa (bib062) 1992 Gebser, Kaufmann, Neumann, Schaub (bib022) 2007 Radziszowski (bib043) 2002; 1 Lierler (bib019) 2005; vol. 3662 Ruffolo, Leone, Manna, Sacca, Zavatto (bib003) 2005 Wu, Pontelli, Ranjan (bib069) 2005 Leone, Restuccia, Romeo, Rullo (bib063) 1993; 4 Leone, Pfeifer, Faber, Eiter, Gottlob, Perri, Scarcello (bib013) 2006; 7 Bell, Nerode, Ng, Subrahmanian (bib015) 1994; 41 Faber, Leone, Pfeifer (bib035) 2004; vol. 3229 project homepage Cumbo, Iiritano, Rullo (bib004) 2004 Arieli, Denecker, Van Nuffelen, Bruynooghe (bib054) 2004; vol. 2942 Shapiro (bib059) 1989; 21 Vardi (bib028) 1982 Pontelli (bib051) 2001 P. Simons, Extending and implementing the stable model semantics, PhD thesis, Helsinki University of Technology, Finland, 2000 Clark, Gregory (bib057) 1986; 8 Berger, McKinley, Blumofe, Wilson (bib048) 2000 Ramakrishnan (bib060) 1991; 3 J. Barklund, Parallel unification, PhD thesis, Uppsala University, 1990 Exeura s.r.l. homepage Ramakrishnan, Ullman (bib065) 1995; 23 Lin, Zhao (bib023) 2004; 157 Anger, Konczak, Linke (bib025) 2001; vol. 2173 Gelfond, Leone (bib012) 2002; 138 Eiter, Leone, Mateis, Pfeifer, Scarcello (bib027) 1997; vol. 1265 Niemelä, Simons, Syrjänen (bib021) 2000 Leone, Gottlob, Rosati, Eiter, Faber, Fink, Greco, Ianni, Kałka, Lembo, Lenzerini, Lio, Nowicki, Ruzzi, Staniszkis, Terracina (bib005) 2005 Simons, Niemelä, Soininen (bib020) 2002; 138 Baral (bib011) 2003 Przymusinski (bib036) 1991; 9 Wolfson (bib061) 1992; 12 Lifschitz (bib009) 1999 Gebser, Liu, Namasivayam, Neumann, Schaub, Truszczyński (bib055) 2007; vol. 4483 M. Gaspari, A declarative language for parallel programming, Technical report UBLCS-00-X, Comput. Science Laboratory, University of Bologna, Italy, October 2000 Niemelä, Simons (bib032) 1997; vol. 1265 Leone, Perri, Scarcello (bib030) 2001; vol. 2173 East, Truszczyński (bib040) 2001; vol. 2174 Eiter, Gottlob, Mannila (bib007) 1997; 22 Anger, Gebser, Linke, Neumann, Schaub (bib026) 2005; vol. 3835 The Beowulf Cluster Site Gupta, Pontelli, Ali, Carlsson, Hermenegildo (bib068) 2001; 23 Ruffolo (10.1016/j.jalgor.2008.02.003_bib003) 2005 Eiter (10.1016/j.jalgor.2008.02.003_bib007) 1997; 22 Cumbo (10.1016/j.jalgor.2008.02.003_bib004) 2004 Leone (10.1016/j.jalgor.2008.02.003_bib013) 2006; 7 Lierler (10.1016/j.jalgor.2008.02.003_bib024) 2004; vol. 2923 Ullman (10.1016/j.jalgor.2008.02.003_bib037) 1989 Leone (10.1016/j.jalgor.2008.02.003_bib005) 2005 Clark (10.1016/j.jalgor.2008.02.003_bib057) 1986; 8 10.1016/j.jalgor.2008.02.003_bib047 Dix (10.1016/j.jalgor.2008.02.003_bib053) 2003; vol. 2821 Marek (10.1016/j.jalgor.2008.02.003_bib010) 1999 Syrjänen (10.1016/j.jalgor.2008.02.003_bib033) East (10.1016/j.jalgor.2008.02.003_bib040) 2001; vol. 2174 Babovich (10.1016/j.jalgor.2008.02.003_bib034) Gebser (10.1016/j.jalgor.2008.02.003_bib055) 2007; vol. 4483 Wolfson (10.1016/j.jalgor.2008.02.003_bib061) 1992; 12 10.1016/j.jalgor.2008.02.003_bib056 Dantsin (10.1016/j.jalgor.2008.02.003_bib014) 2001; 33 Niemelä (10.1016/j.jalgor.2008.02.003_bib021) 2000 Leone (10.1016/j.jalgor.2008.02.003_bib063) 1993; 4 Przymusinski (10.1016/j.jalgor.2008.02.003_bib036) 1991; 9 Baral (10.1016/j.jalgor.2008.02.003_bib011) 2003 Eiter (10.1016/j.jalgor.2008.02.003_bib027) 1997; vol. 1265 Subrahmanian (10.1016/j.jalgor.2008.02.003_bib016) 1995; 7 Finkel (10.1016/j.jalgor.2008.02.003_bib041) 2001 10.1016/j.jalgor.2008.02.003_bib067 Lierler (10.1016/j.jalgor.2008.02.003_bib019) 2005; vol. 3662 Berger (10.1016/j.jalgor.2008.02.003_bib048) 2000 Stallings (10.1016/j.jalgor.2008.02.003_bib001) 1998 Niemelä (10.1016/j.jalgor.2008.02.003_bib032) 1997; vol. 1265 Leone (10.1016/j.jalgor.2008.02.003_bib031) 2004 Gelfond (10.1016/j.jalgor.2008.02.003_bib012) 2002; 138 Arieli (10.1016/j.jalgor.2008.02.003_bib054) 2004; vol. 2942 Vardi (10.1016/j.jalgor.2008.02.003_bib028) 1982 Gressmann (10.1016/j.jalgor.2008.02.003_bib049) 2005 Shapiro (10.1016/j.jalgor.2008.02.003_bib059) 1989; 21 Wu (10.1016/j.jalgor.2008.02.003_bib069) 2005 Faber (10.1016/j.jalgor.2008.02.003_bib029) 1999 Inoue (10.1016/j.jalgor.2008.02.003_bib062) 1992 Faber (10.1016/j.jalgor.2008.02.003_bib038) Eiter (10.1016/j.jalgor.2008.02.003_bib008) 2000 Simons (10.1016/j.jalgor.2008.02.003_bib020) 2002; 138 de Kergommeaux (10.1016/j.jalgor.2008.02.003_bib064) 1994; 26 Pontelli (10.1016/j.jalgor.2008.02.003_bib051) 2001 Gebser (10.1016/j.jalgor.2008.02.003_bib022) 2007 Janhunen (10.1016/j.jalgor.2008.02.003_bib017) 2006; 7 Anger (10.1016/j.jalgor.2008.02.003_bib026) 2005; vol. 3835 10.1016/j.jalgor.2008.02.003_bib071 Gupta (10.1016/j.jalgor.2008.02.003_bib068) 2001; 23 Gottlob (10.1016/j.jalgor.2008.02.003_bib046) 2002; 64 Zhang (10.1016/j.jalgor.2008.02.003_bib066) 1995; 7 Janhunen (10.1016/j.jalgor.2008.02.003_bib018) 2004; vol. 2923 Lin (10.1016/j.jalgor.2008.02.003_bib023) 2004; 157 Anger (10.1016/j.jalgor.2008.02.003_bib025) 2001; vol. 2173 Balduccini (10.1016/j.jalgor.2008.02.003_bib052) 2005; 31 de Boer (10.1016/j.jalgor.2008.02.003_bib070) 1994 Wolfson (10.1016/j.jalgor.2008.02.003_bib058) 1988 Gelfond (10.1016/j.jalgor.2008.02.003_bib006) 1991; 9 Bell (10.1016/j.jalgor.2008.02.003_bib015) 1994; 41 Pontelli (10.1016/j.jalgor.2008.02.003_bib050) 2001 Lifschitz (10.1016/j.jalgor.2008.02.003_bib009) 1999 Faber (10.1016/j.jalgor.2008.02.003_bib035) 2004; vol. 3229 Garey (10.1016/j.jalgor.2008.02.003_bib039) 1979 10.1016/j.jalgor.2008.02.003_bib045 10.1016/j.jalgor.2008.02.003_bib044 Ramakrishnan (10.1016/j.jalgor.2008.02.003_bib065) 1995; 23 10.1016/j.jalgor.2008.02.003_bib042 Leone (10.1016/j.jalgor.2008.02.003_bib030) 2001; vol. 2173 Radziszowski (10.1016/j.jalgor.2008.02.003_bib043) 2002; 1 Tanenbaum (10.1016/j.jalgor.2008.02.003_bib002) 2005 Ramakrishnan (10.1016/j.jalgor.2008.02.003_bib060) 1991; 3 |
| References_xml | – volume: 23 start-page: 125 year: 1995 end-page: 149 ident: bib065 article-title: A survey of deductive database systems publication-title: J. Logic Program. – start-page: 79 year: 2005 end-page: 94 ident: bib069 article-title: Computational issues in exploiting dependent and parallelism in logic programming: Leftness detection in dynamic search trees publication-title: Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference (LPAR), Montego Bay, Jamaica – volume: 4 start-page: 245 year: 1993 end-page: 258 ident: bib063 article-title: Expliciting parallelism in the semi-naive algorithm for the bottom-up evaluation of datalog programs publication-title: Database Technology – volume: vol. 3229 start-page: 200 year: 2004 end-page: 212 ident: bib035 article-title: Recursive aggregates in disjunctive logic programs: Semantics and complexity publication-title: Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004) – start-page: 386 year: 2007 end-page: 392 ident: bib022 article-title: Conflict-driven answer set solving publication-title: Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07) – start-page: 380 year: 2004 end-page: 387 ident: bib004 article-title: Reasoning-based knowledge extraction for text classification publication-title: Proceedings of Discovery Science, 7th International Conference, Padova, Italy – volume: 7 start-page: 1 year: 2006 end-page: 37 ident: bib017 article-title: Unfolding partiality and disjunctions in stable model semantics publication-title: ACM Trans. Comput. Logic – year: 1979 ident: bib039 article-title: Computers and Intractability, A Guide to the Theory of NP-Completeness – volume: 33 start-page: 374 year: 2001 end-page: 425 ident: bib014 article-title: Complexity and expressive power of logic programming publication-title: ACM Comput. Surveys – start-page: 72 year: 2001 end-page: 76 ident: bib041 article-title: Computing stable models in parallel publication-title: Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Internat. ASP'01 Workshop, Stanford – volume: 31 start-page: 608 year: 2005 end-page: 647 ident: bib052 article-title: Issues in parallel execution of non-monotonic reasoning systems publication-title: Parallel Comput. – volume: 21 start-page: 413 year: 1989 end-page: 510 ident: bib059 article-title: The family of concurrent logic programming languages publication-title: ACM Comput. Surveys – reference: The Beowulf Cluster Site, – volume: vol. 2173 start-page: 406 year: 2001 end-page: 410 ident: bib025 publication-title: Proceedings of Logic Programming and Nonmonotonic Reasoning—6th International Conference (LPNMR'01), Vienna, Austria, September 2001 – volume: vol. 3662 start-page: 447 year: 2005 end-page: 451 ident: bib019 article-title: Disjunctive answer set programming via satisfiability publication-title: Proceedings of Logic Programming and Nonmonotonic Reasoning—8th International Conference, LPNMR'05, Diamante, Italy, September 2005 – year: 1989 ident: bib037 article-title: Principles of Database and Knowledge Base Systems – volume: 1 year: 2002 ident: bib043 article-title: Small Ramsey numbers publication-title: Electron. J. Combin. – reference: M. Gaspari, A declarative language for parallel programming, Technical report UBLCS-00-X, Comput. Science Laboratory, University of Bologna, Italy, October 2000 – volume: vol. 4483 start-page: 3 year: 2007 end-page: 17 ident: bib055 article-title: The first answer set programming system competition publication-title: Logic Programming and Nonmonotonic Reasoning—9th International Conference (LPNMR'07), Tempe, AZ – reference: J. Barklund, Parallel unification, PhD thesis, Uppsala University, 1990 – volume: 22 start-page: 364 year: 1997 end-page: 418 ident: bib007 article-title: Disjunctive datalog publication-title: ACM Trans. Database Systems – reference: A. Stepanov, M. Lee, The Standard Template Library, part of the evolving ANSI C++ standard, available at – year: 2003 ident: bib011 article-title: Knowledge Representation, Reasoning and Declarative Problem Solving – volume: 138 start-page: 181 year: 2002 end-page: 234 ident: bib020 article-title: Extending and implementing the stable model semantics publication-title: Artificial Intelligence – volume: 157 start-page: 115 year: 2004 end-page: 137 ident: bib023 article-title: ASSAT: Computing answer sets of a logic program by SAT solvers publication-title: Artificial Intelligence – reference: project homepage, – start-page: 915 year: 2005 end-page: 917 ident: bib005 article-title: The INFOMIX system for advanced integration of incomplete and inconsistent data publication-title: Proceedings of the 24th ACM SIGMOD International Conference on Management of Data (SIGMOD 2005) – volume: 7 start-page: 362 year: 1995 end-page: 377 ident: bib016 article-title: WFS + Branch and Bound = Stable Models publication-title: IEEE Trans. Knowledge and Data Engrg. – volume: 8 start-page: 1 year: 1986 end-page: 49 ident: bib057 article-title: Parlog: Parallel programming in logic publication-title: ACM Trans. Program. Language Systems – ident: bib034 – volume: 7 start-page: 499 year: 2006 end-page: 562 ident: bib013 article-title: The DLV system for knowledge representation and reasoning publication-title: ACM Trans. Comput. Log. – volume: vol. 2821 start-page: 646 year: 2003 end-page: 660 ident: bib053 article-title: Monitoring agents using declarative planning publication-title: Proceedings of the 26th German Conference on Artificial Intelligence (KI2003) – start-page: 375 year: 1999 end-page: 398 ident: bib010 article-title: Stable models and an alternative logic programming paradigm publication-title: The Logic Programming Paradigm—A 25-Year Perspective – year: 1998 ident: bib001 article-title: Operating Systems: Internals and Design Principles – start-page: 329 year: 1988 end-page: 336 ident: bib058 article-title: Distributed processing of logic programs publication-title: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, IL – volume: vol. 2173 start-page: 280 year: 2001 end-page: 294 ident: bib030 article-title: Improving ASP instantiators by join-ordering methods publication-title: Logic Programming and Nonmonotonic Reasoning—6th International Conference (LPNMR'01), Vienna, Austria – start-page: 23 year: 1999 end-page: 37 ident: bib009 article-title: Answer set planning publication-title: Proceedings of the 16th International Conference on Logic Programming (ICLP'99) – volume: 9 start-page: 401 year: 1991 end-page: 424 ident: bib036 article-title: Stable semantics for disjunctive programs publication-title: New Generation Comput. – start-page: 117 year: 2000 end-page: 128 ident: bib048 article-title: Hoard: A scalable memory allocator for multithreaded applications publication-title: Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Cambridge, MA – volume: vol. 3835 start-page: 95 year: 2005 end-page: 109 ident: bib026 article-title: The nomore++ approach to answer set solving publication-title: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005 – volume: 3 start-page: 295 year: 1991 end-page: 330 ident: bib060 article-title: Parallelism in logic programs publication-title: Ann. Math. Artif. Intell. – reference: P. Simons, Extending and implementing the stable model semantics, PhD thesis, Helsinki University of Technology, Finland, 2000 – start-page: 55 year: 1994 end-page: 113 ident: bib070 article-title: From concurrent logic programming to concurrent constraint programming publication-title: Advances in Logic Programming Theory – volume: 41 start-page: 1178 year: 1994 end-page: 1215 ident: bib015 article-title: Mixed integer programming methods for computing nonmonotonic deductive databases publication-title: J. ACM – start-page: 227 year: 2005 end-page: 239 ident: bib049 article-title: Platypus: A platform for distributed answer set solving publication-title: Proceedings of Logic Programming and Nonmonotonic Reasoning, 8th International Conference (LPNMR), Diamante, Italy – volume: vol. 2923 start-page: 346 year: 2004 end-page: 350 ident: bib024 article-title: Cmodels-2: Sat-based answer set solver enhanced to non-tight programs publication-title: Proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-7) – volume: vol. 1265 start-page: 363 year: 1997 end-page: 374 ident: bib027 article-title: A deductive system for nonmonotonic reasoning publication-title: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), Dagstuhl, Germany – start-page: 135 year: 1999 end-page: 139 ident: bib029 article-title: Using database optimization techniques for nonmonotonic reasoning publication-title: Proceedings of the 7th International Workshop on Deductive Databases and Logic Programming (DDLP'99) – volume: 9 start-page: 365 year: 1991 end-page: 385 ident: bib006 article-title: Classical negation in logic programs and disjunctive databases publication-title: New Generation Comput. – volume: 64 start-page: 579 year: 2002 end-page: 627 ident: bib046 article-title: Hypertree decompositions and tractable queries publication-title: J. Comput. System Sci. – start-page: 174 year: 2001 end-page: 180 ident: bib050 article-title: Exploiting vertical parallelism from answer set programs publication-title: Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Internat. ASP'01 Workshop, Stanford, CA – volume: 12 start-page: 369 year: 1992 end-page: 393 ident: bib061 article-title: Parallel evaluation of datalog programs by load sharing publication-title: J. Logic Program. – year: 2002 ident: bib033 article-title: Lparse 1.0 user's manual – start-page: 400 year: 1992 end-page: 415 ident: bib062 article-title: Embedding negation as failure into a model generation theorem prover publication-title: Proceedings of CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY – volume: vol. 2923 start-page: 331 year: 2004 end-page: 335 ident: bib018 article-title: Gnt—a solver for disjunctive logic programs publication-title: Proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-7) – start-page: 137 year: 1982 end-page: 146 ident: bib028 article-title: Complexity of relational query languages publication-title: Proceedings of the 14th Symposium on Theory of Computation (STOC) – volume: vol. 2942 start-page: 14 year: 2004 end-page: 30 ident: bib054 article-title: Database repair by signed formulae publication-title: Foundations of Information and Knowledge Systems, Third International Symposium (FoIKS 2004) – volume: 7 start-page: 163 year: 1995 end-page: 176 ident: bib066 article-title: Data partition and parallel evaluation of datalog programs publication-title: IEEE Trans. Knowledge Data Engrg. – reference: , July 1995 – ident: bib038 article-title: Efficient instantiation of disjunctive databases – volume: 26 start-page: 295 year: 1994 end-page: 336 ident: bib064 article-title: Parallel logic programming systems publication-title: ACM Comput. Surveys – year: 2005 ident: bib002 article-title: Operating Systems Design and Implementation – start-page: 79 year: 2000 end-page: 103 ident: bib008 article-title: Declarative problem-solving using the DLV system publication-title: Logic-Based Artificial Intelligence – reference: Exeura s.r.l. homepage, – volume: vol. 1265 start-page: 420 year: 1997 end-page: 429 ident: bib032 article-title: Smodels—An implementation of the stable model and well-founded semantics for normal logic programs publication-title: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), Dagstuhl, Germany – volume: 138 start-page: 3 year: 2002 end-page: 38 ident: bib012 article-title: Logic programming and knowledge representation—The A-Prolog perspective publication-title: Artificial Intelligence – start-page: 258 year: 2004 end-page: 266 ident: bib031 article-title: BackJumping techniques for rules instantiation in the DLV system publication-title: Proceedings of the 10th International Workshop on Non-monotonic Reasoning (NMR 2004), Whistler, BC, Canada – volume: vol. 2174 start-page: 138 year: 2001 end-page: 153 ident: bib040 article-title: Propositional satisfiability in answer-set programming publication-title: Proceedings of Joint German/Austrian Conference on Artificial Intelligence (KI'2001) – start-page: 20 year: 2001 ident: bib051 article-title: Experiments in parallel execution of answer set programs publication-title: Proceedings of 15th International Parallel and Distributed Processing Symposium (IPDPS), San Francisco, CA – start-page: 248 year: 2005 end-page: 262 ident: bib003 article-title: Exploiting ASP for semantic information extraction publication-title: Proceedings ASP05—Answer Set Programming: Advances in Theory and Implementation, Bath, UK – year: 2000 ident: bib021 article-title: Smodels: A system for answer set programming publication-title: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'2000), Breckenridge, CO – volume: 23 start-page: 472 year: 2001 end-page: 602 ident: bib068 article-title: Parallel execution of Prolog programs: A survey publication-title: ACM Trans. Program. Language Syst. – volume: vol. 3662 start-page: 447 year: 2005 ident: 10.1016/j.jalgor.2008.02.003_bib019 article-title: Disjunctive answer set programming via satisfiability – ident: 10.1016/j.jalgor.2008.02.003_bib038 – volume: vol. 3835 start-page: 95 year: 2005 ident: 10.1016/j.jalgor.2008.02.003_bib026 article-title: The nomore++ approach to answer set solving – volume: vol. 2942 start-page: 14 year: 2004 ident: 10.1016/j.jalgor.2008.02.003_bib054 article-title: Database repair by signed formulae – volume: 7 start-page: 499 issue: 3 year: 2006 ident: 10.1016/j.jalgor.2008.02.003_bib013 article-title: The DLV system for knowledge representation and reasoning publication-title: ACM Trans. Comput. Log. doi: 10.1145/1149114.1149117 – ident: 10.1016/j.jalgor.2008.02.003_bib056 – start-page: 117 year: 2000 ident: 10.1016/j.jalgor.2008.02.003_bib048 article-title: Hoard: A scalable memory allocator for multithreaded applications – start-page: 248 year: 2005 ident: 10.1016/j.jalgor.2008.02.003_bib003 article-title: Exploiting ASP for semantic information extraction – start-page: 20 year: 2001 ident: 10.1016/j.jalgor.2008.02.003_bib051 article-title: Experiments in parallel execution of answer set programs – start-page: 915 year: 2005 ident: 10.1016/j.jalgor.2008.02.003_bib005 article-title: The INFOMIX system for advanced integration of incomplete and inconsistent data – volume: 33 start-page: 374 issue: 3 year: 2001 ident: 10.1016/j.jalgor.2008.02.003_bib014 article-title: Complexity and expressive power of logic programming publication-title: ACM Comput. Surveys doi: 10.1145/502807.502810 – volume: 26 start-page: 295 issue: 3 year: 1994 ident: 10.1016/j.jalgor.2008.02.003_bib064 article-title: Parallel logic programming systems publication-title: ACM Comput. Surveys doi: 10.1145/185403.185453 – start-page: 72 year: 2001 ident: 10.1016/j.jalgor.2008.02.003_bib041 article-title: Computing stable models in parallel – ident: 10.1016/j.jalgor.2008.02.003_bib071 – ident: 10.1016/j.jalgor.2008.02.003_bib042 – volume: 1 year: 2002 ident: 10.1016/j.jalgor.2008.02.003_bib043 article-title: Small Ramsey numbers publication-title: Electron. J. Combin. – volume: vol. 2923 start-page: 346 year: 2004 ident: 10.1016/j.jalgor.2008.02.003_bib024 article-title: Cmodels-2: Sat-based answer set solver enhanced to non-tight programs – ident: 10.1016/j.jalgor.2008.02.003_bib067 – volume: 138 start-page: 3 issue: 1–2 year: 2002 ident: 10.1016/j.jalgor.2008.02.003_bib012 article-title: Logic programming and knowledge representation—The A-Prolog perspective publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(02)00207-2 – volume: vol. 2821 start-page: 646 year: 2003 ident: 10.1016/j.jalgor.2008.02.003_bib053 article-title: Monitoring agents using declarative planning – start-page: 174 year: 2001 ident: 10.1016/j.jalgor.2008.02.003_bib050 article-title: Exploiting vertical parallelism from answer set programs – year: 1979 ident: 10.1016/j.jalgor.2008.02.003_bib039 – start-page: 55 year: 1994 ident: 10.1016/j.jalgor.2008.02.003_bib070 article-title: From concurrent logic programming to concurrent constraint programming – ident: 10.1016/j.jalgor.2008.02.003_bib047 – volume: 3 start-page: 295 issue: 2–4 year: 1991 ident: 10.1016/j.jalgor.2008.02.003_bib060 article-title: Parallelism in logic programs publication-title: Ann. Math. Artif. Intell. doi: 10.1007/BF01530928 – start-page: 79 year: 2000 ident: 10.1016/j.jalgor.2008.02.003_bib008 article-title: Declarative problem-solving using the DLV system – volume: 64 start-page: 579 issue: 3 year: 2002 ident: 10.1016/j.jalgor.2008.02.003_bib046 article-title: Hypertree decompositions and tractable queries publication-title: J. Comput. System Sci. doi: 10.1006/jcss.2001.1809 – volume: 138 start-page: 181 year: 2002 ident: 10.1016/j.jalgor.2008.02.003_bib020 article-title: Extending and implementing the stable model semantics publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(02)00187-X – ident: 10.1016/j.jalgor.2008.02.003_bib033 – start-page: 79 year: 2005 ident: 10.1016/j.jalgor.2008.02.003_bib069 article-title: Computational issues in exploiting dependent and parallelism in logic programming: Leftness detection in dynamic search trees – volume: 41 start-page: 1178 year: 1994 ident: 10.1016/j.jalgor.2008.02.003_bib015 article-title: Mixed integer programming methods for computing nonmonotonic deductive databases publication-title: J. ACM doi: 10.1145/195613.195637 – volume: vol. 2174 start-page: 138 year: 2001 ident: 10.1016/j.jalgor.2008.02.003_bib040 article-title: Propositional satisfiability in answer-set programming – volume: vol. 1265 start-page: 363 year: 1997 ident: 10.1016/j.jalgor.2008.02.003_bib027 article-title: A deductive system for nonmonotonic reasoning – start-page: 258 year: 2004 ident: 10.1016/j.jalgor.2008.02.003_bib031 article-title: BackJumping techniques for rules instantiation in the DLV system – volume: 8 start-page: 1 issue: 1 year: 1986 ident: 10.1016/j.jalgor.2008.02.003_bib057 article-title: Parlog: Parallel programming in logic publication-title: ACM Trans. Program. Language Systems doi: 10.1145/5001.5390 – volume: 7 start-page: 1 issue: 1 year: 2006 ident: 10.1016/j.jalgor.2008.02.003_bib017 article-title: Unfolding partiality and disjunctions in stable model semantics publication-title: ACM Trans. Comput. Logic doi: 10.1145/1119439.1119440 – ident: 10.1016/j.jalgor.2008.02.003_bib044 – start-page: 375 year: 1999 ident: 10.1016/j.jalgor.2008.02.003_bib010 article-title: Stable models and an alternative logic programming paradigm – start-page: 329 year: 1988 ident: 10.1016/j.jalgor.2008.02.003_bib058 article-title: Distributed processing of logic programs – year: 2003 ident: 10.1016/j.jalgor.2008.02.003_bib011 – volume: 7 start-page: 362 issue: 3 year: 1995 ident: 10.1016/j.jalgor.2008.02.003_bib016 article-title: WFS + Branch and Bound = Stable Models publication-title: IEEE Trans. Knowledge and Data Engrg. doi: 10.1109/69.390244 – volume: 9 start-page: 401 year: 1991 ident: 10.1016/j.jalgor.2008.02.003_bib036 article-title: Stable semantics for disjunctive programs publication-title: New Generation Comput. doi: 10.1007/BF03037171 – volume: 23 start-page: 125 issue: 2 year: 1995 ident: 10.1016/j.jalgor.2008.02.003_bib065 article-title: A survey of deductive database systems publication-title: J. Logic Program. doi: 10.1016/0743-1066(94)00039-9 – start-page: 137 year: 1982 ident: 10.1016/j.jalgor.2008.02.003_bib028 article-title: Complexity of relational query languages – start-page: 23 year: 1999 ident: 10.1016/j.jalgor.2008.02.003_bib009 article-title: Answer set planning – volume: vol. 2173 start-page: 406 year: 2001 ident: 10.1016/j.jalgor.2008.02.003_bib025 article-title: NoMoRe: A system for non-monotonic reasoning – start-page: 135 year: 1999 ident: 10.1016/j.jalgor.2008.02.003_bib029 article-title: Using database optimization techniques for nonmonotonic reasoning – volume: vol. 4483 start-page: 3 year: 2007 ident: 10.1016/j.jalgor.2008.02.003_bib055 article-title: The first answer set programming system competition – start-page: 380 year: 2004 ident: 10.1016/j.jalgor.2008.02.003_bib004 article-title: Reasoning-based knowledge extraction for text classification – volume: vol. 1265 start-page: 420 year: 1997 ident: 10.1016/j.jalgor.2008.02.003_bib032 article-title: Smodels—An implementation of the stable model and well-founded semantics for normal logic programs – year: 2000 ident: 10.1016/j.jalgor.2008.02.003_bib021 article-title: Smodels: A system for answer set programming – volume: 9 start-page: 365 year: 1991 ident: 10.1016/j.jalgor.2008.02.003_bib006 article-title: Classical negation in logic programs and disjunctive databases publication-title: New Generation Comput. doi: 10.1007/BF03037169 – volume: 31 start-page: 608 issue: 6 year: 2005 ident: 10.1016/j.jalgor.2008.02.003_bib052 article-title: Issues in parallel execution of non-monotonic reasoning systems publication-title: Parallel Comput. doi: 10.1016/j.parco.2005.03.004 – year: 1998 ident: 10.1016/j.jalgor.2008.02.003_bib001 – volume: vol. 2923 start-page: 331 year: 2004 ident: 10.1016/j.jalgor.2008.02.003_bib018 article-title: Gnt—a solver for disjunctive logic programs – start-page: 400 year: 1992 ident: 10.1016/j.jalgor.2008.02.003_bib062 article-title: Embedding negation as failure into a model generation theorem prover – volume: 4 start-page: 245 issue: 4 year: 1993 ident: 10.1016/j.jalgor.2008.02.003_bib063 article-title: Expliciting parallelism in the semi-naive algorithm for the bottom-up evaluation of datalog programs publication-title: Database Technology – year: 1989 ident: 10.1016/j.jalgor.2008.02.003_bib037 – volume: 22 start-page: 364 issue: 3 year: 1997 ident: 10.1016/j.jalgor.2008.02.003_bib007 article-title: Disjunctive datalog publication-title: ACM Trans. Database Systems doi: 10.1145/261124.261126 – volume: 23 start-page: 472 issue: 4 year: 2001 ident: 10.1016/j.jalgor.2008.02.003_bib068 article-title: Parallel execution of Prolog programs: A survey publication-title: ACM Trans. Program. Language Syst. doi: 10.1145/504083.504085 – volume: vol. 3229 start-page: 200 year: 2004 ident: 10.1016/j.jalgor.2008.02.003_bib035 article-title: Recursive aggregates in disjunctive logic programs: Semantics and complexity – volume: 7 start-page: 163 issue: 1 year: 1995 ident: 10.1016/j.jalgor.2008.02.003_bib066 article-title: Data partition and parallel evaluation of datalog programs publication-title: IEEE Trans. Knowledge Data Engrg. doi: 10.1109/69.368511 – ident: 10.1016/j.jalgor.2008.02.003_bib034 – ident: 10.1016/j.jalgor.2008.02.003_bib045 – volume: vol. 2173 start-page: 280 year: 2001 ident: 10.1016/j.jalgor.2008.02.003_bib030 article-title: Improving ASP instantiators by join-ordering methods – volume: 21 start-page: 413 issue: 3 year: 1989 ident: 10.1016/j.jalgor.2008.02.003_bib059 article-title: The family of concurrent logic programming languages publication-title: ACM Comput. Surveys doi: 10.1145/72551.72555 – year: 2005 ident: 10.1016/j.jalgor.2008.02.003_bib002 – start-page: 386 year: 2007 ident: 10.1016/j.jalgor.2008.02.003_bib022 article-title: Conflict-driven answer set solving – volume: 12 start-page: 369 issue: 3&4 year: 1992 ident: 10.1016/j.jalgor.2008.02.003_bib061 article-title: Parallel evaluation of datalog programs by load sharing publication-title: J. Logic Program. doi: 10.1016/0743-1066(92)90008-Q – start-page: 227 year: 2005 ident: 10.1016/j.jalgor.2008.02.003_bib049 article-title: Platypus: A platform for distributed answer set solving – volume: 157 start-page: 115 issue: 1–2 year: 2004 ident: 10.1016/j.jalgor.2008.02.003_bib023 article-title: ASSAT: Computing answer sets of a logic program by SAT solvers publication-title: Artificial Intelligence doi: 10.1016/j.artint.2004.04.004 |
| SSID | ssj0011549 |
| Score | 1.7827865 |
| Snippet | In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 34 |
| SubjectTerms | Answer Set Programming Disjunctive Logic Programming Instantiation Parallelism |
| Title | Experimenting with parallelism for the instantiation of ASP programs |
| URI | https://dx.doi.org/10.1016/j.jalgor.2008.02.003 |
| Volume | 63 |
| WOSCitedRecordID | wos000258968700004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1090-2678 dateEnd: 20091031 omitProxy: false ssIdentifier: ssj0011549 issn: 0196-6774 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07b9swECZap0OXNn0haZqCQ1calCiT4mg0DtoOQVB78CaIFFnYUOTAdov8_PLEh22kb6CLIBCkHrwPp8_nu-8QeqedjxNWUNJwUZCiGZVEacuIzHPdZErSRum-2YS4uirnc3kdKq43fTsB0XXl3Z28_a-mdmPO2FA6-xfmThd1A-7cGd0dndnd8Y8MP0ma_SnOCvrebWtaaIgR0woXPS_cLhJlHE-vY7bW5ieUtW6_rNbugjeJiENp102oVr8c7vzs2g9N09DnhTPi3qwYaCh3ca9Y-3KQmgnCOoQL32NnaLz7pJKSnPumPNG_Bge2jyPvLEMU0392vZT0PYfuYwvL4bJ_w5D7ChqrbPcBS2mFU3gmeCSgwVBW-xAd5WIk6QAdjT9O5p_S_0sgTOcL6f07xKLKPvPv_r1-TFr2iMjsGD0J5sBjb_ln6IHpnqOnsTsHDs76Bbo4AAIGIOA9IGAHBOyAgA-AgFcWOyDgCISXaHY5mb3_QELPDKLdj78tsZrXTGWUKZpZx04FNZnWOuOWFzWvdWNqw60uGPBilY9yVVAmrJJNybW07BUadKvOnCA8cjOsgnrSWhVZaRRQ_yxrmAbJN9mcIhb3pNJBTx7amrRVTBxcVn4nQ6vTHHRoTxFJq269nspv5ou43VXghJ7rVQ4hv1z5-p9XnqHHPisIAm1v0GC7_mrO0SP9bbvYrN8GKH0HGBCInA |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Experimenting+with+parallelism+for+the+instantiation+of+ASP+programs&rft.jtitle=Journal+of+algorithms&rft.au=Calimeri%2C+F.&rft.au=Perri%2C+S.&rft.au=Ricca%2C+F.&rft.date=2008&rft.pub=Elsevier+Inc&rft.issn=0196-6774&rft.eissn=1090-2678&rft.volume=63&rft.issue=1&rft.spage=34&rft.epage=54&rft_id=info:doi/10.1016%2Fj.jalgor.2008.02.003&rft.externalDocID=S0196677408000059 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0196-6774&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0196-6774&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0196-6774&client=summon |