{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004777219,0.0001044892,0.0002615332,0.000215748,0.00005334723,0.00003495444,0.0002252202,0.00005201119,0.00001023965],"category_scores_gemma":[0.00008328527,0.00008139147,0.00005634629,0.0002262752,0.00004628455,0.0002634309,0.0000459957,0.0001912896,0.000008049798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002955531,"about_ca_system_score_gemma":0.00003656239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001522703,"about_ca_topic_score_gemma":8.793872e-7,"domain_scores_codex":[0.9988442,0.0001456725,0.0004583581,0.0001494329,0.0002772647,0.0001250604],"domain_scores_gemma":[0.9989682,0.0002986891,0.0004563511,0.0000649479,0.000154241,0.00005753194],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006877208,0.0002153845,0.00104139,0.00002095298,0.00001244736,0.0000354492,0.0006091319,0.4668855,0.00004059296,0.2406176,0.0009829921,0.2894698],"study_design_scores_gemma":[0.001362778,0.001441318,0.05908402,0.00008009367,0.000006877587,0.000149743,0.0001052868,0.1890525,0.00005815037,0.7469979,0.001497321,0.0001640455],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07883133,0.00007743781,0.9156051,0.001143343,0.0005371536,0.00006685564,5.063009e-7,0.00001115442,0.003727171],"genre_scores_gemma":[0.9378136,0.00001814509,0.06036331,0.0005200778,0.00125755,4.97652e-7,0.000001280765,0.000003252446,0.00002231807],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8589823,"threshold_uncertainty_score":0.3319048,"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."}}