{"id":"W2258235760","doi":"10.5555/2772879.2773380","title":"Synchronous Games in the Situation Calculus","year":2015,"lang":"en","type":"article","venue":"IRIS Research product catalog (Sapienza University of Rome)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Situation calculus; Action (physics); Computer science; Calculus (dental); Order (exchange); Process calculus; First order; Algebra over a field; Theoretical computer science; Mathematics; Artificial intelligence; Applied mathematics; 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.002557016,0.001012985,0.0007831805,0.001424959,0.001879667,0.004732203,0.001755004,0.001280478,0.006175623],"category_scores_gemma":[0.002910137,0.0006539169,0.001874384,0.001317802,0.004557809,0.007399876,0.00255741,0.002924022,0.001262463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002819069,"about_ca_system_score_gemma":0.002212386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005130352,"about_ca_topic_score_gemma":0.003489997,"domain_scores_codex":[0.997832,0.0008526549,0.0001663323,0.000291425,0.0005832211,0.000274384],"domain_scores_gemma":[0.9986558,0.0006476879,0.0001305985,0.0002033003,0.00020481,0.0001578326],"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.000003110839,0.000004123503,0.00002455631,0.00000817419,0.000002578978,0.00003382115,0.0001193452,0.001637169,0.00007011008,0.9968181,0.0002619434,0.001016895],"study_design_scores_gemma":[0.0000138313,0.00001066771,0.00004049692,0.00001796216,0.00001109806,0.0000526434,0.00006116171,0.02081964,0.0001990061,0.9589514,0.01981173,0.00001035545],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01403756,0.002380267,0.861998,0.003056593,0.0003646477,0.000209958,0.0003266557,0.00057787,0.1170485],"genre_scores_gemma":[0.5682966,0.002448128,0.3933279,0.0008376148,0.0007588995,0.0006835663,0.0004627791,0.0001987882,0.03298577],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006175623,"threshold_uncertainty_score":0.02065957,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06160522134338561,"score_gpt":0.307615845076174,"score_spread":0.2460106237327884,"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."}}