{"id":"W1510238482","doi":"","title":"Situation calculus-based programs for representing and reasoning about game structures","year":2010,"lang":"en","type":"article","venue":"IRIS Research product catalog (Sapienza University of Rome)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Situation calculus; Orchestration; Process calculus; Process (computing); Range (aeronautics); Theoretical computer science; Artificial intelligence; Programming language","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.002222288,0.000173678,0.0002676101,0.0003877411,0.0006664258,0.0001947461,0.001210429,0.0001310148,0.00001448925],"category_scores_gemma":[0.001579894,0.0001755682,0.0001008288,0.0007582998,0.0006842469,0.0006675127,0.0006691481,0.0005563183,0.000010065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006416714,"about_ca_system_score_gemma":0.000345559,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008541378,"about_ca_topic_score_gemma":0.000560206,"domain_scores_codex":[0.9974089,0.0001914512,0.00018893,0.0009141857,0.0006290086,0.0006674876],"domain_scores_gemma":[0.9972531,0.0002999133,0.0001704895,0.0009495525,0.001095688,0.0002312793],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0005263984,0.001002486,0.04395108,0.001267394,0.0002566309,0.0001572007,0.03413056,0.0002119295,0.1175041,0.1185979,0.0130636,0.6693308],"study_design_scores_gemma":[0.01199395,0.002936298,0.3121921,0.00070644,0.0001557567,0.0002171703,0.005009778,0.2182771,0.1177038,0.03883258,0.2888409,0.003134113],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8932194,0.0005705268,0.1018407,0.001092774,0.0003054625,0.001513986,0.0000182511,0.0002113159,0.001227559],"genre_scores_gemma":[0.957717,0.0000203275,0.04129394,0.00000854992,0.0001392355,0.000004655168,0.00005668162,0.00001321983,0.0007463717],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6661966,"threshold_uncertainty_score":0.7159464,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03993560723347751,"score_gpt":0.3109741735758085,"score_spread":0.271038566342331,"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."}}