{"id":"W1642340034","doi":"10.3233/fun-2001-48404","title":"Non-Clausal Reasoning with Definite Theories","year":2001,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Calculus (dental); Mathematics; Computer science; Epistemology; Algebra over a field; Pure mathematics; Philosophy","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.007243118,0.0009226481,0.0009270029,0.00217314,0.001756715,0.003460291,0.00392075,0.001354827,0.004401726],"category_scores_gemma":[0.009742551,0.0008177738,0.002278453,0.001351214,0.003982756,0.007357728,0.004040048,0.003310125,0.000839154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001664579,"about_ca_system_score_gemma":0.001572093,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002289784,"about_ca_topic_score_gemma":0.003110904,"domain_scores_codex":[0.9941189,0.002004066,0.0004007399,0.0007487457,0.002359269,0.0003681628],"domain_scores_gemma":[0.9946267,0.003186022,0.0003596304,0.0009158975,0.0007568264,0.0001549052],"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.00003506403,0.00004557511,0.000185706,0.0001908318,0.00003631056,0.0002220956,0.0003966235,0.00546049,0.001083036,0.9632146,0.001207077,0.02792253],"study_design_scores_gemma":[0.00004090814,0.00002657036,0.00009070434,0.00004968154,0.00003747857,0.0001618353,0.000120166,0.05065333,0.004306484,0.9290176,0.01546931,0.00002595646],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008031219,0.0006510681,0.9816554,0.0007086992,0.0001225071,0.00009470387,0.00008412605,0.0006013087,0.008050908],"genre_scores_gemma":[0.2452994,0.0008084663,0.7460262,0.0005267721,0.0002192718,0.0001516688,0.0004460279,0.0001317594,0.006390514],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007243118,"threshold_uncertainty_score":0.0383057,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01019027867258903,"score_gpt":0.226365688647173,"score_spread":0.216175409974584,"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."}}