{"id":"W2572706305","doi":"","title":"Decidable reasoning in a logic of limited belief with function symbols","year":2016,"lang":"en","type":"article","venue":"RWTH Publications (RWTH Aachen)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Non-monotonic logic; Computer science; Function (biology); Completeness (order theory); Deductive reasoning; Semantics (computer science); Description logic; Class (philosophy); Mathematics; Artificial intelligence; Theoretical computer science; 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.00753582,0.0007393791,0.001006886,0.001678899,0.00165818,0.004993679,0.002540671,0.001825957,0.002364882],"category_scores_gemma":[0.01405497,0.0007535492,0.003383392,0.001801747,0.006505983,0.01203674,0.004198269,0.004384255,0.0003713308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002473905,"about_ca_system_score_gemma":0.001874879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002704914,"about_ca_topic_score_gemma":0.002508076,"domain_scores_codex":[0.9949398,0.002222139,0.0004531702,0.0007648875,0.001147248,0.0004727085],"domain_scores_gemma":[0.9872273,0.01020006,0.000658873,0.0009876156,0.0006236743,0.0003023685],"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.00003668083,0.00003419721,0.0001521227,0.00008062849,0.0000339099,0.0002180096,0.000456611,0.008841089,0.001058146,0.9822407,0.0005042821,0.006343595],"study_design_scores_gemma":[0.00003582098,0.00002279151,0.0000645519,0.00002536087,0.00003259597,0.0001115743,0.00007532365,0.0453698,0.001360613,0.9506868,0.002196284,0.00001853267],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02674528,0.000400095,0.9622682,0.001549122,0.00004394858,0.00008001849,0.0002066048,0.000289424,0.008417227],"genre_scores_gemma":[0.5036443,0.0006505683,0.4894193,0.0007610267,0.0002110864,0.0003458724,0.000528998,0.0000854113,0.004353312],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00753582,"threshold_uncertainty_score":0.03985369,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01778734998925226,"score_gpt":0.2328811087589867,"score_spread":0.2150937587697345,"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."}}