{"id":"https://openalex.org/W2786363783","doi":"https://doi.org/10.3233/aac-180039","title":"Representing argumentation schemes with Constraint Handling Rules (CHR)","display_name":"Representing argumentation schemes with Constraint Handling Rules (CHR)","publication_year":2018,"publication_date":"2018-06-29","ids":{"openalex":"https://openalex.org/W2786363783","doi":"https://doi.org/10.3233/aac-180039","mag":"2786363783"},"language":"en","primary_location":{"id":"doi:10.3233/aac-180039","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-180039","pdf_url":"https://content.iospress.com:443/download/argument-and-computation/aac039?id=argument-and-computation%2Faac039","source":{"id":"https://openalex.org/S16776775","display_name":"Argument & Computation","issn_l":"1946-2166","issn":["1946-2166","1946-2174"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Argument & Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://content.iospress.com:443/download/argument-and-computation/aac039?id=argument-and-computation%2Faac039","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109053397","display_name":"Thomas F. Gordon","orcid":null},"institutions":[{"id":"https://openalex.org/I2800804238","display_name":"Fraunhofer Institute for Open Communication Systems","ror":"https://ror.org/00px80p03","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2800804238","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Thomas F. Gordon","raw_affiliation_strings":["Fraunhofer FOKUS, Berlin, Germany. E-mail:\u00a0"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fraunhofer FOKUS, Berlin, Germany. E-mail:\u00a0","institution_ids":["https://openalex.org/I2800804238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111559342","display_name":"Horst E. Friedrich","orcid":null},"institutions":[{"id":"https://openalex.org/I2800804238","display_name":"Fraunhofer Institute for Open Communication Systems","ror":"https://ror.org/00px80p03","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2800804238","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Horst Friedrich","raw_affiliation_strings":["Fraunhofer FOKUS, Berlin, Germany. E-mail:\u00a0"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fraunhofer FOKUS, Berlin, Germany. E-mail:\u00a0","institution_ids":["https://openalex.org/I2800804238"]}]},{"author_position":"last","author":{"id":null,"display_name":"Douglas Walton","orcid":null},"institutions":[{"id":"https://openalex.org/I74413500","display_name":"University of Windsor","ror":"https://ror.org/01gw3d370","country_code":"CA","type":"education","lineage":["https://openalex.org/I74413500"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Douglas Walton","raw_affiliation_strings":["University of Windsor, Windsor, Canada. E-mail:\u00a0"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Windsor, Windsor, Canada. E-mail:\u00a0","institution_ids":["https://openalex.org/I74413500"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109053397"],"corresponding_institution_ids":["https://openalex.org/I2800804238"],"apc_list":{"value":900,"currency":"USD","value_usd":900},"apc_paid":{"value":900,"currency":"USD","value_usd":900},"fwci":0.1694,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57419552,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"9","issue":"2","first_page":"91","last_page":"119"},"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.9995999932289124,"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.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","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.9988999962806702,"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.659084677696228},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6491321325302124},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5005481243133545},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38480672240257263},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.22624778747558594},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.12557581067085266}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.659084677696228},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6491321325302124},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5005481243133545},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38480672240257263},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.22624778747558594},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.12557581067085266},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.3233/aac-180039","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-180039","pdf_url":"https://content.iospress.com:443/download/argument-and-computation/aac039?id=argument-and-computation%2Faac039","source":{"id":"https://openalex.org/S16776775","display_name":"Argument & Computation","issn_l":"1946-2166","issn":["1946-2166","1946-2174"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Argument & Computation","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:372664f3b54e4d2da9bc7d2f972479b0","is_oa":false,"landing_page_url":"https://doaj.org/article/372664f3b54e4d2da9bc7d2f972479b0","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Argument & Computation, Vol 9, Iss 2, Pp 91-119 (2018)","raw_type":"article"},{"id":"pmh:oai:fraunhofer.de:N-494132","is_oa":true,"landing_page_url":"http://publica.fraunhofer.de/documents/N-494132.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fraunhofer FOKUS","raw_type":"Conference Paper"},{"id":"pmh:oai:fraunhofer.de:N-537756","is_oa":true,"landing_page_url":"http://publica.fraunhofer.de/documents/N-537756.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400801","display_name":"Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fraunhofer FOKUS","raw_type":"Journal Article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/257057","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/257057","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/400455","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/400455","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference paper"},{"id":"doi:10.24406/publica-fhg-400455","is_oa":true,"landing_page_url":"https://doi.org/10.24406/publica-fhg-400455","pdf_url":null,"source":{"id":"https://openalex.org/S7407052912","display_name":"Fraunhofer-Gesellschaft zur F\u00f6rderung der angewandten Forschung e.V","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:2786363783","is_oa":false,"landing_page_url":"http://ceur-ws.org/Vol-2048/paper06.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.3233/aac-180039","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-180039","pdf_url":"https://content.iospress.com:443/download/argument-and-computation/aac039?id=argument-and-computation%2Faac039","source":{"id":"https://openalex.org/S16776775","display_name":"Argument & Computation","issn_l":"1946-2166","issn":["1946-2166","1946-2174"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Argument & Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8171931786","display_name":null,"funder_award_id":"435-2012-0104","funder_id":"https://openalex.org/F4320334617","funder_display_name":"Social Sciences and Humanities Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334617","display_name":"Social Sciences and Humanities Research Council of Canada","ror":"https://ror.org/04j5jqy92"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2786363783.pdf","grobid_xml":"https://content.openalex.org/works/W2786363783.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W22447144","https://openalex.org/W341917907","https://openalex.org/W581684831","https://openalex.org/W1552250714","https://openalex.org/W1705654268","https://openalex.org/W1971397162","https://openalex.org/W1972337522","https://openalex.org/W2003066662","https://openalex.org/W2006559750","https://openalex.org/W2061119070","https://openalex.org/W2069702150","https://openalex.org/W2109409153","https://openalex.org/W2144960539","https://openalex.org/W2400219416","https://openalex.org/W2566279597","https://openalex.org/W2570710533","https://openalex.org/W2899987233","https://openalex.org/W3125506016","https://openalex.org/W4234159174","https://openalex.org/W4245504577"],"related_works":["https://openalex.org/W1481932230","https://openalex.org/W1547146004","https://openalex.org/W2041934467","https://openalex.org/W2037198399","https://openalex.org/W2519121927","https://openalex.org/W67191403","https://openalex.org/W45849928","https://openalex.org/W2524143366","https://openalex.org/W167742204","https://openalex.org/W2055588750","https://openalex.org/W2521728344","https://openalex.org/W1855780832","https://openalex.org/W1583555691","https://openalex.org/W2790600769","https://openalex.org/W3159591657","https://openalex.org/W2950284027","https://openalex.org/W2044712166","https://openalex.org/W2154880189","https://openalex.org/W184032136","https://openalex.org/W1026399438"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,46,70,121,149,183,318],"high-level":[3],"declarative":[4],"programming":[5,99,189],"language":[6,16,164,190,370],"for":[7,39,165,171,200,205,271,321,371],"representing":[8,166,201,272,372],"argumentation":[9,27,51,89,167,204,275,278,329,373,384],"schemes,":[10],"where":[11],"schemes":[12,28,52,62,77,90,168,279,374],"represented":[13,93],"in":[14,29,84,87,129,195,224,333],"this":[15],"can":[17,63,78,220,232,250],"be":[18,64,79,92,118,221,233,251,296,365],"easily":[19],"validated":[20,376],"by":[21,155,192,343,377],"domain":[22],"experts,":[23],"including":[24,151],"developers":[25],"of":[26,48,61,114,147,159,174,229,267,286,314,350],"informal":[30],"logic":[31,98,130],"and":[32,34,59,80,202,217,235,247,273,305,337,341],"philosophy,":[33],"serve":[35],"as":[36,94,106,126,254],"executable":[37,95],"specifications":[38,96],"automatically":[40,175],"constructing":[41,176],"arguments,":[42,177],"when":[43],"applied":[44],"to":[45,137,288,295,301,316,355,380],"set":[47],"assumptions.":[49],"Since":[50,277],"are":[53,280],"defeasible":[54],"inference":[55,282,290],"rules,":[56,211,213,216,283],"both":[57],"premises":[58],"conclusions":[60],"second-order":[65,119],"schema":[66],"variables,":[67,120],"i.e.":[68],"without":[69,261],"fixed":[71],"predicate":[72],"symbol.":[73],"Thus,":[74],"while":[75],"particular":[76],"have":[81],"been":[82],"implemented":[83],"computer":[85],"programs,":[86],"general":[88],"cannot":[91],"using":[97,378],"languages":[100],"based":[101],"on":[102],"first-order":[103],"logic,":[104],"such":[105,135,148],"Prolog.":[107],"Moreover,":[108],"even":[109],"if":[110],"the":[111,145,157,160,172,244,284,303,344,348,351,362],"conclusion":[112],"(head)":[113],"Prolog":[115],"rules":[116,231,291],"could":[117],"depth-first,":[122],"backward-chaining":[123],"search":[124],"strategy,":[125],"typically":[127,330],"used":[128],"programming,":[131],"would":[132,143,293],"usually":[133],"cause":[134],"programs":[136],"not":[138],"terminate,":[139],"since":[140],"every":[141],"goal":[142],"match":[144],"head":[146],"scheme,":[150],"all":[152],"goals":[153],"created":[154],"instantiating":[156],"body":[158],"same":[161],"scheme.":[162],"The":[163,227,299],"presented":[169],"here,":[170],"purpose":[173],"uses":[178],"Constraint":[179],"Handling":[180],"Rules":[181],"(CHR),":[182],"declarative,":[184],"Turing":[185],"complete,":[186],"forwards-chaining,":[187],"rule-based":[188],"introduced":[191,360],"Thom":[193],"Fr\u00fchwirth":[194],"1991.":[196],"CHR":[197,230,268,287],"is":[198,309,375],"attractive":[199,270],"implementing":[203,274],"several":[206],"reasons,":[207],"including:":[208],"1)":[209],"Inference":[210],"rewrite":[212],"sequents,":[214],"proof":[215],"logical":[218],"axioms":[219],"directly":[222,292],"written":[223],"CHR.":[225],"2)":[226],"execution":[228],"interrupted":[234],"restarted":[236],"at":[237],"any":[238],"time,":[239],"with":[240,311,325,335],"intermediate":[241],"results":[242,308],"approximating":[243],"final":[245],"solution,":[246],"3)":[248],"Constraints":[249],"input":[252],"incrementally":[253,359],"they":[255],"become":[256],"known,":[257],"during":[258,347,361],"rule":[259,369],"execution,":[260],"requiring":[262],"recomputation.":[263],"These":[264],"three":[265],"properties":[266],"appear":[269,294],"schemes.":[276,385],"(defeasible)":[281],"ability":[285,300,354],"represent":[289,381],"quite":[297],"useful.":[298,366],"stop":[302],"computation":[304],"produce":[306],"approximate":[307,323],"compatible":[310],"one":[312],"objective":[313],"argumentation,":[315],"provide":[317],"principled":[319],"method":[320],"supporting":[322],"reasoning":[324],"limited":[326],"resources.":[327],"Because":[328],"takes":[331],"place":[332],"dialogs,":[334],"evidence":[336],"arguments":[338],"brought":[339],"forward":[340],"asserted":[342],"participants":[345],"incrementally,":[346],"course":[349],"dialog,":[352],"CHR\u2019s":[353],"handle":[356],"new":[357,368],"information,":[358],"computation,":[363],"may":[364],"This":[367],"it":[379],"twenty":[382],"representative":[383]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}