{"id":"W2317113105","doi":"10.1093/logcom/exu039","title":"Special Issue on Computational Logic in Honour of Roy Dyckhoff","year":2014,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Honour; Computer science; Law; Political science","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.003826037,0.002497501,0.002951372,0.004177524,0.002870719,0.01037154,0.001813706,0.006362148,0.07231466],"category_scores_gemma":[0.01330436,0.000826703,0.001427346,0.002284113,0.002770612,0.009520026,0.003546069,0.008836147,0.02948509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005848669,"about_ca_system_score_gemma":0.003743763,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002283277,"about_ca_topic_score_gemma":0.003871621,"domain_scores_codex":[0.9956091,0.0006699256,0.0002798567,0.0008929587,0.002183819,0.0003643293],"domain_scores_gemma":[0.9908293,0.002610068,0.0004521527,0.0007074485,0.003216346,0.002184665],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001786703,0.00001083445,0.00002887631,0.00007119663,0.000007740251,0.00002391217,0.000018705,0.00004397941,0.00007329458,0.008445066,0.9841791,0.007079493],"study_design_scores_gemma":[0.00001282205,0.00001069559,0.0001305797,0.00006904646,0.000008866336,0.00004664664,0.00001646369,0.0001325863,0.00007010094,0.009052058,0.9904419,0.000008378682],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0002936707,0.03058445,0.002025328,0.1455982,0.7618873,0.00005732813,0.0005427884,0.0002153695,0.05879557],"genre_scores_gemma":[0.00429628,0.01234648,0.0006467326,0.01622628,0.812843,0.00005948871,0.0003708134,0.0005271782,0.1526837],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.07231466,"threshold_uncertainty_score":0.2419166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01781327407082046,"score_gpt":0.271086813178269,"score_spread":0.2532735391074485,"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."}}