{"id":"W167512791","doi":"10.1519/jsc.0b013e31822600c9","title":"A Description Logic of Change.","year":2006,"lang":"en","type":"article","venue":"International Joint Conference on Artificial Intelligence","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Undecidable problem; Computer science; Description logic; Dynamic logic (digital electronics); Modal logic; Decidability; Satisfiability; Linear temporal logic; Temporal logic; Multimodal logic; EXPTIME; Boolean satisfiability problem; Modal; Theoretical computer science; Artificial intelligence; Algorithm; Computational complexity theory","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.006039622,0.0008631221,0.0005151235,0.002419819,0.002962178,0.009886458,0.002363011,0.002864033,0.09759644],"category_scores_gemma":[0.01534255,0.0003787854,0.0007054819,0.002288003,0.007260935,0.01094588,0.006043007,0.004902723,0.0474318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00423905,"about_ca_system_score_gemma":0.005175137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004043044,"about_ca_topic_score_gemma":0.004470028,"domain_scores_codex":[0.9940064,0.00293856,0.0004608881,0.0008673705,0.001302555,0.0004240614],"domain_scores_gemma":[0.9933386,0.001740922,0.0004179238,0.001563309,0.002147743,0.0007914972],"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.00008085326,0.000038045,0.0005974959,0.0002994301,0.00001366832,0.0002370931,0.003190571,0.0001259624,0.0002764431,0.5133665,0.3362491,0.1455249],"study_design_scores_gemma":[0.000004625002,0.00001269631,0.00014549,0.000204167,0.000003263686,0.0001372439,0.0008170857,0.00009611266,0.00006579703,0.03059604,0.9679078,0.000009700306],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.002807497,0.01501529,0.03226451,0.11289,0.03346496,0.0004711127,0.00176393,0.001734004,0.7995887],"genre_scores_gemma":[0.126315,0.01839337,0.0597296,0.05326255,0.01311722,0.001481459,0.003222551,0.002055661,0.7224227],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.09759644,"threshold_uncertainty_score":0.3264926,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3215270559872621,"score_gpt":0.339487671271858,"score_spread":0.01796061528459586,"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."}}