{"id":"W2786363783","doi":"10.3233/aac-180039","title":"Representing argumentation schemes with Constraint Handling Rules (CHR)","year":2018,"lang":"en","type":"article","venue":"Argument & Computation","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Argumentation theory; Constraint (computer-aided design); Computer science; Mathematics; Epistemology; Philosophy","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003950002,0.0001631846,0.0001526606,0.0001431661,0.0003404573,0.0003434513,0.0002255155,0.00004427824,0.00002320397],"category_scores_gemma":[0.00002593304,0.0001443317,0.00004206491,0.0002539738,0.00006695028,0.0008254175,0.00008660654,0.0000709421,0.0001520912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008065777,"about_ca_system_score_gemma":0.00005021604,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007494669,"about_ca_topic_score_gemma":0.00001693618,"domain_scores_codex":[0.9983678,0.000092631,0.000368193,0.0004799455,0.0004319762,0.0002594894],"domain_scores_gemma":[0.9990331,0.00008184974,0.0003127191,0.0002644659,0.0002354534,0.00007241264],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001479101,0.0008916143,0.08953054,0.000336678,0.0005895255,0.00006048417,0.0223016,0.01348978,0.06651687,0.18922,0.002442228,0.6144728],"study_design_scores_gemma":[0.001852523,0.0003613031,0.02601508,0.0002545414,0.00002928238,0.00003882771,0.0003515565,0.9295856,0.03671076,0.00267583,0.001652193,0.0004725073],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3984802,0.0000258017,0.5998688,0.0002293457,0.0002654114,0.0002489678,7.996078e-7,0.0001485379,0.000732123],"genre_scores_gemma":[0.8935252,0.000003969649,0.1060147,0.0001309132,0.0001904739,0.00002189225,0.00003175758,0.00001060257,0.00007053411],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9160958,"threshold_uncertainty_score":0.5885677,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02331531191173238,"score_gpt":0.278048186050768,"score_spread":0.2547328741390356,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}