{"id":"W2143269622","doi":"10.1017/s1471068404002285","title":"Integrating design synthesis and assembly of structured objects in a visual design language","year":2005,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","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; Visual programming language; Design language; Fifth-generation programming language; Programmer; Programming paradigm; Logic programming; Procedural programming; Functional logic programming; Inductive programming","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":[],"consensus_categories":[],"category_scores_codex":[0.004479704,0.0001407918,0.0002269018,0.0001279574,0.00003912134,0.00004321667,0.00007705994,0.00008759645,0.00003064258],"category_scores_gemma":[0.006042676,0.0001264087,0.00001958025,0.0002033333,0.00006755524,0.0005971357,0.0000191656,0.000213102,0.00000161076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001880913,"about_ca_system_score_gemma":0.00003544339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001552858,"about_ca_topic_score_gemma":0.000005623874,"domain_scores_codex":[0.9980739,0.001208066,0.0002918148,0.0001427154,0.0001045502,0.000178902],"domain_scores_gemma":[0.9889289,0.01069875,0.000171432,0.0001051895,0.00004329246,0.00005245439],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0008489597,0.0001491986,0.00003551598,0.0002217663,0.00008958632,0.00001379309,0.01791734,0.001820537,0.07225212,0.009949676,0.00001630997,0.8966852],"study_design_scores_gemma":[0.002686839,0.001694381,0.0009202933,0.001013173,0.001038993,0.00117228,0.22894,0.033472,0.708762,0.01389195,0.004602015,0.001806093],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3126939,0.01383228,0.6592382,0.0004447851,0.0002098785,0.001386902,0.000005181634,0.0002911132,0.01189782],"genre_scores_gemma":[0.8271622,0.000158737,0.1725673,0.00004296491,0.00002392839,0.00002239377,8.358361e-7,0.00001150874,0.00001008086],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8948791,"threshold_uncertainty_score":0.7234084,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02443424095857679,"score_gpt":0.3142253968630848,"score_spread":0.289791155904508,"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."}}