{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003865643,0.0001233323,0.0002023428,0.0004177777,0.0002603826,0.00008439945,0.002345931,0.00007136214,0.00001411852],"category_scores_gemma":[0.0008292521,0.0001026126,0.0000623314,0.001475155,0.0004623105,0.0007116167,0.0007363657,0.000429388,0.0002498923],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002843881,"about_ca_system_score_gemma":0.0006130056,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002557147,"about_ca_topic_score_gemma":0.0008509218,"domain_scores_codex":[0.9971635,0.0006728834,0.0001496828,0.0005480296,0.0009415684,0.0005243182],"domain_scores_gemma":[0.9978321,0.0002243185,0.00008098462,0.001001794,0.0007011784,0.0001596539],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003091988,0.002722785,0.01590644,0.0003094088,0.0001497768,0.001383449,0.3835601,0.0007579701,0.003107027,0.07697345,0.3063855,0.2084349],"study_design_scores_gemma":[0.009132989,0.003981192,0.2111397,0.0003410435,0.00005757275,0.0004389853,0.05698793,0.02978323,0.007860995,0.03011928,0.6480607,0.002096417],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8830837,0.004103828,0.06159954,0.01302578,0.0005555578,0.001953832,0.00002191877,0.0002337407,0.0354221],"genre_scores_gemma":[0.9968631,0.00006881532,0.00178836,0.00002262039,0.00007981051,0.000001533363,0.00001647872,0.00000544999,0.001153782],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3416752,"threshold_uncertainty_score":0.4359363,"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."}}