{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004581639,0.001607632,0.001046731,0.002535708,0.001886527,0.004907275,0.003460895,0.001670478,0.006244051],"category_scores_gemma":[0.008935239,0.001214146,0.00378678,0.002651234,0.004289821,0.006445955,0.002631225,0.005822998,0.001171395],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003146411,"about_ca_system_score_gemma":0.004276223,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01049841,"about_ca_topic_score_gemma":0.01348489,"domain_scores_codex":[0.9969927,0.001127881,0.0003194842,0.0003578573,0.0009029938,0.000299085],"domain_scores_gemma":[0.9953398,0.003120077,0.0003896256,0.0005624585,0.00041695,0.0001711553],"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.00002829045,0.00005205891,0.0002251053,0.0002022926,0.00004084643,0.0001595053,0.0004602886,0.02995332,0.0007298503,0.9482303,0.001582254,0.01833583],"study_design_scores_gemma":[0.00005606856,0.00004309878,0.0001229933,0.0001260615,0.0001025272,0.000139244,0.000172564,0.1965405,0.002183335,0.7711054,0.02936399,0.00004417355],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001109737,0.0001389207,0.9941549,0.0002619169,0.00003362212,0.0001525028,0.00015175,0.0005441441,0.003452706],"genre_scores_gemma":[0.07713223,0.0006943143,0.9168435,0.0002514328,0.0001019045,0.000920621,0.0006013467,0.0002007605,0.003253885],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01049841,"threshold_uncertainty_score":0.02423036,"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."}}