{"id":"W4251006659","doi":"10.1007/978-1-4614-6170-8_100876","title":"Logic Programming","year":2014,"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":"Programming language; Computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005204629,0.001027968,0.0007461025,0.001279565,0.001081099,0.004667129,0.001476519,0.0009475098,0.05165759],"category_scores_gemma":[0.001325969,0.0005554926,0.0006328883,0.001925679,0.002134435,0.004557472,0.001518896,0.00356692,0.02500668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002129455,"about_ca_system_score_gemma":0.001285155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001594597,"about_ca_topic_score_gemma":0.002116031,"domain_scores_codex":[0.9993857,0.0001213106,0.00002804321,0.0001325708,0.0002887668,0.00004365089],"domain_scores_gemma":[0.9996458,0.0001610078,0.00001449402,0.00007044341,0.00008392386,0.00002432744],"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.00001323039,0.00002872445,0.00007172452,0.0002222678,0.0000124019,0.00003799345,0.0001742111,0.0004966462,0.0002766204,0.702266,0.1517595,0.1446407],"study_design_scores_gemma":[0.000006836195,0.000004646655,0.00007566997,0.0001509499,0.000005568084,0.0001009486,0.00004569982,0.0006547656,0.000199937,0.4506437,0.5481047,0.000006695913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.0008630787,0.02677541,0.09828719,0.004954091,0.001195229,0.00007162612,0.0007536217,0.001045666,0.8660541],"genre_scores_gemma":[0.05686369,0.03685388,0.09117334,0.004815197,0.002257029,0.0003030297,0.002839715,0.00117827,0.8037158],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.05165759,"threshold_uncertainty_score":0.1728119,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02563945676541805,"score_gpt":0.2339507989768251,"score_spread":0.2083113422114071,"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."}}