{"id":"W1971508608","doi":"10.1016/j.artint.2004.11.004","title":"Partition-based logical reasoning for first-order and propositional theories","year":2004,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":116,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Soundness; Axiom; Computer science; Theoretical computer science; Completeness (order theory); Propositional calculus; Propositional formula; Automated reasoning; Satisfiability; Propositional variable; Mathematics; Algorithm; Description logic; Intermediate logic; 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.0003064404,0.0001432666,0.0001361565,0.00005013764,0.0004709354,0.0002335074,0.0003219577,0.00007517128,0.00003677664],"category_scores_gemma":[0.0003942029,0.0001182486,0.00006047268,0.0002658741,0.0002369781,0.0002694794,0.00007585249,0.00009380431,0.00007021648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004120724,"about_ca_system_score_gemma":0.0001344518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000251138,"about_ca_topic_score_gemma":0.0001169535,"domain_scores_codex":[0.9988458,0.00002995745,0.0002377821,0.0004134126,0.0001665758,0.0003065345],"domain_scores_gemma":[0.9990992,0.0002918594,0.00006581628,0.0002192451,0.0002208805,0.0001030059],"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.00002322636,0.0001103356,0.0001629362,0.00001244197,0.000005514824,0.000005127655,0.0005507009,0.0021038,0.0001552803,0.9871186,0.00002445314,0.009727564],"study_design_scores_gemma":[0.00006900971,0.0002635277,0.0002489824,0.000046166,0.000007188963,0.0000111712,0.00007792222,0.07026698,0.03075523,0.897495,0.0005452987,0.0002135485],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01115305,0.0001588544,0.984601,0.002375712,0.0002605132,0.0002676199,0.000004590949,0.0001417889,0.001036864],"genre_scores_gemma":[0.9314735,0.00000925173,0.06788866,0.0003486792,0.0001501712,0.00008710659,0.000006935243,0.000006858597,0.00002885925],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9203205,"threshold_uncertainty_score":0.4822039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0351189575418359,"score_gpt":0.2849085808585126,"score_spread":0.2497896233166767,"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."}}