{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005284715,0.00005121024,0.00007529497,0.00005533554,0.00003827597,0.00002101363,0.000235993,0.00003510288,0.00004490938],"category_scores_gemma":[0.0002214747,0.00004176162,0.00003267606,0.0002372694,0.00003286654,0.000352801,0.00004122375,0.00004824882,0.00003325996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001721417,"about_ca_system_score_gemma":0.00002788431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001311106,"about_ca_topic_score_gemma":0.00000247394,"domain_scores_codex":[0.9993392,0.0001045097,0.0001819535,0.0001464449,0.0001268632,0.0001010716],"domain_scores_gemma":[0.9993671,0.00002546601,0.00007172526,0.0004087443,0.00009174974,0.00003522706],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[8.303194e-7,0.00003365865,0.0004293635,0.000003419477,0.000001464946,5.558974e-7,0.00007008867,0.00003240713,0.007216294,0.9869891,0.0004735144,0.004749239],"study_design_scores_gemma":[0.0006334916,0.0004613535,0.03798867,0.00004002669,0.0000113419,0.00009768696,0.000246916,0.1578466,0.5470614,0.2179962,0.0370814,0.0005349558],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01326661,0.00003038343,0.9614114,0.00007971741,0.0002948294,0.00007090805,2.160738e-7,0.00007351395,0.0247724],"genre_scores_gemma":[0.4068741,0.000002619427,0.5927229,0.00006080369,0.000003275766,0.000002434856,2.337821e-7,0.000001434185,0.0003322451],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.768993,"threshold_uncertainty_score":0.170299,"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."}}