{"id":"W1501710627","doi":"10.1007/978-3-540-45072-6_22","title":"Logical Data Expiration for Fixpoint Extensions of Temporal Logics","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Fixed point; Mathematics; Mathematical analysis","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.01641157,0.001207939,0.001689362,0.002439186,0.002518739,0.00745621,0.004617747,0.003113019,0.007951866],"category_scores_gemma":[0.02926788,0.002214605,0.003967272,0.002515893,0.006633423,0.02357206,0.008987012,0.009849177,0.001408946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002969263,"about_ca_system_score_gemma":0.002234755,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001413123,"about_ca_topic_score_gemma":0.001302135,"domain_scores_codex":[0.9921583,0.002174653,0.001283986,0.001384161,0.00222147,0.0007774811],"domain_scores_gemma":[0.978642,0.01348958,0.001084145,0.004659249,0.001536131,0.0005889435],"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.0003447687,0.00007313905,0.0005693066,0.0002719097,0.00005208039,0.0002977746,0.0007273998,0.004722869,0.001747289,0.939495,0.002636393,0.04906198],"study_design_scores_gemma":[0.00006163424,0.0000368709,0.00007823867,0.00006975242,0.00006595272,0.0001694616,0.0001141692,0.01621654,0.002160934,0.9739163,0.007068201,0.00004188597],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02083565,0.00136125,0.9614015,0.00138238,0.0003274828,0.0001667171,0.0002773314,0.002344543,0.0119031],"genre_scores_gemma":[0.4658751,0.001954089,0.5113351,0.001032515,0.0007766023,0.0004627585,0.00127221,0.001321983,0.01596964],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01641157,"threshold_uncertainty_score":0.08679372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07657877478952711,"score_gpt":0.2933293041430649,"score_spread":0.2167505293535378,"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."}}