{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001653185,0.00004445081,0.00004509126,0.00003384828,0.0001188184,0.00006388784,0.00008271569,0.00002504837,0.00002561867],"category_scores_gemma":[0.00003332563,0.00002967938,0.00001512871,0.0001004029,0.00004739976,0.0003009319,0.00003247598,0.00002525891,0.000003118144],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001308449,"about_ca_system_score_gemma":0.00004066401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001126678,"about_ca_topic_score_gemma":0.00005721538,"domain_scores_codex":[0.9996012,0.0000291538,0.0001152816,0.00009419089,0.00009444791,0.00006575236],"domain_scores_gemma":[0.9996859,0.00003193816,0.00006848128,0.0001380355,0.00005404827,0.0000216093],"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.00001114488,0.000007526399,0.0004395786,0.000005408599,0.000008205896,4.789906e-7,0.0009218951,0.001780943,0.001245742,0.9523537,0.00003866672,0.0431867],"study_design_scores_gemma":[0.003070055,0.0003612702,0.04356903,0.00007224589,0.00002434332,0.0001539342,0.0006099514,0.2804552,0.04379502,0.6264079,0.0009785952,0.0005024662],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008860845,0.00001814585,0.986952,0.0005201352,0.00007019207,0.0001207406,7.444158e-7,0.00006890729,0.003388284],"genre_scores_gemma":[0.9783541,0.00001682466,0.021336,0.00008253012,0.000008145507,0.000002199708,0.000003842222,0.000002098483,0.0001942341],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9694933,"threshold_uncertainty_score":0.121029,"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."}}