{"id":"W2966293955","doi":"10.1145/3329121","title":"A Representation Theorem for Change through Composition of Activities","year":2019,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Interoperation; Rotation formalisms in three dimensions; Computer science; Domain (mathematical analysis); Theoretical computer science; Representation (politics); Class (philosophy); Information system; Process calculus; Canonical form; Process (computing); Mathematics; Programming language; Artificial intelligence; Interoperability; Pure mathematics","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.003437774,0.0008636955,0.0007126073,0.00224373,0.002404823,0.004479364,0.001828898,0.002039167,0.01030806],"category_scores_gemma":[0.007589794,0.0006645645,0.003603023,0.00224758,0.006174745,0.01554652,0.003971824,0.004610603,0.001902993],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003035629,"about_ca_system_score_gemma":0.001739134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005678108,"about_ca_topic_score_gemma":0.002801754,"domain_scores_codex":[0.9957504,0.0009158067,0.0004176172,0.001351881,0.001018781,0.0005453881],"domain_scores_gemma":[0.996344,0.001771311,0.0003372359,0.0006374122,0.0007182637,0.0001918054],"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.000008678211,0.000007606096,0.00009188936,0.00002656609,0.000006859598,0.00006710848,0.000285366,0.00114292,0.000278413,0.9922496,0.0005529216,0.005282205],"study_design_scores_gemma":[0.00002199481,0.00001544685,0.00007767066,0.0000299374,0.00002099408,0.0001782272,0.0001154734,0.01628644,0.0007838745,0.962018,0.02043639,0.00001554971],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009839172,0.0005068558,0.9500453,0.001527392,0.0001640016,0.0001054201,0.0002693336,0.0005962651,0.03694623],"genre_scores_gemma":[0.4104059,0.00125532,0.5580473,0.0009993101,0.0004411387,0.0006944648,0.001246888,0.00046043,0.02644935],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01030806,"threshold_uncertainty_score":0.03448391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08042164214727479,"score_gpt":0.3250128059615131,"score_spread":0.2445911638142383,"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."}}