{"id":"W58787838","doi":"","title":"Proceedings of the 14th symposium on Principles and practice of declarative programming","year":2012,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Programming language; Concurrency; Semantics (computer science); Declarative programming; Rotation formalisms in three dimensions; Library science; Programming paradigm; Mathematics; Inductive 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005338404,0.00007834435,0.0001076191,0.00002778732,0.00006569719,0.00004090609,0.0003237338,0.00003674318,0.00000156363],"category_scores_gemma":[0.0003465612,0.00004280352,0.00003112977,0.0002065066,0.0000853509,0.0006045246,0.0002545223,0.00007249404,0.000002212098],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001255024,"about_ca_system_score_gemma":0.00002699719,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001032348,"about_ca_topic_score_gemma":0.000001934859,"domain_scores_codex":[0.9993477,0.00002580997,0.0001394324,0.0001395474,0.0001796067,0.0001679077],"domain_scores_gemma":[0.9991885,0.0002294701,0.0001995306,0.0001297559,0.0002020328,0.00005072212],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001389513,0.0002557617,0.02015725,0.00004874667,0.00002114406,1.141163e-7,0.01253853,0.000001232611,0.004120607,0.958661,0.0001461162,0.004035646],"study_design_scores_gemma":[0.001487133,0.001940052,0.1194574,0.0004352858,0.000145379,0.00022092,0.007866643,0.005597588,0.6519471,0.002075494,0.2079956,0.0008313845],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3626225,0.0003846567,0.01028452,0.001575196,0.000358521,0.0007085663,5.508261e-7,0.00009648839,0.623969],"genre_scores_gemma":[0.9723849,0.00001127706,0.02678998,0.00006520763,0.00004086802,0.000009123482,4.509459e-8,0.000003164722,0.0006954623],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9565855,"threshold_uncertainty_score":0.1745477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03071770813176984,"score_gpt":0.2689145262220885,"score_spread":0.2381968180903187,"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."}}