{"id":"W2135089984","doi":"10.1109/time.2004.1314416","title":"The SOL time theory: a formalization of structured temporal objects and repetition","year":2004,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Temporality; Repetition (rhetorical device); Formalism (music); Theory; Consistency (knowledge bases); Temporal logic; Theoretical computer science; Artificial intelligence; Programming language; Epistemology; Linguistics","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.003256174,0.000900659,0.0006437595,0.001848591,0.001613448,0.003303777,0.002435405,0.001607518,0.007780779],"category_scores_gemma":[0.004540239,0.0006127695,0.001931832,0.002355658,0.008461499,0.01032186,0.002724255,0.003261856,0.00122452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002585822,"about_ca_system_score_gemma":0.002667656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003572288,"about_ca_topic_score_gemma":0.003006026,"domain_scores_codex":[0.9981178,0.0006664002,0.0001465361,0.0003515997,0.0005473405,0.0001703455],"domain_scores_gemma":[0.9979331,0.0009645897,0.0003113588,0.0003472942,0.0003125897,0.0001310288],"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.00000389871,0.000002918946,0.00002948878,0.00001883373,0.000002875151,0.00002855107,0.000171577,0.001201188,0.0001747785,0.9954781,0.0003853731,0.002502363],"study_design_scores_gemma":[0.000009567686,0.00001786095,0.00005038848,0.00004466523,0.000009948981,0.0001044483,0.0001206544,0.01386038,0.0005400858,0.9596515,0.02557548,0.00001505223],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003714424,0.0006661816,0.9693048,0.001259796,0.0001330248,0.00006855893,0.0001991458,0.0002065786,0.02444752],"genre_scores_gemma":[0.2556398,0.001586036,0.7213134,0.001027636,0.0004409936,0.0005997542,0.0006226951,0.000333814,0.01843592],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007780779,"threshold_uncertainty_score":0.02602935,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.003539868055075906,"score_gpt":0.1938363414654794,"score_spread":0.1902964734104035,"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."}}