{"id":"https://openalex.org/W2400231201","doi":"https://doi.org/10.3233/978-1-61499-436-7-293","title":"A principled approach to the implementation of argumentation models","display_name":"A principled approach to the implementation of argumentation models","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2400231201","doi":"https://doi.org/10.3233/978-1-61499-436-7-293","mag":"2400231201"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-436-7-293","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-436-7-293","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","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":null,"display_name":"van Gijzel Bas","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":"van Gijzel Bas","raw_affiliation_strings":["\u2002University of Nottingham"],"affiliations":[{"raw_affiliation_string":"\u2002University 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":"Nilsson Henrik","raw_affiliation_strings":["University of Nottingham, Nottingham, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Nottingham, Nottingham, United Kingdom","institution_ids":["https://openalex.org/I142263535"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I142263535"],"apc_list":null,"apc_paid":null,"fwci":1.0858,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80126282,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"266","issue":null,"first_page":"293","last_page":"300"},"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.9932000041007996,"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/T13643","display_name":"Artificial Intelligence in Law","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.9309095144271851},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5184606909751892},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.485897958278656},{"id":"https://openalex.org/keywords/management-science","display_name":"Management science","score":0.47406381368637085},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.337383896112442},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33679038286209106},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.25485527515411377},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17292875051498413},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15937089920043945}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.9309095144271851},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5184606909751892},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.485897958278656},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.47406381368637085},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.337383896112442},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33679038286209106},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.25485527515411377},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17292875051498413},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15937089920043945}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-436-7-293","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-436-7-293","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:2400231201","is_oa":false,"landing_page_url":"http://comma2014.arg.dundee.ac.uk/res/pdfs/29-gijzel.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Frontiers in artificial intelligence and applications","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W79296947","https://openalex.org/W106283100","https://openalex.org/W239616352","https://openalex.org/W1589109417","https://openalex.org/W1636613648","https://openalex.org/W1727543676","https://openalex.org/W2006559750","https://openalex.org/W2011844594","https://openalex.org/W2029784280","https://openalex.org/W2056630576","https://openalex.org/W2071122890","https://openalex.org/W2104126268","https://openalex.org/W2116993783","https://openalex.org/W2119717320"],"related_works":["https://openalex.org/W4256185029","https://openalex.org/W2141332034","https://openalex.org/W4388437769","https://openalex.org/W2762454042","https://openalex.org/W2064153856","https://openalex.org/W2337488240","https://openalex.org/W4391098513","https://openalex.org/W2810654249","https://openalex.org/W1493131192","https://openalex.org/W4321509371"],"abstract_inverted_index":{"Argumentation":[0],"theory":[1],"combines":[2],"philosophical":[3],"concepts":[4],"and":[5,19,37,46,79,95,116,125,139],"computational":[6],"models":[7,78,82,124],"to":[8,13,30,92],"deliver":[9],"a":[10,42,58,72,90,104,126,147,154],"practical":[11],"approach":[12,29,110],"reasoning":[14],"that":[15,32],"handles":[16],"uncertain":[17],"information":[18],"possibly":[20],"conflicting":[21],"viewpoints.":[22],"This":[23,53],"paper":[24,54],"focuses":[25],"on":[26,111],"the":[27,62,112,123,158],"structured":[28,51,76,159],"argumentation":[31,38,77,114,119],"incorporates":[33],"domain":[34],"specific":[35],"knowledge":[36],"schemes.":[39],"There":[40],"is":[41,153],"lack":[43],"of":[44,85,100,136,143,167],"implementations":[45,102,135,166],"implementation":[47],"methods":[48],"for":[49,74],"most":[50],"models.":[52],"shows":[55],"how":[56],"taking":[57],"principled":[59],"approach,":[60],"using":[61,103],"programming":[63],"language":[64],"Haskell,":[65],"helps":[66],"addressing":[67],"this":[68],"problem.":[69],"We":[70,87,107,132],"construct":[71],"framework":[73],"developing":[75],"translations":[80],"between":[81],"(given":[83],"intertranslatability":[84],"models).":[86],"furthermore":[88],"provide":[89,134],"methodology":[91],"quickly":[93],"test":[94],"formally":[96],"prove":[97],"desirable":[98],"properties":[99,138],"such":[101],"theorem":[105,148],"prover.":[106,149],"demonstrate":[108],"our":[109],"Carneades":[113,129,161],"model":[115,160],"Dung's":[117,144,168],"abstract":[118],"frameworks,":[120],"implementing":[121],"both":[122],"translation":[127],"from":[128,157],"into":[130,146,162],"AFs.":[131,169],"then":[133],"correspondence":[137],"an":[140],"initial":[141],"formalisation":[142],"AFs":[145],"The":[150],"final":[151],"result":[152],"verified":[155],"pipeline":[156],"existing":[163],"efficient":[164],"SAT-based":[165]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}