{"id":"W1549792078","doi":"","title":"A tractability result for reasoning with incomplete first-order knowledge bases","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Undecidable problem; Joins; Extension (predicate logic); Computer science; Logical consequence; Scheme (mathematics); Theoretical computer science; Description logic; Conservative extension; Artificial intelligence; Decidability; Mathematics; Programming language","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.0008410321,0.0002645609,0.0003080494,0.00008358672,0.0004204636,0.0001944025,0.0006464361,0.00008873727,0.00008879672],"category_scores_gemma":[0.001069796,0.0001853578,0.0001066126,0.0006322954,0.00009671532,0.0004868912,0.0001069494,0.0001414475,0.00006582848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007942385,"about_ca_system_score_gemma":0.0002716449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005825083,"about_ca_topic_score_gemma":0.0009815746,"domain_scores_codex":[0.9980978,0.0001290943,0.0002977229,0.0007401502,0.0001824255,0.0005527451],"domain_scores_gemma":[0.9976625,0.0007757952,0.0001057009,0.0008139284,0.0004492881,0.0001928038],"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.0001010075,0.0008433205,0.01350353,0.0001577973,0.00006949356,0.00001269668,0.003975911,0.00008252307,0.000107031,0.9568819,0.01041304,0.01385179],"study_design_scores_gemma":[0.004660069,0.001243942,0.01656683,0.0001802961,0.00005392315,0.0001433017,0.0003628814,0.08829696,0.004321385,0.01389019,0.8687918,0.001488431],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01094232,0.0003018288,0.7708274,0.0003239324,0.0002743759,0.0005569684,0.000004563032,0.000380325,0.2163883],"genre_scores_gemma":[0.7434341,0.000007482244,0.2525651,0.0001648828,0.00007753908,0.0001277705,0.000003752138,0.00001949007,0.003599855],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9429917,"threshold_uncertainty_score":0.7558673,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02349853712615374,"score_gpt":0.2571593573054058,"score_spread":0.233660820179252,"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."}}