{"id":"W1523592965","doi":"","title":"Fixpoint Extensions of Temporal Description Logics.","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Decidability; Computer science; Extension (predicate logic); Description logic; Temporal logic; Modal μ-calculus; Fixed point; Algorithm; Theoretical computer science; Programming language; Mathematics; Multimodal logic; Zeroth-order logic","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.004849511,0.0008312378,0.0006907415,0.001680123,0.001131448,0.002690369,0.002184026,0.001011864,0.004397776],"category_scores_gemma":[0.01006597,0.0007117206,0.002301806,0.001029456,0.003816366,0.008575397,0.003831603,0.004697929,0.0005450758],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002745655,"about_ca_system_score_gemma":0.00145042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001538064,"about_ca_topic_score_gemma":0.001253785,"domain_scores_codex":[0.9958872,0.0007992243,0.0003536666,0.001060104,0.001579816,0.0003199494],"domain_scores_gemma":[0.9910713,0.006189781,0.0006061955,0.001120949,0.0007494648,0.0002622134],"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.00005713528,0.00003396141,0.0002960864,0.0001859714,0.000045516,0.0002374581,0.0003697427,0.004308114,0.002413741,0.9707184,0.0005458203,0.02078813],"study_design_scores_gemma":[0.00003157827,0.00004466073,0.0001118488,0.00005911921,0.00004278729,0.0001840675,0.00008845523,0.01957244,0.004338629,0.9590178,0.01648733,0.00002131011],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02289846,0.00176833,0.9613692,0.0008260458,0.0001929513,0.0002639068,0.0003552288,0.0005882992,0.01173744],"genre_scores_gemma":[0.5475952,0.003136727,0.4310936,0.001143616,0.000518996,0.0008944984,0.001350692,0.0002151449,0.01405156],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004849511,"threshold_uncertainty_score":0.02564698,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07150211411768126,"score_gpt":0.2940273425980022,"score_spread":0.222525228480321,"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."}}