{"id":"W4254455338","doi":"10.1007/978-1-4939-7131-2_100615","title":"Logic Programming","year":2018,"lang":"en","type":"book-chapter","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0001868718,0.0003048749,0.0002840259,0.0001034615,0.0001133595,0.0002408769,0.001238105,0.0003067598,0.001626259],"category_scores_gemma":[0.00001992635,0.0002245461,0.0001711275,0.00003919022,0.0001170189,0.0001521166,0.0005708007,0.0002223005,0.005865782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004819755,"about_ca_system_score_gemma":0.00009113203,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004846671,"about_ca_topic_score_gemma":0.00002587243,"domain_scores_codex":[0.9985724,0.000009493334,0.0002157943,0.0006191867,0.0002471633,0.0003359662],"domain_scores_gemma":[0.9987556,0.00004380415,0.000135911,0.000777449,0.0001600929,0.0001271403],"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":[5.673087e-7,0.000009063317,0.000002461871,0.00001146596,0.00001689093,0.00002456036,0.0001436473,3.62562e-8,8.250211e-7,0.9160399,0.01553852,0.0682121],"study_design_scores_gemma":[0.00006861075,0.0001269815,0.000003271686,0.00003737966,0.000008533227,0.00002609441,0.000001941699,0.000221432,0.00001719559,0.2111296,0.7880579,0.0003010816],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[6.778899e-7,0.0004228994,0.1601689,0.00009528783,0.0006489175,0.0001668646,4.816314e-7,0.0004809982,0.838015],"genre_scores_gemma":[0.000315711,0.00003786549,0.05711645,0.0003321356,0.0006029514,0.000007607166,0.00000454449,0.00002246338,0.9415603],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7725194,"threshold_uncertainty_score":0.9992864,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03229494320500396,"score_gpt":0.2469094926297058,"score_spread":0.2146145494247019,"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."}}