{"id":"W4403810684","doi":"10.1017/s1471068424000255","title":"On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases","year":2024,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"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.008696602,0.0006638292,0.0009492529,0.002483663,0.001883509,0.004844766,0.00422014,0.001930987,0.005497613],"category_scores_gemma":[0.03250736,0.0009958944,0.002434787,0.002580235,0.006455732,0.006643649,0.007610766,0.004532813,0.0006345221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003183874,"about_ca_system_score_gemma":0.003161226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009514403,"about_ca_topic_score_gemma":0.009578245,"domain_scores_codex":[0.9926999,0.002898205,0.0005563436,0.0008181319,0.002372919,0.000654485],"domain_scores_gemma":[0.9758197,0.01875816,0.00095414,0.00162322,0.002342682,0.0005020297],"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.00004589966,0.00008169354,0.0004439411,0.00013739,0.00004384783,0.000160921,0.0006104182,0.07516523,0.0005656434,0.9015304,0.001006518,0.02020818],"study_design_scores_gemma":[0.00001878698,0.00001278121,0.00005130997,0.00005170111,0.00001577551,0.00003971553,0.0001159208,0.2146353,0.0005332626,0.7824397,0.002071047,0.00001472596],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01532811,0.0001974284,0.9748459,0.001346544,0.00003767502,0.0001801637,0.0001790048,0.0002435301,0.007641632],"genre_scores_gemma":[0.329725,0.0003061436,0.6658415,0.0005350933,0.0001085943,0.0003987561,0.0006469587,0.0001115614,0.002326342],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009514403,"threshold_uncertainty_score":0.04599255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05358612368344712,"score_gpt":0.3415910061733454,"score_spread":0.2880048824898983,"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."}}