{"id":"W2128519709","doi":"10.1109/hcc.2002.1046356","title":"Solving design problems in a logic-based visual design environment","year":2003,"lang":"en","type":"article","venue":"","topic":"Design Education and Practice","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Computer science; Programming language; Design language; Logic programming; Programmer; Visual programming language; Inductive programming; Functional logic programming; Programming paradigm; Theoretical computer science; Software engineering","routes":{"ca_aff":true,"ca_fund":false,"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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007419139,0.0001260225,0.00009926454,0.00009464165,0.00002992694,0.00004033284,0.0000660211,0.00006069531,0.001756818],"category_scores_gemma":[0.00008837289,0.0001226229,0.00002053933,0.0001332125,0.00001185832,0.0001463953,0.00000324528,0.0001292305,0.000406568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001145747,"about_ca_system_score_gemma":0.00004944011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006520497,"about_ca_topic_score_gemma":0.000001556924,"domain_scores_codex":[0.9990991,0.0002204302,0.0001828788,0.0001455239,0.0001131078,0.000238969],"domain_scores_gemma":[0.9994168,0.000362215,0.00002091701,0.0001249766,0.000006601609,0.00006854661],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005721842,0.0001397407,0.0001659935,0.00001909808,0.000008740631,0.000004035115,0.0001960899,0.9838736,0.01114957,0.000744794,0.002159151,0.001533437],"study_design_scores_gemma":[0.001542749,0.0002711467,0.0008769194,0.00005039806,0.00002905692,0.00001869692,0.0004473609,0.8440544,0.0881452,0.002305875,0.06134762,0.0009105825],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004799623,0.0001950289,0.9840034,0.00007895663,0.000121903,0.0003543049,1.277618e-7,0.0001438281,0.0146225],"genre_scores_gemma":[0.8246645,0.00004745834,0.1740866,0.0003072677,0.00001313915,0.0001087839,0.00000132527,0.00002967948,0.000741184],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8241846,"threshold_uncertainty_score":0.9991557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05278293213137173,"score_gpt":0.2554384502650147,"score_spread":0.202655518133643,"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."}}