{"id":"W2963390246","doi":"10.1017/s1471068417000291","title":"Well-founded operators for normal hybrid MKNF knowledge bases","year":2017,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; DPLL algorithm; Operator (biology); Knowledge base; Solver; Knowledge representation and reasoning; Theoretical computer science; Constraint (computer-aided design); Realization (probability); Algorithm; Artificial intelligence; Programming language; Mathematics","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.00510474,0.0002088943,0.0002924118,0.00006356534,0.001036785,0.0006233546,0.001060233,0.00008232352,0.00001959154],"category_scores_gemma":[0.00594314,0.000166019,0.000102447,0.00007424824,0.0003328498,0.001986307,0.0005072877,0.000185928,0.0000264385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001741343,"about_ca_system_score_gemma":0.0001023887,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001744205,"about_ca_topic_score_gemma":0.000006880715,"domain_scores_codex":[0.9982499,0.0005148354,0.0002744175,0.0004250098,0.0001294838,0.0004062994],"domain_scores_gemma":[0.9950375,0.003372358,0.0004532887,0.0007376563,0.0002638125,0.0001353631],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002415285,0.0002214688,0.0001424315,0.00008081319,0.00004654582,0.00001779757,0.0009958458,0.000001326311,0.0001227009,0.7152466,0.0001066926,0.2827763],"study_design_scores_gemma":[0.00349034,0.003201125,0.0005769726,0.0002257375,0.0003519428,0.0008065033,0.002442393,0.003266012,0.01183634,0.2819418,0.6905798,0.001280998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03363343,0.005867482,0.6709941,0.001294389,0.001680067,0.00136863,0.000007409863,0.0003615333,0.284793],"genre_scores_gemma":[0.9418387,0.000114486,0.05670675,0.0001648672,0.0001917234,0.00005771548,0.000002891428,0.00001214089,0.0009107224],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9082053,"threshold_uncertainty_score":0.7974218,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03538053620335877,"score_gpt":0.3295888816316333,"score_spread":0.2942083454282745,"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."}}