{"id":"W2573027291","doi":"","title":"Negation without negation in probabilistic logic programming","year":2016,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Negation; Probabilistic logic; Computer science; Conditional probability; Mathematics; Joint probability distribution; Algorithm; Theoretical computer science; Artificial intelligence; Algebra over a field; Programming language; Pure mathematics; Statistics","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":[],"consensus_categories":[],"category_scores_codex":[0.0006499848,0.0001779116,0.0002735266,0.0002457594,0.0001198595,0.00009225565,0.0003290647,0.00009753228,0.000007775813],"category_scores_gemma":[0.001373366,0.0001245953,0.00006416199,0.0005553063,0.0001380654,0.0006944631,0.0002555967,0.00009466624,0.0000180047],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009643052,"about_ca_system_score_gemma":0.0001153607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004581595,"about_ca_topic_score_gemma":0.000176364,"domain_scores_codex":[0.9982692,0.0001988039,0.0004848478,0.0005419118,0.0002094955,0.0002957308],"domain_scores_gemma":[0.9985977,0.0003635811,0.000300006,0.0003702821,0.000259038,0.0001093269],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00002955994,0.0002010439,0.2395868,0.0001389054,0.00001926483,0.000005269731,0.00442449,0.0001016846,0.002996374,0.4145063,0.00001038535,0.33798],"study_design_scores_gemma":[0.005923935,0.0004779419,0.6994034,0.002441612,0.00006413769,0.0001435633,0.0008227688,0.2229687,0.02021653,0.04131543,0.004968578,0.001253372],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5567088,0.001544326,0.4084175,0.0006675062,0.0005355341,0.001153895,0.000001503311,0.0003420934,0.03062885],"genre_scores_gemma":[0.9755399,0.0001132128,0.02335888,0.000008340824,0.00007024463,0.00006622646,0.000003490937,0.00001176751,0.0008279991],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4598166,"threshold_uncertainty_score":0.5080847,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03987223338670914,"score_gpt":0.302820400739416,"score_spread":0.2629481673527069,"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."}}