{"id":"W2151965800","doi":"","title":"Tractable reasoning in first-order knowledge bases with disjunctive information","year":2005,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Bounded function; Computer science; Knowledge base; Theoretical computer science; Description logic; Circumscription; Order (exchange); Propositional calculus; Situation calculus; Non-monotonic logic; Action (physics); Base (topology); Artificial intelligence; 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.0002604143,0.0001647318,0.0001660166,0.0001706627,0.0001393199,0.0002004034,0.0003992435,0.00006223753,0.0001108606],"category_scores_gemma":[0.0001136054,0.0001164048,0.00003105696,0.0007544548,0.00003361196,0.003639524,0.0001226622,0.0001462771,0.0004355947],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001210878,"about_ca_system_score_gemma":0.0001392149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001628735,"about_ca_topic_score_gemma":0.003114545,"domain_scores_codex":[0.9989966,0.00003494309,0.0002225323,0.0002357908,0.0001607259,0.000349409],"domain_scores_gemma":[0.999226,0.0001273395,0.00007823428,0.0003082332,0.0001691595,0.00009105701],"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.0001251835,0.001172576,0.05613684,0.0001057937,0.00006185095,0.00001893272,0.04683121,0.005728375,0.00003035236,0.5118009,0.0170678,0.3609202],"study_design_scores_gemma":[0.002590612,0.000358645,0.05639836,0.0001935793,0.00001328039,0.0000548355,0.0008472026,0.6347035,0.001390056,0.0006421272,0.3019907,0.0008170814],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01895402,0.0002173977,0.4807289,0.000591082,0.0001417941,0.0002426239,8.789084e-7,0.0002721822,0.4988512],"genre_scores_gemma":[0.9512058,0.00001875752,0.04572755,0.0002474285,0.00008042918,0.00003874693,0.000005184433,0.000006726391,0.002669306],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9322519,"threshold_uncertainty_score":0.5598834,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007595747985419319,"score_gpt":0.2169404725530601,"score_spread":0.2093447245676408,"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."}}