{"id":"W98927850","doi":"10.5591/978-1-57735-516-8/ijcai11-152","title":"Fixpoints in Temporal Description Logics","year":2011,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Decidability; Extension (predicate logic); Computer science; Description logic; Fixed point; Temporal logic; Modal μ-calculus; T-norm fuzzy logics; Algorithm; Mathematics; Discrete mathematics; Algebra over a field; Theoretical computer science; Programming language; Artificial intelligence; Pure mathematics; Accessibility relation; Multimodal 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.004844802,0.001000059,0.000919959,0.002384792,0.0017319,0.004335565,0.002522275,0.001601656,0.003827077],"category_scores_gemma":[0.0154605,0.001055859,0.002911568,0.0023695,0.004972335,0.01204559,0.004056266,0.00614753,0.0003332035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004468575,"about_ca_system_score_gemma":0.001388872,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002515746,"about_ca_topic_score_gemma":0.001516272,"domain_scores_codex":[0.9957623,0.0009854963,0.0003630687,0.001121145,0.001226401,0.0005415365],"domain_scores_gemma":[0.9785631,0.01742585,0.001240932,0.001318587,0.0009988716,0.0004525895],"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.00006306201,0.00004269305,0.0006138159,0.000187886,0.00004950964,0.0003069157,0.0006186502,0.01151899,0.002023863,0.9730309,0.0003860856,0.01115765],"study_design_scores_gemma":[0.00002877456,0.00004100707,0.0001651202,0.00004025993,0.00004529249,0.0001292745,0.0001027299,0.03127331,0.002982303,0.9620921,0.003078678,0.000021052],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1410832,0.001964218,0.842554,0.001552155,0.0001036597,0.0001599027,0.0003220692,0.0005832103,0.0116774],"genre_scores_gemma":[0.8363048,0.002031292,0.1532762,0.0003995913,0.0003073014,0.0003413768,0.0005865224,0.0001387087,0.006614178],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004844802,"threshold_uncertainty_score":0.03242195,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09115210889542176,"score_gpt":0.2456584782756208,"score_spread":0.1545063693801991,"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."}}