On the equivalence between logic programming semantics and argumentation semantics
In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a b...
Uložené v:
| Vydané v: | International journal of approximate reasoning Ročník 58; s. 87 - 111 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Elsevier Inc
01.03.2015
|
| Predmet: | |
| ISSN: | 0888-613X, 1873-4731 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to show equivalence between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics.
•We re-examine the equivalence between logic programming (LP) and argumentation.•One particular translation yields a whole range of semantic equivalences.•Notorious exception: L-stable (LP) and semi-stable (argumentation) do not coincide.•Several argumentation semantics operate by minimizing/maximizing argument labels.•Several LP semantics operate by minimizing/maximizing conclusion labels. |
|---|---|
| AbstractList | In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to show equivalence between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics. In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to show equivalence between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics. •We re-examine the equivalence between logic programming (LP) and argumentation.•One particular translation yields a whole range of semantic equivalences.•Notorious exception: L-stable (LP) and semi-stable (argumentation) do not coincide.•Several argumentation semantics operate by minimizing/maximizing argument labels.•Several LP semantics operate by minimizing/maximizing conclusion labels. |
| Author | Alcântara, João Caminada, Martin Dvořák, Wolfgang Sá, Samy |
| Author_xml | – sequence: 1 givenname: Martin orcidid: 0000-0002-7498-0238 surname: Caminada fullname: Caminada, Martin email: martin.caminada@abdn.ac.uk organization: University of Aberdeen, United Kingdom – sequence: 2 givenname: Samy orcidid: 0000-0001-6593-5788 surname: Sá fullname: Sá, Samy email: samy@ufc.br organization: Universidade Federal do Ceará, Brazil – sequence: 3 givenname: João surname: Alcântara fullname: Alcântara, João email: jnando@lia.ufc.br organization: Universidade Federal do Ceará, Brazil – sequence: 4 givenname: Wolfgang orcidid: 0000-0002-2269-8193 surname: Dvořák fullname: Dvořák, Wolfgang email: wolfgang.dvorak@univie.ac.at organization: University of Vienna, Faculty of Computer Science, Austria |
| BookMark | eNp9kE1Lw0AQhhepYFv9A55y9JK4m2ySDXiR4hcUCqLgbZnuTuqWZNPubir-e1MiCB56mTnM-wwzz4xMbGeRkGtGE0ZZcbtNzBZcklLGE5YmlPIzMmWizGJeZmxCplQIERcs-7ggM--3lNKi5GJKXlc2Cp8Y4b43B2jQKozWGL4QbdR0G6Oines2DtrW2E3ksQUbjPIRWB2B2_Qt2gDBdPZvdknOa2g8Xv32OXl_fHhbPMfL1dPL4n4ZK15UIVZQpVAVZUlrroQALoZKxboGnoPKFYLQBa10yRChqiol0oLrXOVaiHqtdTYnN-Pe4cJ9jz7I1niFTQMWu95LVlRplnLO-BBNx6hynfcOa7lzpgX3LRmVR4FyK48C5VGgZKkcBA6Q-AcpM_4aHJjmNHo3ojj8fzDopFfm6FYbhypI3ZlT-A9Br5BU |
| CitedBy_id | crossref_primary_10_1017_S1471068417000266 crossref_primary_10_1016_j_artint_2023_103873 crossref_primary_10_1016_j_artint_2018_07_001 crossref_primary_10_1016_j_artint_2021_103553 crossref_primary_10_1017_S147106842300008X crossref_primary_10_1016_j_ijar_2023_109036 crossref_primary_10_1016_j_entcs_2019_07_002 crossref_primary_10_3233_AAC_200528 crossref_primary_10_1016_j_entcs_2016_11_006 crossref_primary_10_1016_j_artint_2024_104205 crossref_primary_10_1016_j_iswa_2022_200109 crossref_primary_10_1016_j_ijar_2017_02_005 crossref_primary_10_1016_j_ijar_2017_02_009 crossref_primary_10_1016_j_ipl_2024_106514 crossref_primary_10_1017_S1471068419000139 crossref_primary_10_1016_j_artint_2019_103193 crossref_primary_10_1017_S1471068422000114 crossref_primary_10_3233_AAC_210028 crossref_primary_10_3233_AAC_230011 crossref_primary_10_1016_j_artint_2023_104011 crossref_primary_10_1016_j_artint_2020_103290 crossref_primary_10_1017_S1471068424000188 crossref_primary_10_1016_j_artint_2024_104159 crossref_primary_10_1017_S0269888921000011 crossref_primary_10_3233_AAC_190476 crossref_primary_10_1080_11663081_2018_1487241 crossref_primary_10_1016_j_artint_2019_08_001 crossref_primary_10_1016_j_ins_2022_12_116 |
| Cites_doi | 10.1017/S0269888911000166 10.1007/s11225-009-9218-x 10.1017/S1471068403001674 10.1016/0004-3702(80)90014-4 10.1080/19462160903564592 10.1080/19462166.2013.869766 10.1093/logcom/9.2.215 10.1016/S0004-3702(97)00015-5 10.1016/j.artint.2007.02.003 10.1016/S0004-3702(96)00041-0 10.1016/0743-1066(94)00023-Y 10.1007/BF03037171 10.1007/s10458-009-9116-7 10.1016/0004-3702(92)90069-A 10.1023/A:1018947420290 10.1007/s11225-009-9210-5 10.1016/0004-3702(94)00041-X 10.1016/j.artint.2010.12.003 10.1016/j.artint.2012.10.008 10.1016/j.artint.2013.11.001 10.1609/aaai.v29i1.9417 10.3233/FI-1990-13404 10.1080/11663081.1997.10510900 |
| ContentType | Journal Article |
| Copyright | 2014 Elsevier Inc. |
| Copyright_xml | – notice: 2014 Elsevier Inc. |
| DBID | 6I. AAFTH AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.ijar.2014.12.004 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-4731 |
| EndPage | 111 |
| ExternalDocumentID | 10_1016_j_ijar_2014_12_004 S0888613X14001790 |
| GroupedDBID | --K --M .~1 0R~ 1B1 1RT 1~. 1~5 29J 4.4 457 4G. 5GY 5VS 6I. 7-5 71M 8P~ 9JN 9JO AAAKF AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO AAYFN ABAOU ABBOA ABFNM ABJNI ABMAC ABUCO ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNCT ACNNM ACRLP ACZNC ADBBV ADEZE ADMUD ADTZH AEBSH AECPX AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ARUGR ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN GBLVA GBOLZ HAMUX HVGLF HZ~ IHE IXB J1W JJJVA KOM LG9 LY1 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SDF SDG SES SEW SPC SPCBC SSB SSD SST SSV SSW SSZ T5K UHS WUQ XPP ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c469t-ca92a96770f4c88a48c8808bfa45ac5cea8d609d71eea999c8264d5c5d88fbdd3 |
| ISICitedReferencesCount | 76 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000350516100007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0888-613X |
| IngestDate | Wed Oct 01 13:12:46 EDT 2025 Tue Nov 18 22:00:56 EST 2025 Sat Nov 29 04:42:30 EST 2025 Fri Feb 23 02:17:40 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Abstract argumentation semantics Logic programming semantics |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c469t-ca92a96770f4c88a48c8808bfa45ac5cea8d609d71eea999c8264d5c5d88fbdd3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| ORCID | 0000-0002-2269-8193 0000-0002-7498-0238 0000-0001-6593-5788 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.ijar.2014.12.004 |
| PQID | 1692324414 |
| PQPubID | 23500 |
| PageCount | 25 |
| ParticipantIDs | proquest_miscellaneous_1692324414 crossref_primary_10_1016_j_ijar_2014_12_004 crossref_citationtrail_10_1016_j_ijar_2014_12_004 elsevier_sciencedirect_doi_10_1016_j_ijar_2014_12_004 |
| PublicationCentury | 2000 |
| PublicationDate | 2015-03-01 |
| PublicationDateYYYYMMDD | 2015-03-01 |
| PublicationDate_xml | – month: 03 year: 2015 text: 2015-03-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | International journal of approximate reasoning |
| PublicationYear | 2015 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Caminada, Podlaszewski (br0270) 2012 Caminada, Podlaszewski (br0280) 2012 Caminada, Amgoud (br0080) 2007; 171 Modgil, Prakken (br0160) 2014; 5 Caminada, Pigozzi (br0410) 2011; 22 Vreeswijk (br0170) 1997; 90 Caminada, Amgoud (br0070) 2005 C. Schulz, F. Toni, Logic programming in assumption-based argumentation revisited — semantics and graphical representation, in: Proceedings of AAAI 2015, 2015, in print. García, Simari (br0310) 2004; 4 Caminada, Verheij (br0190) 2010 Nofal, Atkinson, Dunne (br0300) 2014; 207 Reiter (br0360) 1980; 13 Modgil, Prakken (br0380) 2013; 195 Przymusinski (br0110) 1990; 13 Caminada, Dvořák, Vesic (br0290) 2014 Caminada (br0050) 2006; vol. 4160 Dung, Kowalski, Toni (br0090) 2009 Wu, Podlaszewski (br0220) 2014 Pollock (br0390) 1995 Przymusinski (br0120) 1991; 9 Jakobovits, Vermeir (br0400) 1999; 9 You, Yuan (br0140) 1995; 22 Wu, Caminada, Gabbay (br0040) 2009; 93 Caminada, Sá, Alcântara, Dvořák (br0340) 2013 Dung (br0030) 1995; 77 Osorio, Nieves, Santoyo (br0240) 2013 Baroni, Caminada, Giacomin (br0230) 2011; 26 Caminada, Gabbay (br0060) 2009; 93 Caminada, Sá, Alcântara, Dvořák (br0330) 2013 Gorogiannis, Hunter (br0180) 2011; 175 Eiter, Leone, Saccá (br0150) 1997; 19 Clark (br0250) 1978 Prakken, Sartor (br0010) 1997; 7 Simari, Loui (br0020) 1992; 53 Weydert (br0200) 2011 Lloyd (br0100) 1987 Wu, Caminada (br0210) 2010; 3 Modgil, Caminada (br0260) 2009 Saccà, Zaniolo (br0130) 1990 Bondarenko, Dung, Kowalski, Toni (br0350) 1997; 93 Prakken (br0370) 2010; 1 Caminada (10.1016/j.ijar.2014.12.004_br0080) 2007; 171 Nofal (10.1016/j.ijar.2014.12.004_br0300) 2014; 207 Caminada (10.1016/j.ijar.2014.12.004_br0070) 2005 Przymusinski (10.1016/j.ijar.2014.12.004_br0110) 1990; 13 Clark (10.1016/j.ijar.2014.12.004_br0250) 1978 Bondarenko (10.1016/j.ijar.2014.12.004_br0350) 1997; 93 Lloyd (10.1016/j.ijar.2014.12.004_br0100) 1987 Modgil (10.1016/j.ijar.2014.12.004_br0260) 2009 Osorio (10.1016/j.ijar.2014.12.004_br0240) 2013 Modgil (10.1016/j.ijar.2014.12.004_br0380) 2013; 195 Vreeswijk (10.1016/j.ijar.2014.12.004_br0170) 1997; 90 Caminada (10.1016/j.ijar.2014.12.004_br0050) 2006; vol. 4160 Caminada (10.1016/j.ijar.2014.12.004_br0290) 2014 Modgil (10.1016/j.ijar.2014.12.004_br0160) 2014; 5 Gorogiannis (10.1016/j.ijar.2014.12.004_br0180) 2011; 175 Caminada (10.1016/j.ijar.2014.12.004_br0270) 2012 Wu (10.1016/j.ijar.2014.12.004_br0040) 2009; 93 Caminada (10.1016/j.ijar.2014.12.004_br0280) 2012 Caminada (10.1016/j.ijar.2014.12.004_br0340) 2013 Przymusinski (10.1016/j.ijar.2014.12.004_br0120) 1991; 9 10.1016/j.ijar.2014.12.004_br0320 Caminada (10.1016/j.ijar.2014.12.004_br0330) 2013 Prakken (10.1016/j.ijar.2014.12.004_br0010) 1997; 7 Dung (10.1016/j.ijar.2014.12.004_br0030) 1995; 77 Pollock (10.1016/j.ijar.2014.12.004_br0390) 1995 Simari (10.1016/j.ijar.2014.12.004_br0020) 1992; 53 Baroni (10.1016/j.ijar.2014.12.004_br0230) 2011; 26 Jakobovits (10.1016/j.ijar.2014.12.004_br0400) 1999; 9 Weydert (10.1016/j.ijar.2014.12.004_br0200) 2011 Prakken (10.1016/j.ijar.2014.12.004_br0370) 2010; 1 Caminada (10.1016/j.ijar.2014.12.004_br0190) 2010 Reiter (10.1016/j.ijar.2014.12.004_br0360) 1980; 13 You (10.1016/j.ijar.2014.12.004_br0140) 1995; 22 García (10.1016/j.ijar.2014.12.004_br0310) 2004; 4 Dung (10.1016/j.ijar.2014.12.004_br0090) 2009 Eiter (10.1016/j.ijar.2014.12.004_br0150) 1997; 19 Wu (10.1016/j.ijar.2014.12.004_br0210) 2010; 3 Saccà (10.1016/j.ijar.2014.12.004_br0130) 1990 Caminada (10.1016/j.ijar.2014.12.004_br0060) 2009; 93 Caminada (10.1016/j.ijar.2014.12.004_br0410) 2011; 22 Wu (10.1016/j.ijar.2014.12.004_br0220) 2014 |
| References_xml | – volume: 93 start-page: 63 year: 1997 end-page: 101 ident: br0350 article-title: An abstract, argumentation-theoretic approach to default reasoning publication-title: Artif. Intell. – volume: 9 start-page: 215 year: 1999 end-page: 261 ident: br0400 article-title: Robust semantics for argumentation frameworks publication-title: J. Log. Comput. – volume: 90 start-page: 225 year: 1997 end-page: 279 ident: br0170 article-title: Abstract argumentation systems publication-title: Artif. Intell. – start-page: 199 year: 2009 end-page: 218 ident: br0090 article-title: Assumption-based argumentation publication-title: Argumentation in Artificial Intelligence – start-page: 343 year: 2012 end-page: 344 ident: br0280 article-title: User-computer persuasion dialogue for grounded semantics publication-title: Proceedings of BNAIC 2012, The 24th Benelux Conference on Artificial Intelligence – volume: 19 start-page: 59 year: 1997 end-page: 96 ident: br0150 article-title: On the partial semantics for disjunctive deductive databases publication-title: Ann. Math. Artif. Intell. – start-page: 336 year: 2011 end-page: 343 ident: br0200 article-title: Semi-stable extensions for infinite frameworks publication-title: Proceedings of the 23rd Benelux Conference on Artificial Intelligence (BNAIC 2011) – volume: 207 start-page: 23 year: 2014 end-page: 51 ident: br0300 article-title: Algorithms for decision problems in argumentation systems under preferred semantics publication-title: Artif. Intell. – year: 2013 ident: br0330 article-title: On the difference between assumption-based argumentation and abstract argumentation – volume: 175 start-page: 1479 year: 2011 end-page: 1497 ident: br0180 article-title: Instantiating abstract argumentation with classical logic arguments: postulates and properties publication-title: Artif. Intell. – volume: 171 start-page: 286 year: 2007 end-page: 310 ident: br0080 article-title: On the evaluation of argumentation formalisms publication-title: Artif. Intell. – year: 2014 ident: br0290 article-title: Preferred semantics as socratic discussion publication-title: J. Log. Comput. – volume: vol. 4160 start-page: 111 year: 2006 end-page: 123 ident: br0050 article-title: On the issue of reinstatement in argumentation publication-title: Logics in Artificial Intelligence, 10th European Conference – volume: 13 start-page: 81 year: 1980 end-page: 132 ident: br0360 article-title: A logic for default reasoning publication-title: Artif. Intell. – start-page: 25 year: 2013 end-page: 32 ident: br0340 article-title: On the difference between assumption-based argumentation and abstract argumentation publication-title: Proceedings BNAIC 2013 – volume: 4 start-page: 95 year: 2004 end-page: 138 ident: br0310 article-title: Defeasible logic programming: an argumentative approach publication-title: Theory Pract. Log. Program. – volume: 195 start-page: 361 year: 2013 end-page: 397 ident: br0380 article-title: A general account of argumentation with preferences publication-title: Artif. Intell. – start-page: 608 year: 2005 end-page: 613 ident: br0070 article-title: An axiomatic account of formal argumentation publication-title: Proceedings of the AAAI-2005 – volume: 53 start-page: 125 year: 1992 end-page: 157 ident: br0020 article-title: A mathematical treatment of defeasible reasoning and its implementation publication-title: Artif. Intell. – volume: 1 start-page: 93 year: 2010 end-page: 124 ident: br0370 article-title: An abstract framework for argumentation with structured arguments publication-title: Argum. Comput. – start-page: 205 year: 1990 end-page: 217 ident: br0130 article-title: Stable models and non-determinism in logic programs with negation publication-title: PODS – start-page: 293 year: 1978 end-page: 322 ident: br0250 article-title: Negation as failure publication-title: Logic and Data Bases – year: 1995 ident: br0390 article-title: Cognitive Carpentry. A Blueprint for How to Build a Person – start-page: 81 year: 2013 end-page: 88 ident: br0240 article-title: Complete extensions as Clark's completion semantics publication-title: ENC – reference: C. Schulz, F. Toni, Logic programming in assumption-based argumentation revisited — semantics and graphical representation, in: Proceedings of AAAI 2015, 2015, in print. – volume: 5 start-page: 31 year: 2014 end-page: 62 ident: br0160 article-title: The ASPIC+ framework for structured argumentation: a tutorial publication-title: Argum. Comput. – year: 2014 ident: br0220 article-title: Implementing crash-resistance and non-interference in logic-based argumentation publication-title: J. Log. Comput. – volume: 77 start-page: 321 year: 1995 end-page: 357 ident: br0030 article-title: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and publication-title: Artif. Intell. – volume: 93 start-page: 383 year: 2009 end-page: 403 ident: br0040 article-title: Complete extensions in argumentation coincide with 3-valued stable models in logic programming publication-title: Stud. Log. – volume: 13 start-page: 445 year: 1990 end-page: 463 ident: br0110 article-title: The well-founded semantics coincides with the three-valued stable semantics publication-title: Fundam. Inform. – volume: 22 start-page: 64 year: 2011 end-page: 102 ident: br0410 article-title: On judgment aggregation in abstract argumentation publication-title: Auton. Agents Multi-Agent Syst. – volume: 3 start-page: 12 year: 2010 end-page: 29 ident: br0210 article-title: A labelling-based justification status of arguments publication-title: Stud. Log. – start-page: 105 year: 2009 end-page: 129 ident: br0260 article-title: Proof theories and algorithms for abstract argumentation frameworks publication-title: Argumentation in Artificial Intelligence – volume: 7 start-page: 25 year: 1997 end-page: 75 ident: br0010 article-title: Argument-based extended logic programming with defeasible priorities publication-title: J. Appl. Non-Class. Log. – year: 1987 ident: br0100 article-title: Foundations of Logic Programming – start-page: 478 year: 2012 end-page: 485 ident: br0270 article-title: Grounded semantics as persuasion dialogue publication-title: Computational Models of Argument – Proceedings of COMMA 2012 – volume: 9 start-page: 401 year: 1991 end-page: 424 ident: br0120 article-title: Stable semantics for disjunctive programs publication-title: New Gener. Comput. – volume: 93 start-page: 109 year: 2009 end-page: 145 ident: br0060 article-title: A logical account of formal argumentation publication-title: Stud. Log. – volume: 26 start-page: 365 year: 2011 end-page: 410 ident: br0230 article-title: An introduction to argumentation semantics publication-title: Knowl. Eng. Rev. – year: 2010 ident: br0190 article-title: On the existence of semi-stable extensions publication-title: Proceedings of the 22nd Benelux Conference on Artificial Intelligence – volume: 22 start-page: 211 year: 1995 end-page: 222 ident: br0140 article-title: On the equivalence of semantics for normal logic programs publication-title: J. Log. Program. – volume: 26 start-page: 365 issue: 4 year: 2011 ident: 10.1016/j.ijar.2014.12.004_br0230 article-title: An introduction to argumentation semantics publication-title: Knowl. Eng. Rev. doi: 10.1017/S0269888911000166 – volume: 93 start-page: 109 issue: 2–3 year: 2009 ident: 10.1016/j.ijar.2014.12.004_br0060 article-title: A logical account of formal argumentation publication-title: Stud. Log. doi: 10.1007/s11225-009-9218-x – volume: 4 start-page: 95 issue: 1 year: 2004 ident: 10.1016/j.ijar.2014.12.004_br0310 article-title: Defeasible logic programming: an argumentative approach publication-title: Theory Pract. Log. Program. doi: 10.1017/S1471068403001674 – volume: 13 start-page: 81 year: 1980 ident: 10.1016/j.ijar.2014.12.004_br0360 article-title: A logic for default reasoning publication-title: Artif. Intell. doi: 10.1016/0004-3702(80)90014-4 – volume: 1 start-page: 93 issue: 2 year: 2010 ident: 10.1016/j.ijar.2014.12.004_br0370 article-title: An abstract framework for argumentation with structured arguments publication-title: Argum. Comput. doi: 10.1080/19462160903564592 – volume: 5 start-page: 31 year: 2014 ident: 10.1016/j.ijar.2014.12.004_br0160 article-title: The ASPIC+ framework for structured argumentation: a tutorial publication-title: Argum. Comput. doi: 10.1080/19462166.2013.869766 – volume: 9 start-page: 215 issue: 2 year: 1999 ident: 10.1016/j.ijar.2014.12.004_br0400 article-title: Robust semantics for argumentation frameworks publication-title: J. Log. Comput. doi: 10.1093/logcom/9.2.215 – start-page: 199 year: 2009 ident: 10.1016/j.ijar.2014.12.004_br0090 article-title: Assumption-based argumentation – start-page: 293 year: 1978 ident: 10.1016/j.ijar.2014.12.004_br0250 article-title: Negation as failure – start-page: 105 year: 2009 ident: 10.1016/j.ijar.2014.12.004_br0260 article-title: Proof theories and algorithms for abstract argumentation frameworks – year: 1987 ident: 10.1016/j.ijar.2014.12.004_br0100 – volume: 93 start-page: 63 year: 1997 ident: 10.1016/j.ijar.2014.12.004_br0350 article-title: An abstract, argumentation-theoretic approach to default reasoning publication-title: Artif. Intell. doi: 10.1016/S0004-3702(97)00015-5 – start-page: 478 year: 2012 ident: 10.1016/j.ijar.2014.12.004_br0270 article-title: Grounded semantics as persuasion dialogue – start-page: 81 year: 2013 ident: 10.1016/j.ijar.2014.12.004_br0240 article-title: Complete extensions as Clark's completion semantics – volume: 171 start-page: 286 issue: 5–6 year: 2007 ident: 10.1016/j.ijar.2014.12.004_br0080 article-title: On the evaluation of argumentation formalisms publication-title: Artif. Intell. doi: 10.1016/j.artint.2007.02.003 – volume: 90 start-page: 225 year: 1997 ident: 10.1016/j.ijar.2014.12.004_br0170 article-title: Abstract argumentation systems publication-title: Artif. Intell. doi: 10.1016/S0004-3702(96)00041-0 – start-page: 205 year: 1990 ident: 10.1016/j.ijar.2014.12.004_br0130 article-title: Stable models and non-determinism in logic programs with negation – year: 2013 ident: 10.1016/j.ijar.2014.12.004_br0330 – volume: 22 start-page: 211 issue: 3 year: 1995 ident: 10.1016/j.ijar.2014.12.004_br0140 article-title: On the equivalence of semantics for normal logic programs publication-title: J. Log. Program. doi: 10.1016/0743-1066(94)00023-Y – start-page: 25 year: 2013 ident: 10.1016/j.ijar.2014.12.004_br0340 article-title: On the difference between assumption-based argumentation and abstract argumentation – year: 2014 ident: 10.1016/j.ijar.2014.12.004_br0220 article-title: Implementing crash-resistance and non-interference in logic-based argumentation publication-title: J. Log. Comput. – year: 1995 ident: 10.1016/j.ijar.2014.12.004_br0390 – year: 2014 ident: 10.1016/j.ijar.2014.12.004_br0290 article-title: Preferred semantics as socratic discussion publication-title: J. Log. Comput. – volume: 9 start-page: 401 year: 1991 ident: 10.1016/j.ijar.2014.12.004_br0120 article-title: Stable semantics for disjunctive programs publication-title: New Gener. Comput. doi: 10.1007/BF03037171 – volume: 22 start-page: 64 issue: 1 year: 2011 ident: 10.1016/j.ijar.2014.12.004_br0410 article-title: On judgment aggregation in abstract argumentation publication-title: Auton. Agents Multi-Agent Syst. doi: 10.1007/s10458-009-9116-7 – volume: 53 start-page: 125 year: 1992 ident: 10.1016/j.ijar.2014.12.004_br0020 article-title: A mathematical treatment of defeasible reasoning and its implementation publication-title: Artif. Intell. doi: 10.1016/0004-3702(92)90069-A – volume: 19 start-page: 59 issue: 1–2 year: 1997 ident: 10.1016/j.ijar.2014.12.004_br0150 article-title: On the partial semantics for disjunctive deductive databases publication-title: Ann. Math. Artif. Intell. doi: 10.1023/A:1018947420290 – volume: 3 start-page: 12 issue: 4 year: 2010 ident: 10.1016/j.ijar.2014.12.004_br0210 article-title: A labelling-based justification status of arguments publication-title: Stud. Log. – volume: 93 start-page: 383 issue: 1–2 year: 2009 ident: 10.1016/j.ijar.2014.12.004_br0040 article-title: Complete extensions in argumentation coincide with 3-valued stable models in logic programming publication-title: Stud. Log. doi: 10.1007/s11225-009-9210-5 – start-page: 343 year: 2012 ident: 10.1016/j.ijar.2014.12.004_br0280 article-title: User-computer persuasion dialogue for grounded semantics – volume: 77 start-page: 321 year: 1995 ident: 10.1016/j.ijar.2014.12.004_br0030 article-title: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games publication-title: Artif. Intell. doi: 10.1016/0004-3702(94)00041-X – start-page: 608 year: 2005 ident: 10.1016/j.ijar.2014.12.004_br0070 article-title: An axiomatic account of formal argumentation – year: 2010 ident: 10.1016/j.ijar.2014.12.004_br0190 article-title: On the existence of semi-stable extensions – volume: vol. 4160 start-page: 111 year: 2006 ident: 10.1016/j.ijar.2014.12.004_br0050 article-title: On the issue of reinstatement in argumentation – volume: 175 start-page: 1479 issue: 9–10 year: 2011 ident: 10.1016/j.ijar.2014.12.004_br0180 article-title: Instantiating abstract argumentation with classical logic arguments: postulates and properties publication-title: Artif. Intell. doi: 10.1016/j.artint.2010.12.003 – volume: 195 start-page: 361 year: 2013 ident: 10.1016/j.ijar.2014.12.004_br0380 article-title: A general account of argumentation with preferences publication-title: Artif. Intell. doi: 10.1016/j.artint.2012.10.008 – volume: 207 start-page: 23 year: 2014 ident: 10.1016/j.ijar.2014.12.004_br0300 article-title: Algorithms for decision problems in argumentation systems under preferred semantics publication-title: Artif. Intell. doi: 10.1016/j.artint.2013.11.001 – ident: 10.1016/j.ijar.2014.12.004_br0320 doi: 10.1609/aaai.v29i1.9417 – volume: 13 start-page: 445 issue: 4 year: 1990 ident: 10.1016/j.ijar.2014.12.004_br0110 article-title: The well-founded semantics coincides with the three-valued stable semantics publication-title: Fundam. Inform. doi: 10.3233/FI-1990-13404 – start-page: 336 year: 2011 ident: 10.1016/j.ijar.2014.12.004_br0200 article-title: Semi-stable extensions for infinite frameworks – volume: 7 start-page: 25 year: 1997 ident: 10.1016/j.ijar.2014.12.004_br0010 article-title: Argument-based extended logic programming with defeasible priorities publication-title: J. Appl. Non-Class. Log. doi: 10.1080/11663081.1997.10510900 |
| SSID | ssj0006748 |
| Score | 2.4238636 |
| Snippet | In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 87 |
| SubjectTerms | Abstract argumentation semantics Approximation Equivalence Logic programming Logic programming semantics Reasoning Semantics Translations |
| Title | On the equivalence between logic programming semantics and argumentation semantics |
| URI | https://dx.doi.org/10.1016/j.ijar.2014.12.004 https://www.proquest.com/docview/1692324414 |
| Volume | 58 |
| WOSCitedRecordID | wos000350516100007&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: 1873-4731 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0006748 issn: 0888-613X databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Li9swEBbpbg-99F12-0KF0ktxsb1yLB1DydKWkJSSpbmJsSwvCYmdzYtc9r_v6GEn2dJle-hFBNtygubLaGY08w0hH1lbCc0hDiBjhlT7TAQigzAQaRahQ5RBApZdv5f2-3w0Ej9breu6FmYzTcuSb7di_l9FjddQ2KZ09h_E3bwUL-BnFDqOKHYc7yX4gUtc1FfrMb7W_nHrZCyr5-qUrJmNJOgZLm3N1AyLy_XMFyOVu3v7BuxhBHGPd8KSk2_HaACbRiywtGHevROOcQk5-Oqgmu7bRHbAxaV3hRWdqZE2LFwSbwVVY2tvEK5Wef-upsUl-Nf7kEWU7HK2Gs3G0We1jYAbNewY3L0e9Zuw25G9Ov5D2bu4w-TLeAKG2TViNrDruhkfMmv3B_L8oteTw-5o-Gl-FZimY-Zw3ndgeUCO4zQRqBSPO9-7ox_NVm46sTg3xP1eX3XlEgRvf-3fLJtbe7w1XIZPyWPvcdCOQ8oz0tLlc_Kk7uZBvXJ_QX4NSorAoXvAoR441AKH7gGHNuCgCBx6AJzdvZfk4rw7_Pot8B03AsXaYhUoEDGIdpqGBVOcA-M4hjwrgCWgEqWB5-1Q5GmkNaBrodA5ZXmikpzzIsvzs1fkqKxKfUKoTvM85HlcFHHGMs4zNIIgDVWkQ5zL9SmJ6tWSytPRm64oU1nnHU6kWWFpVlhGscQVPiWfmzlzR8Zy59NJLQTpzUlnJkoE0J3zPtQSk6hrzQEalLpaL2XUFsYBYRF7fY9n3pBHO_C_JUerxVq_Iw_VZjVeLt57qN0AnZGoKg |
| 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=On+the+equivalence+between+logic+programming+semantics+and+argumentation+semantics&rft.jtitle=International+journal+of+approximate+reasoning&rft.au=Caminada%2C+Martin&rft.au=Sa%2C+Samy&rft.au=Alcantara%2C+Joao&rft.au=Dvorak%2C+Wolfgang&rft.date=2015-03-01&rft.issn=0888-613X&rft.volume=58&rft.spage=87&rft.epage=111&rft_id=info:doi/10.1016%2Fj.ijar.2014.12.004&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0888-613X&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0888-613X&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0888-613X&client=summon |