{"id":"https://openalex.org/W4225401936","doi":"https://doi.org/10.1017/s1471068422000114","title":"Abstract Argumentation and Answer Set Programming: Two Faces of Nelson\u2019s Logic","display_name":"Abstract Argumentation and Answer Set Programming: Two Faces of Nelson\u2019s Logic","publication_year":2022,"publication_date":"2022-05-03","ids":{"openalex":"https://openalex.org/W4225401936","doi":"https://doi.org/10.1017/s1471068422000114"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068422000114","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068422000114","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1017/s1471068422000114","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112705886","display_name":"Jorge Fandinno","orcid":null},"institutions":[{"id":"https://openalex.org/I122266389","display_name":"University of Nebraska at Omaha","ror":"https://ror.org/04yrkc140","country_code":"US","type":"education","lineage":["https://openalex.org/I122266389"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"JORGE FANDINNO","raw_affiliation_strings":["University of Nebraska Omaha, Omaha, NE, USA (e-mail:"],"raw_orcid":"https://orcid.org/0000-0002-3917-8717","affiliations":[{"raw_affiliation_string":"University of Nebraska Omaha, Omaha, NE, USA (e-mail:","institution_ids":["https://openalex.org/I122266389"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001235333","display_name":"Lu\u00eds Fari\u00f1as del Cerro","orcid":"https://orcid.org/0000-0001-8752-8876"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"LUIS FARI\u00d1AS DEL CERRO","raw_affiliation_strings":["IRIT, Universite de Toulouse, CNRS, Toulouse, France (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIT, Universite de Toulouse, CNRS, Toulouse, France (e-mail:","institution_ids":["https://openalex.org/I4210152422","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I17866349","https://openalex.org/I4210119061","https://openalex.org/I3131550300","https://openalex.org/I4210160189"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5112705886"],"corresponding_institution_ids":["https://openalex.org/I122266389"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03636183,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":"2","first_page":"444","last_page":"467"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.7444858551025391},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.7236894965171814},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6864484548568726},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.6017681360244751},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.586702287197113},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.559102475643158},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5570502877235413},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.48334190249443054},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.4367726445198059},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.43395429849624634},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.415315181016922},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.36323872208595276},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3598947823047638},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.3479000926017761},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3458861708641052},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3104850947856903},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.25545990467071533},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.10468477010726929},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.09646168351173401}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.7444858551025391},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7236894965171814},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6864484548568726},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.6017681360244751},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.586702287197113},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.559102475643158},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5570502877235413},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.48334190249443054},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.4367726445198059},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.43395429849624634},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.415315181016922},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.36323872208595276},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3598947823047638},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3479000926017761},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3458861708641052},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3104850947856903},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.25545990467071533},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.10468477010726929},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.09646168351173401}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068422000114","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068422000114","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s1471068422000114","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068422000114","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W34858115","https://openalex.org/W64796752","https://openalex.org/W192112676","https://openalex.org/W229834379","https://openalex.org/W641245508","https://openalex.org/W1027503670","https://openalex.org/W1523879902","https://openalex.org/W1606891084","https://openalex.org/W1677519333","https://openalex.org/W1770842667","https://openalex.org/W1966873207","https://openalex.org/W1968513265","https://openalex.org/W1969965298","https://openalex.org/W1980589711","https://openalex.org/W1985161451","https://openalex.org/W1985274317","https://openalex.org/W1996903520","https://openalex.org/W1999122702","https://openalex.org/W2003822553","https://openalex.org/W2012457462","https://openalex.org/W2024430355","https://openalex.org/W2027980228","https://openalex.org/W2029636440","https://openalex.org/W2032626375","https://openalex.org/W2032873303","https://openalex.org/W2036321418","https://openalex.org/W2039594639","https://openalex.org/W2043835012","https://openalex.org/W2049791401","https://openalex.org/W2060687784","https://openalex.org/W2076698873","https://openalex.org/W2077242255","https://openalex.org/W2085401920","https://openalex.org/W2091124158","https://openalex.org/W2091138122","https://openalex.org/W2104126268","https://openalex.org/W2106500031","https://openalex.org/W2120680227","https://openalex.org/W2129730018","https://openalex.org/W2130003285","https://openalex.org/W2142616542","https://openalex.org/W2146340995","https://openalex.org/W2150425213","https://openalex.org/W2155322595","https://openalex.org/W2156156961","https://openalex.org/W2170515813","https://openalex.org/W2240942739","https://openalex.org/W2267487863","https://openalex.org/W2301736536","https://openalex.org/W2396490995","https://openalex.org/W2577843076","https://openalex.org/W2801921729","https://openalex.org/W2898707198","https://openalex.org/W2914398864","https://openalex.org/W2963134965","https://openalex.org/W3104191106","https://openalex.org/W4245630182","https://openalex.org/W4245674526","https://openalex.org/W4249547020","https://openalex.org/W6600154824","https://openalex.org/W6601144809","https://openalex.org/W6628970345","https://openalex.org/W6637298476","https://openalex.org/W6640948721","https://openalex.org/W6665867564","https://openalex.org/W6671016732","https://openalex.org/W6679444043","https://openalex.org/W6679878532","https://openalex.org/W6748134798","https://openalex.org/W6773986277"],"related_works":["https://openalex.org/W3104092934","https://openalex.org/W2144609099","https://openalex.org/W2951547617","https://openalex.org/W1582093579","https://openalex.org/W2345436263","https://openalex.org/W4211178999","https://openalex.org/W1579536519","https://openalex.org/W1488887276","https://openalex.org/W2511855625","https://openalex.org/W2406431943"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2,30,121],"work,":[3],"we":[4,35],"show":[5],"that":[6,34,47],"both":[7,61,74],"logic":[8,22,75,85],"programming":[9,76,96],"and":[10,39,63,77,90,98,131],"abstract":[11,78,99],"argumentation":[12,79,100],"frameworks":[13,80],"can":[14,50],"be":[15,51,67],"interpreted":[16],"in":[17,29,86,103,129],"terms":[18],"of":[19,133],"Nelson\u2019s":[20],"constructive":[21,84],"N4.":[23],"We":[24],"do":[25],"so":[26],"by":[27,119],"formalising,":[28],"logic,":[31],"two":[32],"principles":[33],"call":[36],"noncontradictory":[37,112],"inference":[38,113],"strengthened":[40],"closed":[41],"world":[42],"assumption:":[43],"the":[44,58,92,104,111],"first":[45],"states":[46],"no":[48],"belief":[49],"held":[52],"based":[53],"on":[54],"contradictory":[55,64],"evidence":[56,65],"while":[57],"latter":[59],"forces":[60],"unknown":[62],"to":[66],"regarded":[68],"as":[69],"false.":[70],"Using":[71],"these":[72],"principles,":[73],"are":[81,116],"translated":[82],"into":[83],"a":[87,106],"modular":[88],"way":[89],"using":[91],"object":[93],"language.":[94],"Logic":[95,134],"implication":[97,108,123],"supports":[101],"become,":[102],"translation,":[105],"new":[107,122],"connective":[109],"following":[110],"principle.":[114],"Attacks":[115],"then":[117],"represented":[118],"combining":[120],"with":[124],"strong":[125],"negation.":[126],"Under":[127],"consideration":[128],"Theory":[130],"Practice":[132],"Programming":[135],"(TPLP).":[136]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}