{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006065054,0.0006775102,0.0008267834,0.00141884,0.001832038,0.001747652,0.002467998,0.001282511,0.004299106],"category_scores_gemma":[0.01376949,0.0004659853,0.0021976,0.001632626,0.004763265,0.007013967,0.007145705,0.004376295,0.0007522847],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001657045,"about_ca_system_score_gemma":0.002360207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002056245,"about_ca_topic_score_gemma":0.001655698,"domain_scores_codex":[0.9957412,0.001631477,0.0002543774,0.0008595121,0.001075745,0.0004376634],"domain_scores_gemma":[0.9932904,0.002882649,0.0003553393,0.002052257,0.001103801,0.0003155228],"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.00005564263,0.00004996438,0.0002681351,0.00006895972,0.00001747563,0.0001930351,0.00068812,0.008384594,0.002274337,0.9524823,0.001805716,0.03371177],"study_design_scores_gemma":[0.0000374572,0.00006139497,0.0001910205,0.00002987738,0.00001782421,0.0002492128,0.0002572215,0.09128509,0.002406565,0.886068,0.01936846,0.00002788261],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04014596,0.000281803,0.9216676,0.001276064,0.0001596589,0.0001878241,0.000147266,0.0004986689,0.0356353],"genre_scores_gemma":[0.5136214,0.0004797096,0.4707032,0.001100859,0.00030206,0.0004939677,0.0004292378,0.0003751677,0.01249433],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006065054,"threshold_uncertainty_score":0.03207546,"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."}}