{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003299581,0.001320466,0.0008212356,0.001774448,0.001875351,0.0035617,0.0019828,0.001953475,0.004902564],"category_scores_gemma":[0.006395047,0.0006491545,0.002094251,0.001493314,0.004786142,0.008228063,0.002975652,0.003002948,0.0008629839],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00262414,"about_ca_system_score_gemma":0.002400232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004663717,"about_ca_topic_score_gemma":0.003685045,"domain_scores_codex":[0.9961393,0.001688528,0.0003894542,0.0004826591,0.0009012417,0.0003988191],"domain_scores_gemma":[0.9968975,0.00155541,0.0003297364,0.0002893528,0.0005805486,0.0003474632],"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.000005403918,0.00001085558,0.0000387478,0.00001637521,0.000004833529,0.00004202469,0.0001535944,0.002597691,0.0001824704,0.9954436,0.0001252701,0.001379256],"study_design_scores_gemma":[0.00001915345,0.00001837824,0.00003798232,0.00001931034,0.000009767503,0.00005326205,0.00007457926,0.01957678,0.0002993841,0.9729171,0.006962938,0.00001146733],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01683985,0.0008038823,0.9502618,0.001514504,0.0001762236,0.000203262,0.0001314254,0.0002102513,0.02985891],"genre_scores_gemma":[0.5456319,0.001412472,0.4342209,0.0007584124,0.0004458542,0.001014414,0.0003502972,0.0001512515,0.01601447],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004902564,"threshold_uncertainty_score":0.01903957,"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."}}