{"id":"https://openalex.org/W2116993783","doi":"https://doi.org/10.1145/2620678.2620688","title":"Towards a framework for the implementation and verification of translations between argumentation models","display_name":"Towards a framework for the implementation and verification of translations between argumentation models","publication_year":2013,"publication_date":"2013-08-28","ids":{"openalex":"https://openalex.org/W2116993783","doi":"https://doi.org/10.1145/2620678.2620688","mag":"2116993783"},"language":"en","primary_location":{"id":"doi:10.1145/2620678.2620688","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2620678.2620688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th symposium on Implementation and Application of Functional Languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077208166","display_name":"Bas van Gijzel","orcid":null},"institutions":[{"id":"https://openalex.org/I142263535","display_name":"University of Nottingham","ror":"https://ror.org/01ee9ar58","country_code":"GB","type":"education","lineage":["https://openalex.org/I142263535"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Bas van Gijzel","raw_affiliation_strings":["University of Nottingham"],"affiliations":[{"raw_affiliation_string":"University of Nottingham","institution_ids":["https://openalex.org/I142263535"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014442955","display_name":"Henrik Nilsson","orcid":"https://orcid.org/0000-0001-5045-8691"},"institutions":[{"id":"https://openalex.org/I142263535","display_name":"University of Nottingham","ror":"https://ror.org/01ee9ar58","country_code":"GB","type":"education","lineage":["https://openalex.org/I142263535"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Henrik Nilsson","raw_affiliation_strings":["University of Nottingham"],"affiliations":[{"raw_affiliation_string":"University of Nottingham","institution_ids":["https://openalex.org/I142263535"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5077208166"],"corresponding_institution_ids":["https://openalex.org/I142263535"],"apc_list":null,"apc_paid":null,"fwci":1.9236,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.88666263,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","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/T10456","display_name":"Multi-Agent Systems and Negotiation","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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9902999997138977,"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.9747604131698608},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7160378694534302},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6709681749343872},{"id":"https://openalex.org/keywords/argumentation-framework","display_name":"Argumentation framework","score":0.6256654858589172},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5459737181663513},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.3807569444179535},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36093854904174805},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.32934898138046265},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2672424912452698},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14468181133270264},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07317003607749939}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.9747604131698608},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7160378694534302},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6709681749343872},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.6256654858589172},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5459737181663513},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3807569444179535},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36093854904174805},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.32934898138046265},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2672424912452698},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14468181133270264},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07317003607749939},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2620678.2620688","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2620678.2620688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th symposium on Implementation and Application of Functional Languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6499999761581421}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W14006711","https://openalex.org/W106283100","https://openalex.org/W197263718","https://openalex.org/W239616352","https://openalex.org/W1486709607","https://openalex.org/W1531064309","https://openalex.org/W1600986031","https://openalex.org/W1636613648","https://openalex.org/W1727543676","https://openalex.org/W1839902311","https://openalex.org/W1973312452","https://openalex.org/W1982209843","https://openalex.org/W2006559750","https://openalex.org/W2026049208","https://openalex.org/W2039020269","https://openalex.org/W2056630576","https://openalex.org/W2058767821","https://openalex.org/W2071122890","https://openalex.org/W2074556793","https://openalex.org/W2086253804","https://openalex.org/W2093412334","https://openalex.org/W2104126268","https://openalex.org/W2109409153","https://openalex.org/W2114739726","https://openalex.org/W2120554020","https://openalex.org/W2129713143","https://openalex.org/W2142034193","https://openalex.org/W2167497429","https://openalex.org/W2183602748","https://openalex.org/W2466066735","https://openalex.org/W2749479972","https://openalex.org/W2913078623","https://openalex.org/W6628970345","https://openalex.org/W6783387296"],"related_works":["https://openalex.org/W124110387","https://openalex.org/W3216091191","https://openalex.org/W2052903087","https://openalex.org/W47899866","https://openalex.org/W1560931420","https://openalex.org/W2065807231","https://openalex.org/W2219393274","https://openalex.org/W2583952061","https://openalex.org/W2408333498","https://openalex.org/W2050214921"],"abstract_inverted_index":{"Argumentation":[0],"theory":[1],"is":[2,32,88,105],"concerned":[3],"with":[4,69],"studying":[5],"the":[6,11,40,47,57,84,106,157,160,164,189,192],"nature":[7],"of":[8,42,59,92,94,108,163,181,194],"arguments":[9],"in":[10,72,81,143],"most":[12],"general":[13,74],"sense,":[14],"including":[15],"for":[16,103,179,200],"example":[17],"scientific,":[18],"legal,":[19],"or":[20],"even":[21,185],"completely":[22,33],"informal":[23],"arguments.":[24,43],"There":[25],"are":[26],"two":[27],"main":[28],"approaches.":[29,79],"Abstract":[30],"argumentation":[31,62,96,135,182,201],"generic,":[34],"making":[35],"no":[36],"specific":[37],"assumptions":[38],"about":[39],"structure":[41,54],"Structured":[44,61],"argumentation,":[45],"on":[46,113],"other":[48],"hand,":[49],"does":[50],"adopt":[51],"a":[52,66,89,100,154,176,198],"predetermined":[53],"pertaining":[55],"to":[56,83,119,131,149,152],"domain":[58],"discourse.":[60],"models":[63],"have":[64],"seen":[65],"recent":[67],"surge,":[68],"new":[70],"developments":[71],"both":[73],"frameworks":[75],"and":[76,138,146],"more":[77],"domain-specific":[78,177],"Yet,":[80],"contrast":[82],"abstract":[85,140],"approach,":[86],"there":[87],"distinct":[90],"lack":[91,107],"implementations":[93],"structured":[95,134],"models.":[97],"We":[98,128],"believe":[99],"key":[101],"reason":[102],"this":[104,116,121,144,187],"suitable":[109],"implementation":[110,180],"frameworks.":[111,183],"Building":[112],"previous":[114],"work,":[115],"paper":[117,190],"attempts":[118],"tackle":[120],"problem":[122],"by":[123],"applying":[124],"functional":[125,195],"programming":[126,196],"techniques.":[127],"show":[129,150],"how":[130,151],"implement":[132,153],"one":[133,139,162],"framework":[136,141],"(Carneades)":[137],"(Dung)":[142],"way,":[145],"then":[147],"proceed":[148],"translation":[155],"from":[156],"former":[158],"into":[159,175],"latter,":[161],"first":[165],"such":[166],"implementations.":[167],"Ultimately,":[168],"we":[169],"hope":[170],"our":[171],"work":[172],"will":[173],"evolve":[174],"language":[178],"But":[184],"at":[186],"stage,":[188],"demonstrates":[191],"benefits":[193],"as":[197],"tool":[199],"theory.":[202]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}