{"id":"W2401244395","doi":"","title":"Extending AGM contraction to arbitrary logics","year":2015,"lang":"en","type":"article","venue":"Griffith Research Online (Griffith University, Queensland, Australia)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Contraction (grammar); Conjunction (astronomy); Computer science; Mathematics; Algorithm; Mathematical economics; Theoretical computer science; Linguistics; Philosophy; Physics","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.002335946,0.0004800571,0.0005809947,0.001213277,0.0006763117,0.0004385757,0.002667768,0.0004253108,0.0000748391],"category_scores_gemma":[0.000639841,0.0004545019,0.0002076977,0.002701802,0.0003140974,0.001355871,0.001359218,0.001690746,0.00091716],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007436931,"about_ca_system_score_gemma":0.0007714234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001619197,"about_ca_topic_score_gemma":0.002072068,"domain_scores_codex":[0.993876,0.0008691451,0.0004261578,0.001308306,0.001767732,0.001752641],"domain_scores_gemma":[0.9950201,0.0004680371,0.0001809156,0.001176322,0.001465742,0.001688877],"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.00207615,0.004513994,0.08612037,0.0003113926,0.0005944256,0.00868762,0.008739937,0.002300304,0.002667584,0.4158939,0.4335648,0.03452957],"study_design_scores_gemma":[0.009489344,0.004142791,0.2114372,0.0004822455,0.0001188227,0.0006020591,0.006650399,0.00933219,0.001432773,0.01391885,0.7394062,0.002987185],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8914372,0.0003778726,0.0575215,0.01226027,0.002555848,0.002066704,0.0002515791,0.001281782,0.03224723],"genre_scores_gemma":[0.9377498,0.0002179135,0.0250918,0.0002849328,0.001081387,0.000006736204,0.0001318911,0.00004824991,0.03538729],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.401975,"threshold_uncertainty_score":0.9998608,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2948260427832511,"score_gpt":0.4045158067958292,"score_spread":0.1096897640125781,"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."}}