{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00134708,0.0004458662,0.0006279229,0.0003900964,0.0002472512,0.0002500512,0.004478213,0.0003911385,0.00002034686],"category_scores_gemma":[0.0005326595,0.0003499539,0.0001448565,0.0004203045,0.0006533027,0.0005950101,0.001994299,0.0004665465,0.00001292948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001208494,"about_ca_system_score_gemma":0.0005076207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007991782,"about_ca_topic_score_gemma":0.00008074674,"domain_scores_codex":[0.9963574,0.00004879571,0.0006526186,0.001726586,0.0006637435,0.0005507969],"domain_scores_gemma":[0.99575,0.0007146095,0.0004344439,0.002477853,0.0004656485,0.0001574341],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002455057,0.0002617849,0.0002383534,0.0001649434,0.00003262897,0.00009179865,0.0009351317,0.008862196,0.000542069,0.4228617,0.001627005,0.5643579],"study_design_scores_gemma":[0.0004706457,0.0005780679,0.0001140418,0.0002551398,0.00001874602,0.00008260607,3.659269e-7,0.5828331,0.001421058,0.3979587,0.01551016,0.0007574009],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003317609,0.0005875974,0.992705,0.0005712921,0.001639654,0.0005658261,0.0000259465,0.00008872193,0.003782734],"genre_scores_gemma":[0.07617472,0.0000531635,0.9210128,0.001595894,0.000464406,0.00001359142,0.00006914278,0.00002885558,0.0005874492],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5739709,"threshold_uncertainty_score":0.9998953,"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."}}