{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01221528,0.002094912,0.002648397,0.003108808,0.003242445,0.008288043,0.004686896,0.004564569,0.01055528],"category_scores_gemma":[0.05678887,0.001633784,0.007916757,0.004087553,0.007097998,0.02452284,0.006936651,0.01045863,0.002150143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00558287,"about_ca_system_score_gemma":0.003748507,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005784959,"about_ca_topic_score_gemma":0.006060302,"domain_scores_codex":[0.9902604,0.002777573,0.0007661394,0.001697097,0.003556003,0.0009428102],"domain_scores_gemma":[0.9262549,0.06278666,0.001632464,0.00637591,0.002345417,0.0006047593],"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.0004124593,0.0002916225,0.001302048,0.001120089,0.0004279818,0.0007750327,0.000909076,0.1531392,0.003524371,0.7665555,0.007720683,0.06382198],"study_design_scores_gemma":[0.00005306761,0.00005445668,0.0002339779,0.0001195199,0.0001028239,0.0001977431,0.00005001488,0.1512152,0.002359224,0.8415408,0.004036603,0.00003673891],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01717958,0.001183795,0.9576147,0.003725164,0.0001305172,0.0003068355,0.0006707074,0.0009878405,0.01820089],"genre_scores_gemma":[0.4663787,0.00346829,0.5071924,0.00204676,0.0008375851,0.001605686,0.003554638,0.0006275266,0.01428847],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01221528,"threshold_uncertainty_score":0.0646013,"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."}}