{"id":"W2912582951","doi":"","title":"Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming","year":2005,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Declarative programming; Programming language; Rotation formalisms in three dimensions; Concurrency; Modularity (biology); Constraint programming; Logic programming; Programming paradigm; Software engineering; Inductive programming; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007668363,0.001973661,0.002020376,0.001571552,0.001336876,0.007962402,0.002906529,0.0023449,0.08215246],"category_scores_gemma":[0.0135126,0.001590432,0.001953185,0.001802436,0.002734742,0.005754749,0.003582268,0.007673772,0.03439962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001642068,"about_ca_system_score_gemma":0.005831343,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00477061,"about_ca_topic_score_gemma":0.004606278,"domain_scores_codex":[0.993768,0.00236221,0.0008967047,0.0007394932,0.001926564,0.0003070953],"domain_scores_gemma":[0.9896633,0.005386276,0.0003490483,0.001991759,0.001815366,0.0007941803],"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.0002380922,0.0002612025,0.000833151,0.0015954,0.0001560078,0.0003603785,0.001451019,0.002751705,0.003052428,0.097243,0.5038719,0.3881857],"study_design_scores_gemma":[0.00002899856,0.00004604222,0.0002246091,0.0003920783,0.00003087693,0.0002333207,0.0001265821,0.002030381,0.0004611958,0.01978508,0.9766177,0.00002315936],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.003967172,0.06451779,0.620353,0.02191303,0.03367378,0.001476165,0.004102958,0.01080713,0.239189],"genre_scores_gemma":[0.02964089,0.07520355,0.5623075,0.009396577,0.01048905,0.002491303,0.01486842,0.006357429,0.2892453],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.08215246,"threshold_uncertainty_score":0.2748274,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07459744510289451,"score_gpt":0.3086949765920575,"score_spread":0.234097531489163,"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."}}