{"id":"W1987500336","doi":"10.1016/j.ijar.2007.03.001","title":"Merging the local and global approaches to probabilistic satisfiability","year":2007,"lang":"en","type":"article","venue":"International Journal of Approximate Reasoning","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"Group for Research in Decision Analysis; HEC Montréal","funders":"Leibniz-Gemeinschaft","keywords":"Probabilistic logic; Satisfiability; Consistency (knowledge bases); Logical consequence; Set (abstract data type); Mathematics; Mathematical optimization; Computer science; Column generation; Algorithm; Discrete mathematics; Artificial intelligence","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.002119666,0.0001134775,0.0001453415,0.00006867214,0.00008688054,0.0002672817,0.0009418136,0.00003941938,0.000002189289],"category_scores_gemma":[0.0002876632,0.00007731364,0.00005892324,0.0001988195,0.00009327316,0.0003333807,0.0002636651,0.0001950388,0.000002177086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001614223,"about_ca_system_score_gemma":0.00009107194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002820329,"about_ca_topic_score_gemma":0.00001005919,"domain_scores_codex":[0.9985768,0.00005514424,0.0004132152,0.0001990894,0.0005402848,0.0002154282],"domain_scores_gemma":[0.9990251,0.0001761184,0.0002159059,0.0001720584,0.0002649213,0.0001459169],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006212279,0.00005581447,0.004397132,0.0000112916,0.00007184145,0.00004855886,0.001154673,0.005713494,0.00008366154,0.66623,0.00003936289,0.3221321],"study_design_scores_gemma":[0.0007264748,0.0002371926,0.0322763,0.0004552673,0.00003430378,0.002575929,0.000854339,0.7745891,0.001175787,0.1859995,0.0006552241,0.000420598],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1306223,0.0001380751,0.8650621,0.002730766,0.0003200847,0.00006944156,0.000001281729,0.00002163738,0.001034281],"genre_scores_gemma":[0.8637975,0.000006881812,0.1359239,0.0001571785,0.0001048289,0.000001554193,2.619091e-7,0.000003768943,0.000004147816],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7688755,"threshold_uncertainty_score":0.3152759,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04887454489303928,"score_gpt":0.2829215156129502,"score_spread":0.2340469707199109,"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."}}