Justifications for Goal-Directed Constraint Answer Set Programming
Uložené v:
| Vydané v: | Electronic proceedings in theoretical computer science Ročník 325; s. 59 - 72 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
19.09.2020
|
| ISSN: | 2075-2180, 2075-2180 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Author | Carro, Manuel Gupta, Gopal Arias, Joaquín Chen, Zhuo |
|---|---|
| Author_xml | – sequence: 1 givenname: Joaquín surname: Arias fullname: Arias, Joaquín – sequence: 2 givenname: Manuel surname: Carro fullname: Carro, Manuel – sequence: 3 givenname: Zhuo surname: Chen fullname: Chen, Zhuo – sequence: 4 givenname: Gopal surname: Gupta fullname: Gupta, Gopal |
| BookMark | eNptkF9LwzAUxYNMcM69-QHyAWzNn7ZpHmfdpjJwsPlc0vwZkTaRJCJ-e7vpg4j35Vwu9xwOv0swcd5pAK4xyguCitvldt_sckrKHJMzMCWIlRnBNZr82i_APMZXNA7lpODVFNw9vcdkjZUiWe8iND7AtRd9dm-Dlkkr2IznFIR1CS5c_NAB7nSC2-APQQyDdYcrcG5EH_X8R2fgZbXcNw_Z5nn92Cw2mcRVmTKiS65UzYQoZVdTURhuSsRwZTpS4KpSRacQx0wgLgmiHZJMMk6lYEbqTtV0Bsh3rgw-xqBNK2061T7W61uM2iOI9gSiHUG0mIymmz-mt2AHET7_f_8CT11hyQ |
| CitedBy_id | crossref_primary_10_1017_S1471068422000205 crossref_primary_10_1145_3568955 crossref_primary_10_1017_S1471068424000048 crossref_primary_10_1007_s10506_023_09376_5 crossref_primary_10_1093_logcom_exae036 |
| Cites_doi | 10.4204/EPTCS.325.19 10.1017/S1471068411000457 10.1007/978-1-4684-3384-5_11 10.1007/978-3-030-45260-5_5 10.1017/S1471068418000285 10.1016/j.eswa.2012.12.036 10.1017/S1471068414000702 10.1007/3-540-51665-4_78 10.1017/S1471068411000500 10.1017/S1471068416000429 10.1145/116825.116838 10.1017/S1471068418000534 10.1017/S1471068408003633 10.1609/aaai.v33i01.33013052 10.1017/S1471068414000234 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.4204/EPTCS.325.12 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 2075-2180 |
| EndPage | 72 |
| ExternalDocumentID | 10_4204_EPTCS_325_12 |
| GroupedDBID | 5VS AAYXX ADBBV ALMA_UNASSIGNED_HOLDINGS BCNDV CITATION E3Z GROUPED_DOAJ KQ8 M~E OK1 |
| ID | FETCH-LOGICAL-c165t-2e59dd87aa5cb83a4f9f50716fb24166d4bd0917a09c203b0c7c793ca7fcebd83 |
| ISICitedReferencesCount | 22 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001045256500017&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2075-2180 |
| IngestDate | Sat Nov 29 02:05:30 EST 2025 Tue Nov 18 21:49:56 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c165t-2e59dd87aa5cb83a4f9f50716fb24166d4bd0917a09c203b0c7c793ca7fcebd83 |
| PageCount | 14 |
| ParticipantIDs | crossref_citationtrail_10_4204_EPTCS_325_12 crossref_primary_10_4204_EPTCS_325_12 |
| PublicationCentury | 2000 |
| PublicationDate | 2020-9-19 |
| PublicationDateYYYYMMDD | 2020-09-19 |
| PublicationDate_xml | – month: 09 year: 2020 text: 2020-9-19 day: 19 |
| PublicationDecade | 2020 |
| PublicationTitle | Electronic proceedings in theoretical computer science |
| PublicationYear | 2020 |
| References | Cabalar (DBLP:journals/tplp/CabalarFF14) 2014; 14 Chen (chen2016physician) 2016; 16 Fandinno (DBLP:journals/tplp/FandinnoS19) 2019; 19 Varanasi (DBLP:conf/lopstr/VaranasiSMG19) 2019; 12042 Marple (marple2017computing) 2017; 1709.00501 Arias (scasp-iclp2018) 2018; 18 Swift (xsb-journal-2012) 2012; 12 Gebser (clingo) 2014; 1405.3694 Clark (Clark78) 1978 Cabalar (cabalar20:xclingo) 2020 Pereira (pereira89:relevant-counterfactuals) 1989 Gelder (VanGelder91) 1991; 38 Hermenegildo (hermenegildo11:ciao-design-tplp-medium) 2012; 12 García (DBLP:journals/eswa/GarciaCRS13) 2013; 40 Pontelli (DBLP:journals/tplp/PontelliSE09) 2009; 9 Shakerin (DBLP:conf/aaai/ShakerinG19-short) 2019 Schulz (DBLP:journals/tplp/0001T16) 2016; 16 Gelfond (gelfond88:stable_models) 1988 |
| References_xml | – volume-title: Declarative Problem Solving (ECAI 2020 Workshop) year: 2020 ident: cabalar20:xclingo article-title: A System for Explainable Answer Set Programming doi: 10.4204/EPTCS.325.19 – volume: 12 start-page: 219 year: 2012 ident: hermenegildo11:ciao-design-tplp-medium article-title: An Overview of Ciao and its Design Philosophy publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068411000457 – start-page: 293 volume-title: Logic and Data Bases year: 1978 ident: Clark78 article-title: Negation as Failure doi: 10.1007/978-1-4684-3384-5_11 – volume: 12042 start-page: 75 volume-title: LOPSTR year: 2019 ident: DBLP:conf/lopstr/VaranasiSMG19 article-title: Synthesizing Imperative Code from Answer Set Programming Specifications doi: 10.1007/978-3-030-45260-5_5 – volume: 18 start-page: 337 year: 2018 ident: scasp-iclp2018 article-title: Constraint Answer Set Programming without Grounding publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068418000285 – volume: 40 start-page: 3233 issue: 8 year: 2013 ident: DBLP:journals/eswa/GarciaCRS13 article-title: Formalizing Dialectical Explanation Support for Argument-Based Reasoning in Knowledge-Based Systems publication-title: Expert Systems and Applications doi: 10.1016/j.eswa.2012.12.036 – volume: 16 start-page: 59 issue: 1 year: 2016 ident: DBLP:journals/tplp/0001T16 article-title: Justifying Answer Sets Using Argumentation publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068414000702 – start-page: 107 volume-title: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings year: 1989 ident: pereira89:relevant-counterfactuals article-title: Relevant Counterfactuals doi: 10.1007/3-540-51665-4_78 – volume: 12 start-page: 157 year: 2012 ident: xsb-journal-2012 article-title: XSB: Extending Prolog with Tabled Logic Programming publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068411000500 – volume: 16 start-page: 604 year: 2016 ident: chen2016physician article-title: A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068416000429 – start-page: 1070 volume-title: 5th International Conference on Logic Programming year: 1988 ident: gelfond88:stable_models article-title: The Stable Model Semantics for Logic Programming – volume: 38 start-page: 620 year: 1991 ident: VanGelder91 article-title: The Well-Founded Semantics for General Logic Programs publication-title: Journal of the ACM doi: 10.1145/116825.116838 – volume: 19 start-page: 114 issue: 2 year: 2019 ident: DBLP:journals/tplp/FandinnoS19 article-title: Answering the "Why" in Answer Set Programming - A Survey of Explanation Approaches publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068418000534 – volume: 1405.3694 year: 2014 ident: clingo article-title: Clingo = ASP + Control: Preliminary Report publication-title: arXiv – volume: 1709.00501 year: 2017 ident: marple2017computing article-title: Computing Stable Models of Normal Logic Programs Without Grounding publication-title: arXiv – volume: 9 start-page: 1 issue: 1 year: 2009 ident: DBLP:journals/tplp/PontelliSE09 article-title: Justifications for Logic Programs under Answer Set Semantics publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068408003633 – start-page: 3052 volume-title: AAAI 2019 year: 2019 ident: DBLP:conf/aaai/ShakerinG19-short article-title: Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME doi: 10.1609/aaai.v33i01.33013052 – volume: 14 start-page: 603 year: 2014 ident: DBLP:journals/tplp/CabalarFF14 article-title: Causal Graph Justifications of Logic Programs publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068414000234 |
| SSID | ssj0000392496 |
| Score | 2.2730248 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 59 |
| Title | Justifications for Goal-Directed Constraint Answer Set Programming Justifications for goal–irected constraint answer set programming |
| Volume | 325 |
| WOSCitedRecordID | wos001045256500017&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: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 2075-2180 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0000392496 issn: 2075-2180 databaseCode: DOA dateStart: 20090101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2075-2180 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000392496 issn: 2075-2180 databaseCode: M~E dateStart: 20090101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwELZWLQculKcohcoHOK1csnFsx8ey9HGAqlIXVHGJHMcWlZbs0k2qnvgL_OWOY-ex1R7KgUu0suxslPk0r8zMh9B7WhhjqZiQHKwFSWSqieKWEaOEjBUraNGMFPr-RZydpZeX8nw0-tv2wtzMRVmmt7dy-V9FDWsgbNc6-w_i7m4KC_AbhA5XEDtcHyT4hp_LdlXirozwZKHmxCs3l9B1LqFjhqjGh-XKFclfmMp1DLhCrV-tKWuz9T1NTm_rVqE6smuB1IEbYhwMag-jq9AwtlC_6-aj_OcOjVM3_9H3C5W16So9pqFf5MfPetFVB9VL7-WeQIw_H2YqICx1TAuyV2gxuCcEXAr_HcZsWAsamcZsoFPDxHBvnT3Pz329n8RRAnI5Op9NLw7g9EEozV4br33P7HXFiBAGufNZczqD05ljrd6OBZNOTX790yftIurC1YawsH1u30zhbvBx-PcDN2fgr8yeoich0MCHHiDP0MiUz9FOS-KBg05_gT6t4wUDXvAaXnCPF-zxggEveICXl-jb8dFsekoCsQbRE84qEhsmiyIVSjGdp1QlVloXF3Cbg0PHeZHkBfiRQkVSxxHNIy006HGthNUmL1L6Cm2Vi9K8RthaTiOtEsFymWjBcymMmDBecKpSYaJdNG7fQ6bD1Hn3yPNs02vfRR-63Us_bWXjvjcP3LeHHvdAfIu2quvavEOP9E11tbreb_Iv-42E7wAa5Hd3 |
| linkProvider | ISSN International Centre |
| 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=Justifications+for+Goal-Directed+Constraint+Answer+Set+Programming&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Arias%2C+Joaqu%C3%ADn&rft.au=Carro%2C+Manuel&rft.au=Chen%2C+Zhuo&rft.au=Gupta%2C+Gopal&rft.date=2020-09-19&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=325&rft.spage=59&rft.epage=72&rft_id=info:doi/10.4204%2FEPTCS.325.12&rft.externalDBID=n%2Fa&rft.externalDocID=10_4204_EPTCS_325_12 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon |