{"id":"W2725994932","doi":"","title":"Automated Reasoning for the Dialetheic Logic RM3.","year":2017,"lang":"en","type":"article","venue":"The Florida AI Research Society","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Description logic; Artificial intelligence","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.003212613,0.0005944978,0.0005362938,0.001889276,0.001946334,0.003393803,0.00215332,0.001314336,0.01358498],"category_scores_gemma":[0.01012686,0.0004693175,0.002664347,0.001173605,0.001713423,0.007236332,0.005317335,0.002353829,0.002348782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001655109,"about_ca_system_score_gemma":0.001708481,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003608159,"about_ca_topic_score_gemma":0.005402466,"domain_scores_codex":[0.9968754,0.001375235,0.0002260966,0.0004065928,0.0008573264,0.0002593299],"domain_scores_gemma":[0.9959819,0.002464358,0.0001516575,0.0007388676,0.0005336206,0.0001296201],"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.000239629,0.0001594326,0.0008912974,0.0004107378,0.0001139816,0.0003918176,0.0005444611,0.00696046,0.00332282,0.8750713,0.01854988,0.09334424],"study_design_scores_gemma":[0.00005514802,0.00002247558,0.0002483907,0.00009106821,0.00005967462,0.0002904956,0.0002513201,0.04361407,0.008042066,0.9090744,0.03822455,0.00002646475],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03312809,0.001486605,0.8986509,0.003709801,0.0003255752,0.0002107889,0.002348291,0.004428533,0.05571134],"genre_scores_gemma":[0.4765756,0.0008212987,0.4963185,0.001516027,0.0002463925,0.0001755804,0.005385143,0.0005769703,0.01838463],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01358498,"threshold_uncertainty_score":0.04544628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1539781003013757,"score_gpt":0.4385336160314376,"score_spread":0.2845555157300619,"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."}}