{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00028256,0.0000673606,0.00008416464,0.00006457076,0.0000270576,0.0000583806,0.0003668861,0.00005175744,0.00005985511],"category_scores_gemma":[0.0000125012,0.00005019433,0.00002729065,0.0001925027,0.00001812726,0.0003523571,0.0000921872,0.00005919552,0.0002774234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002221957,"about_ca_system_score_gemma":0.00001882079,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008507091,"about_ca_topic_score_gemma":0.0003313768,"domain_scores_codex":[0.999328,0.00004081778,0.0001538392,0.0001956687,0.0001026915,0.0001789753],"domain_scores_gemma":[0.9996319,0.000006860011,0.00004022856,0.0002511609,0.00002642444,0.00004343128],"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.000002854053,0.000102566,0.09849597,0.000007931244,0.000003026136,0.00003743043,0.001849385,6.796715e-7,0.00006188126,0.8801894,0.0007132174,0.01853569],"study_design_scores_gemma":[0.001281464,0.0006480275,0.2042672,0.00001014351,0.000004888952,0.00009174974,0.0005208838,0.01506834,0.00317399,0.733438,0.0406862,0.0008091269],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01310709,0.00005615261,0.8742771,0.0000493745,0.0005502214,0.000138654,4.433783e-8,0.0001957492,0.1116256],"genre_scores_gemma":[0.9773341,0.000002163298,0.02106373,0.0001015104,0.00002508936,0.000007572104,5.490783e-7,0.000002662429,0.00146258],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9642271,"threshold_uncertainty_score":0.3565809,"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."}}