{"id":"W4386211456","doi":"10.4204/eptcs.385.40","title":"Proceedings 39th International Conference on Logic Programming","year":2023,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Ministerio de Ciencia e Innovación","keywords":"Computer science; Programming language","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00283703,0.0003575658,0.000314398,0.0008024261,0.00041429,0.001366384,0.0048454,0.00012554,0.00003547859],"category_scores_gemma":[0.0003900632,0.000297456,0.00009107814,0.004318381,0.001382694,0.001320473,0.001535242,0.0007551964,0.0002635911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004825909,"about_ca_system_score_gemma":0.0003667841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001827972,"about_ca_topic_score_gemma":0.000001026011,"domain_scores_codex":[0.9950477,0.00001522825,0.0004199234,0.001497999,0.00117504,0.001844064],"domain_scores_gemma":[0.9986466,0.00009711304,0.0001519953,0.0002625715,0.0005666569,0.0002750994],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001564045,0.0001041416,0.0004234627,0.00001397787,0.000005666016,0.00001025425,0.001085303,0.000008082814,0.0005986913,0.9716058,0.0002117156,0.02591726],"study_design_scores_gemma":[0.0003991963,0.0006550623,0.0008931112,0.0000969954,0.000002716621,0.0000620717,0.00006655706,0.4526512,0.00215576,0.5415173,0.00109706,0.0004029626],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2620559,0.000117772,0.3515406,0.01715797,0.003712913,0.002076499,0.000002137434,0.004833409,0.3585028],"genre_scores_gemma":[0.9853653,0.00004819368,0.01368464,0.0004389103,0.0002570787,0.00008100602,0.000001216604,0.00001693973,0.0001067688],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7233093,"threshold_uncertainty_score":0.9999477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01676818825941518,"score_gpt":0.2752422237685466,"score_spread":0.2584740355091314,"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."}}