{"id":"W95729046","doi":"","title":"Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming","year":2001,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Declarative programming; Programming language; Functional programming; Modularity (biology); Programming paradigm; Programming language theory; Fifth-generation programming language; Inductive programming; Constraint programming; Mathematics; Stochastic programming","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005530264,0.001844852,0.00176309,0.001459418,0.001267148,0.007289771,0.002322203,0.002072646,0.08130064],"category_scores_gemma":[0.009990604,0.001499321,0.001749896,0.001372624,0.002681772,0.004572097,0.003227009,0.006833014,0.03484774],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001351641,"about_ca_system_score_gemma":0.005423745,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005812873,"about_ca_topic_score_gemma":0.006182102,"domain_scores_codex":[0.9956417,0.00159125,0.0005560869,0.0005503871,0.001426164,0.0002344561],"domain_scores_gemma":[0.9945496,0.002333402,0.000216089,0.00120736,0.001151298,0.0005421954],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002439288,0.0002839185,0.0008708663,0.001114637,0.0001413332,0.0003376318,0.001304669,0.003818406,0.003568647,0.08028935,0.4937266,0.4143001],"study_design_scores_gemma":[0.00003057736,0.00004974445,0.0002688054,0.0003463523,0.00003544303,0.0002277118,0.0001270405,0.00302252,0.0005594984,0.01913125,0.9761772,0.00002387302],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.004591253,0.05293719,0.6181708,0.01543001,0.02887998,0.001467849,0.003405178,0.008844776,0.266273],"genre_scores_gemma":[0.03122663,0.05434334,0.5397431,0.006619014,0.006625006,0.00233941,0.01305631,0.004537877,0.3415093],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.08130064,"threshold_uncertainty_score":0.2719778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08763580501180075,"score_gpt":0.3122500864191455,"score_spread":0.2246142814073448,"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."}}