Constraint Answer Set Programming without Grounding
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. Several meth...
Gespeichert in:
| Veröffentlicht in: | Theory and practice of logic programming Jg. 18; H. 3-4; S. 337 - 354 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, UK
Cambridge University Press
01.07.2018
|
| Schlagworte: | |
| ISSN: | 1471-0684, 1475-3081 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. Several methods to overcome this issue have been devised: restricting the constraint domains (e.g., discrete instead of dense), or the type (or number) of models that can be returned. In this paper we propose to incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets. The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets. s(CASP) inherits and generalizes the execution model of s(ASP) and is parametric w.r.t. the constraint solver. We describe this novel execution model and show through several examples the enhanced expressiveness of s(CASP) w.r.t. ASP, CLP, and other CASP systems. We also report improved performance w.r.t. other very mature, highly optimized ASP systems in some benchmarks. |
|---|---|
| AbstractList | Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. Several methods to overcome this issue have been devised: restricting the constraint domains (e.g., discrete instead of dense), or the type (or number) of models that can be returned. In this paper we propose to incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets. The resulting model, s(CASP), can constrain variables that, as in CLP, are kept during the execution and in the answer sets. s(CASP) inherits and generalizes the execution model of s(ASP) and is parametric w.r.t. the constraint solver. We describe this novel execution model and show through several examples the enhanced expressiveness of s(CASP) w.r.t. ASP, CLP, and other CASP systems. We also report improved performance w.r.t. other very mature, highly optimized ASP systems in some benchmarks. |
| Author | CARRO, MANUEL GUPTA, GOPAL SALAZAR, ELMER MARPLE, KYLE ARIAS, JOAQUIN |
| Author_xml | – sequence: 1 givenname: JOAQUIN surname: ARIAS fullname: ARIAS, JOAQUIN email: joaquin.arias@imdea.org organization: IMDEA Software Institute and Universidad Politécnica de Madrid (e-mail: joaquin.arias@imdea.org, joaquin.arias@alumnos.upm.es, manuel.carro@imdea.org, manuel.carro@upm.es) – sequence: 2 givenname: MANUEL surname: CARRO fullname: CARRO, MANUEL email: joaquin.arias@imdea.org organization: IMDEA Software Institute and Universidad Politécnica de Madrid (e-mail: joaquin.arias@imdea.org, joaquin.arias@alumnos.upm.es, manuel.carro@imdea.org, manuel.carro@upm.es) – sequence: 3 givenname: ELMER surname: SALAZAR fullname: SALAZAR, ELMER email: ees101020@utdallas.edu organization: University of Texas at Dallas (e-mail: ees101020@utdallas.edu, kmarple1@utdallas.edu, gupta@utdallas.edu) – sequence: 4 givenname: KYLE surname: MARPLE fullname: MARPLE, KYLE email: ees101020@utdallas.edu organization: University of Texas at Dallas (e-mail: ees101020@utdallas.edu, kmarple1@utdallas.edu, gupta@utdallas.edu) – sequence: 5 givenname: GOPAL surname: GUPTA fullname: GUPTA, GOPAL email: ees101020@utdallas.edu organization: University of Texas at Dallas (e-mail: ees101020@utdallas.edu, kmarple1@utdallas.edu, gupta@utdallas.edu) |
| BookMark | eNp9kE1Lw0AQhhdRsK3-AG8Bz9GZbPYjx1K0CgWF6jlsspua0uzW3Q3Ff29qC4KipxnemeedjzE5tc4aQq4QbhBQ3C4xFwhc5igBIJPshIwGiaUUJJ5-5Zju6-dkHMIaADnN8hGhM2dD9Kq1MZnasDM-WZqYPHu38qrrWrtKdm18c31M5t71Vg_KBTlr1CaYy2OckNf7u5fZQ7p4mj_Opou0phxiykGDMIWApgKWaaG0kayWlcq4kmi4yZkSjVZUA0JmCpDAZIVFjUYVqBmdkOuD79a7996EWK5d7-0wssxA8mxwFXzoEoeu2rsQvGnKuo0qts7uz9qUCOX-Q-WvDw0k_iC3vu2U__iXoUdGdZVv9cp8L_U39QkRDXe3 |
| CitedBy_id | crossref_primary_10_1017_S1471068422000138 crossref_primary_10_1017_S1471068421000594 crossref_primary_10_1017_S1471068422000205 crossref_primary_10_4204_EPTCS_416_1 crossref_primary_10_1017_S1471068422000102 crossref_primary_10_1017_S1471068425100318 crossref_primary_10_1017_S1471068425100069 crossref_primary_10_1016_j_artint_2021_103563 crossref_primary_10_1017_S1471068423000303 crossref_primary_10_3389_fcomp_2024_1321238 crossref_primary_10_4204_EPTCS_416_39 crossref_primary_10_1007_s10506_023_09376_5 crossref_primary_10_1017_S1471068424000115 crossref_primary_10_1080_13875868_2024_2324875 crossref_primary_10_4204_EPTCS_416_30 crossref_primary_10_1177_00375497231157384 crossref_primary_10_4204_EPTCS_416_40 crossref_primary_10_1007_s10462_024_10928_7 crossref_primary_10_3390_a16040185 crossref_primary_10_1017_S1471068421000156 |
| Cites_doi | 10.1017/S147106840900372X 10.1016/j.artint.2012.04.008 10.3233/FI-2009-180 10.1017/S1471068417000138 10.1007/s10472-007-9076-z 10.1016/0304-3975(93)90222-F 10.1007/BF03037169 10.1007/11562931_8 10.1016/0743-1066(94)90033-7 10.1017/S1471068403001960 10.1145/2967973.2968596 10.1017/S1471068410000232 10.1145/2043174.2043195 10.1017/S1471068411000457 10.1017/S1471068417000102 |
| ContentType | Journal Article |
| Copyright | Copyright © Cambridge University Press 2018 |
| Copyright_xml | – notice: Copyright © Cambridge University Press 2018 |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1017/S1471068418000285 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni Edition) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials - QC ProQuest Central Technology Collection ProQuest One Community College ProQuest Central Korea ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | Computer Science Database CrossRef |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| DocumentTitleAlternate | J. Arias, M. Carro, E. Salazar, K. Marple and G. Gupta Constraint ASP without grounding |
| EISSN | 1475-3081 |
| EndPage | 354 |
| ExternalDocumentID | 10_1017_S1471068418000285 |
| GroupedDBID | -E. .FH 09C 09E 0E1 0R~ 123 29Q 3V. 4.4 5VS 74X 74Y 7~V 8FE 8FG 8R4 8R5 AAAZR AABES AABWE AACJH AAFUK AAGFV AAKTX AANRG AARAB AASVR AAUKB AAYOK ABBXD ABITZ ABJNI ABKKG ABMWE ABQTM ABQWD ABROB ABTCQ ABUWG ABVKB ABVZP ABZCX ACAJB ACBMC ACDLN ACGFS ACIMK ACNCT ACUIJ ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADKIL ADOVH ADVJH AEBAK AEHGV AEMTW AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFLOS AFLVW AFUTZ AFZFC AGABE AGBYD AGJUD AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV AZQEC BBLKV BENPR BGHMG BGLVJ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CFAFE CHEAL CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EJD GNUQQ HCIFZ HG- HST HZ~ I.6 IH6 IOEEP IS6 I~P J36 J38 J3A J9A JHPGK JQKCU K6V K7- KCGVB KFECR L98 LW7 M-V M0N NIKVX O9- OK1 OYBOY P2P P62 PQQKQ PROAC PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M UT1 WFFJZ WQ3 WXU WYP ZYDXJ AAYXX ABGDZ ABXHF AFFHD AKMAY CITATION IPYYG PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c360t-60d07e970fb052d7ade85c8ba26a81e6e45a7fda3d0102e908058b19c1ea91d53 |
| IEDL.DBID | K7- |
| ISICitedReferencesCount | 62 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000441294400004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1471-0684 |
| IngestDate | Sun Jul 13 04:43:47 EDT 2025 Sat Nov 29 04:58:36 EST 2025 Tue Nov 18 21:42:10 EST 2025 Tue Jan 21 06:19:07 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3-4 |
| Language | English |
| License | https://www.cambridge.org/core/terms |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c360t-60d07e970fb052d7ade85c8ba26a81e6e45a7fda3d0102e908058b19c1ea91d53 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | https://www.cambridge.org/core/services/aop-cambridge-core/content/view/55A678C618EF54487777F021D89B3FE7/S1471068418000285a.pdf/div-class-title-constraint-answer-set-programming-without-grounding-div.pdf |
| PQID | 2086205276 |
| PQPubID | 43613 |
| PageCount | 18 |
| ParticipantIDs | proquest_journals_2086205276 crossref_citationtrail_10_1017_S1471068418000285 crossref_primary_10_1017_S1471068418000285 cambridge_journals_10_1017_S1471068418000285 |
| PublicationCentury | 2000 |
| PublicationDate | 20180700 2018-07-00 20180701 |
| PublicationDateYYYYMMDD | 2018-07-01 |
| PublicationDate_xml | – month: 07 year: 2018 text: 20180700 |
| PublicationDecade | 2010 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationTitle | Theory and practice of logic programming |
| PublicationTitleAlternate | Theory and Practice of Logic Programming |
| PublicationYear | 2018 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| References | Janhunen (S1471068418000285_ref23) 2017; 17 S1471068418000285_ref16 S1471068418000285_ref15 S1471068418000285_ref18 S1471068418000285_ref17 S1471068418000285_ref19 S1471068418000285_ref10 S1471068418000285_ref14 S1471068418000285_ref13 S1471068418000285_ref27 S1471068418000285_ref26 S1471068418000285_ref4 S1471068418000285_ref5 S1471068418000285_ref6 S1471068418000285_ref21 S1471068418000285_ref20 S1471068418000285_ref7 S1471068418000285_ref8 S1471068418000285_ref9 S1471068418000285_ref22 S1471068418000285_ref25 S1471068418000285_ref24 Clark (S1471068418000285_ref11) 1978 Dal Palù (S1471068418000285_ref12) 2009; 96 S1471068418000285_ref1 S1471068418000285_ref2 S1471068418000285_ref3 |
| References_xml | – ident: S1471068418000285_ref8 doi: 10.1017/S147106840900372X – ident: S1471068418000285_ref2 doi: 10.1016/j.artint.2012.04.008 – volume: 17 start-page: 872 year: 2017 ident: S1471068418000285_ref23 article-title: Clingo goes Linear Constraints over Reals and Integers publication-title: TPLP – volume: 96 start-page: 297 year: 2009 ident: S1471068418000285_ref12 article-title: GASP: Answer Set Programming with Lazy Grounding publication-title: Fundamenta Informaticae doi: 10.3233/FI-2009-180 – ident: S1471068418000285_ref6 doi: 10.1017/S1471068417000138 – ident: S1471068418000285_ref3 – ident: S1471068418000285_ref10 doi: 10.1007/s10472-007-9076-z – ident: S1471068418000285_ref27 doi: 10.1016/0304-3975(93)90222-F – ident: S1471068418000285_ref15 – ident: S1471068418000285_ref17 doi: 10.1007/BF03037169 – ident: S1471068418000285_ref21 – ident: S1471068418000285_ref13 doi: 10.1007/11562931_8 – ident: S1471068418000285_ref22 doi: 10.1016/0743-1066(94)90033-7 – ident: S1471068418000285_ref25 – ident: S1471068418000285_ref1 doi: 10.1017/S1471068403001960 – ident: S1471068418000285_ref4 doi: 10.1145/2967973.2968596 – ident: S1471068418000285_ref7 doi: 10.1017/S1471068410000232 – ident: S1471068418000285_ref9 doi: 10.1145/2043174.2043195 – ident: S1471068418000285_ref14 – volume-title: Logic and Data Bases year: 1978 ident: S1471068418000285_ref11 – ident: S1471068418000285_ref16 – ident: S1471068418000285_ref19 doi: 10.1017/S1471068411000457 – ident: S1471068418000285_ref20 – ident: S1471068418000285_ref18 – ident: S1471068418000285_ref26 – ident: S1471068418000285_ref24 – ident: S1471068418000285_ref5 doi: 10.1017/S1471068417000102 |
| SSID | ssj0016324 |
| Score | 2.501562 |
| Snippet | Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in... |
| SourceID | proquest crossref cambridge |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 337 |
| SubjectTerms | Combinatorial analysis Mathematical models Mathematical programming Original Article |
| Title | Constraint Answer Set Programming without Grounding |
| URI | https://www.cambridge.org/core/product/identifier/S1471068418000285/type/journal_article https://www.proquest.com/docview/2086205276 |
| Volume | 18 |
| WOSCitedRecordID | wos000441294400004&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: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1475-3081 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1475-3081 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1475-3081 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwFA-6efDi_MTpHD14EgNN0zTJSaZMBGUUURleRppkIGg3107_fZM03RzCLl56yAe85iXvvbz38n4AnEdZlhk2cyiNtQFjMcaQkQRDQohQQhoV6XDIXh7oYMCGQ556h1vh0yprmegEtZpI6yM3l3Rje4ckosnV9BNa1CgbXfUQGpugiaII2X1-T-EiimBLkbvXRdRm97C4jmraktG20bYh5jxM5HdthVUdtSqind65bf2X4l2w4y3OoFdtkT2wofN90KrRHAJ_uA8AttidDjGiDHp58W37dBmkVQLXh1FxgXXaTuZlYB1W7jXMIXi-7T_d3EEPqQAlTsISJqEKqeY0HGeGMkWF0oxIlokoEQzpRMdE0LESWNlac5obe5KwDHGJtOBIEXwEGvkk18cgMIaKzIQWsbk0xpGkXHGJsURUGyEas7ANLhcLOvIHoxhVSWV09Gf92yCs13wkfXly-8_v66ZcLKZMq9oc6wZ3ai4tqVmy6GR99ynYNpYSq_J0O6BRzub6DGzJr_KtmHVB87o_SB-7bveZb0pefwBk-trX |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LSwMxEB6kCnqxPrFadQ96ERf2lU1yEBG1KK2lhyriZc0mKQjaqru1-Kf8jWb20SpCbz14TTZLduc9mcwHcODFcWzIzG1pvA07ED3fZiT0bUKIUEIaE5nhkN21aLvN7u95Zw6-yrswWFZZ6sRMUauBxBy5CdKN7-0Qj4anr282okbh6WoJoZGzRVN_jkzIlpxcXxj6Hnpe47J7fmUXqAK29EMntUNHOVRz6vRi8zpFhdKMSBYLLxTM1aEOiKA9JXyF7dY0Ny4VYbHLpasFdxWiRBiVPx8EJlgy8tMhD-NTC2x9nt1molhNxILyFBVbVOMgjrksy2iRn70cftvE3yYhs3ON6n_7QyuwXHjU1lkuAqswp_trUC3RKqxCea2Dj9ikGSJGap31kxHO6dTq5AVqL8aEW5iUHgxTCxNy2W2fDbidydY3odIf9PUWWMYRk7HQAukceJJyxaXvS5dqYyQC5tTgeEzAqBD8JMqL5mj0h941cEoaR7Jov47f_DxtydF4yWvee2Taw_WSKya7mbDE9vTpfVi86t60otZ1u7kDS8YrZHlNch0q6ftQ78KC_Eifkve9jOMteJw1A30DoqY1qg |
| 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=Constraint+Answer+Set+Programming+without+Grounding&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=ARIAS%2C+JOAQUIN&rft.au=CARRO%2C+MANUEL&rft.au=SALAZAR%2C+ELMER&rft.au=MARPLE%2C+KYLE&rft.date=2018-07-01&rft.pub=Cambridge+University+Press&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=18&rft.issue=3-4&rft.spage=337&rft.epage=354&rft_id=info:doi/10.1017%2FS1471068418000285&rft.externalDocID=10_1017_S1471068418000285 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon |