{"id":"W2013667259","doi":"10.1145/2362355.2362356","title":"Epistemic Strategies and Games on Concurrent Processes","year":2012,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Engineering and Physical Sciences Research Council; Agence Nationale de la Recherche","keywords":"Process calculus; Computer science; Semantics (computer science); Class (philosophy); Epistemic modal logic; Information flow; Process (computing); Scheduling (production processes); Theoretical computer science; Programming language; Artificial intelligence; Mathematics; Mathematical optimization","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.0001444955,0.0001756874,0.0001491302,0.0001172447,0.0002762018,0.0002144337,0.0003760625,0.0000597387,0.00004092745],"category_scores_gemma":[0.00004908397,0.0001426024,0.00004874982,0.0002737256,0.00009606236,0.0007461292,0.00001477925,0.0001680771,0.0001266862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004091523,"about_ca_system_score_gemma":0.0001420691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004755713,"about_ca_topic_score_gemma":0.000004966448,"domain_scores_codex":[0.9989423,0.00006776345,0.0001786214,0.000302321,0.0002453881,0.0002636074],"domain_scores_gemma":[0.9987559,0.0006963019,0.0000687782,0.0002244766,0.0001321757,0.0001224043],"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.00001897068,0.0007055494,0.0003179495,0.0001234918,0.00005936933,0.000004862845,0.002260999,0.03755709,0.00002040756,0.8623512,0.0003017049,0.09627846],"study_design_scores_gemma":[0.002040116,0.001359508,0.03169936,0.0002704107,0.00007039565,0.0003316737,0.001207594,0.03001279,0.001021869,0.9254838,0.005203025,0.001299502],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01688435,0.001236309,0.976629,0.001216206,0.0004498459,0.000160383,0.000007884194,0.0002164592,0.003199533],"genre_scores_gemma":[0.9839628,0.00006893883,0.01538496,0.0003374077,0.00006024416,0.00003577543,0.000007150731,0.000007079495,0.0001356696],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9670784,"threshold_uncertainty_score":0.5815155,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03906599009138076,"score_gpt":0.2874935594328966,"score_spread":0.2484275693415159,"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."}}