{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008688409,0.000998022,0.002081209,0.002717954,0.002284783,0.008473934,0.003935778,0.001981411,0.0034592],"category_scores_gemma":[0.03408226,0.00150212,0.005256118,0.003066156,0.004989182,0.01736781,0.004711804,0.006234129,0.0006134546],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005731646,"about_ca_system_score_gemma":0.003801121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01175221,"about_ca_topic_score_gemma":0.01152292,"domain_scores_codex":[0.9895598,0.002717427,0.0007682259,0.001687629,0.004019101,0.001247961],"domain_scores_gemma":[0.9490477,0.04224747,0.002204082,0.004498289,0.001531156,0.0004712057],"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.00033701,0.0002732802,0.001110277,0.0006305182,0.0002773447,0.0008248776,0.00104109,0.2066446,0.005103094,0.7458829,0.001660208,0.03621483],"study_design_scores_gemma":[0.00009809976,0.00003524448,0.0002135922,0.00004024229,0.0001057018,0.0001965851,0.000113034,0.353704,0.006480023,0.6364309,0.002545301,0.00003718014],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04200043,0.0004015843,0.9501173,0.001360919,0.00001981505,0.0001190756,0.0004004287,0.001126608,0.004453881],"genre_scores_gemma":[0.5425934,0.0008802187,0.4507036,0.0005160894,0.0001613766,0.0003284495,0.001301979,0.0002382349,0.003276706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01175221,"threshold_uncertainty_score":0.04594922,"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."}}