{"id":"W4237086958","doi":"10.1145/1013963","title":"Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming","year":2004,"lang":"en","type":"paratext","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Programming language; Declarative programming; Programming paradigm; 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.0005066722,0.0002169765,0.0002722933,0.000107162,0.00009364366,0.0001832317,0.001615209,0.000165309,0.00004571067],"category_scores_gemma":[0.0006184285,0.000145057,0.00005502824,0.0002074883,0.0001358447,0.00035174,0.0006381654,0.0004055308,0.00001828602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004819364,"about_ca_system_score_gemma":0.0003839566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008069909,"about_ca_topic_score_gemma":0.000005162758,"domain_scores_codex":[0.9985334,0.0000429216,0.0003595397,0.0004052891,0.0004791584,0.0001797374],"domain_scores_gemma":[0.9977577,0.0004982277,0.00083455,0.0002900132,0.0005714865,0.0000480436],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003599853,0.0006634244,0.001722238,0.001529019,0.0007410111,0.00001011971,0.02561449,0.00378238,0.002274081,0.8941483,0.03795746,0.03119742],"study_design_scores_gemma":[0.003688366,0.003915704,0.001547594,0.02013026,0.0003032847,0.000515571,0.005983273,0.0347019,0.07029241,0.01085295,0.8450435,0.003025167],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.003051972,0.0005085128,0.07691551,0.008268914,0.001440447,0.001262328,0.00007811922,0.00009411311,0.9083801],"genre_scores_gemma":[0.5526529,0.0003426227,0.4002781,0.0006615788,0.0002335383,0.00008194293,0.00005629586,0.00004224383,0.04565081],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8832954,"threshold_uncertainty_score":0.5915254,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06973443593257375,"score_gpt":0.3170802879935868,"score_spread":0.2473458520610131,"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."}}