{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005881141,0.0008057285,0.0007584514,0.001214431,0.001167894,0.004594932,0.001759933,0.001289467,0.002634957],"category_scores_gemma":[0.01247358,0.000843832,0.001669877,0.002089291,0.006527189,0.009865355,0.00351965,0.003280993,0.0006140841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00238573,"about_ca_system_score_gemma":0.001640794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00320504,"about_ca_topic_score_gemma":0.002356375,"domain_scores_codex":[0.9939996,0.002369297,0.0005244677,0.001032541,0.001713774,0.0003603583],"domain_scores_gemma":[0.9938592,0.004323519,0.0003809023,0.0006559708,0.0005849188,0.000195472],"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.00002120884,0.0000118697,0.0001655849,0.00006339541,0.00001385912,0.00007989992,0.0002057405,0.009056987,0.0003460066,0.9744091,0.0005630359,0.01506335],"study_design_scores_gemma":[0.000008491836,0.000009766841,0.00003342581,0.00002801279,0.00001387428,0.00005697896,0.00002670464,0.02554754,0.0004679066,0.968491,0.005304464,0.00001171667],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009032471,0.0005683709,0.978573,0.001193614,0.00008272046,0.00006127117,0.0001324697,0.0003138938,0.0100421],"genre_scores_gemma":[0.3934025,0.001481914,0.5959812,0.0009824489,0.0003304183,0.0004325784,0.0004449221,0.0002431944,0.006700828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005881141,"threshold_uncertainty_score":0.03110284,"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."}}