{"id":"W1562472473","doi":"","title":"Semantics for a useful fragment of the situation calculus","year":2005,"lang":"en","type":"article","venue":"RWTH Publications (RWTH Aachen)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Fragment (logic); Calculus (dental); Modal logic; Computer science; Semantics (computer science); Modal operator; First-order logic; Modal; Programming language; Multimodal logic; Description logic","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.002323306,0.0007279911,0.0006688097,0.001249534,0.002389277,0.003865928,0.001645902,0.001528188,0.006268723],"category_scores_gemma":[0.002102687,0.0004965258,0.001975102,0.00115933,0.005312611,0.007668131,0.002883493,0.003790017,0.00100384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002536732,"about_ca_system_score_gemma":0.001786221,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002973179,"about_ca_topic_score_gemma":0.002006702,"domain_scores_codex":[0.9982174,0.0004881609,0.0001518626,0.0003086124,0.0005758483,0.000258075],"domain_scores_gemma":[0.9990776,0.0003732462,0.00008180918,0.0001569011,0.0002074884,0.0001030306],"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.000005305535,0.000004242352,0.00001432165,0.00001835265,0.000003052415,0.0000494547,0.0002496808,0.000357326,0.0003468105,0.9969939,0.0003565634,0.001600965],"study_design_scores_gemma":[0.00001993843,0.00001396077,0.00004557662,0.00001657696,0.00001180029,0.0001356545,0.0001372202,0.004211002,0.000757641,0.9624017,0.03223167,0.00001724721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01966063,0.001268225,0.9059122,0.004433693,0.0004719439,0.0001830092,0.0005213631,0.001473559,0.06607542],"genre_scores_gemma":[0.587734,0.001268499,0.3901257,0.001305426,0.0005020045,0.0004612303,0.0006945976,0.0003021751,0.01760637],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006268723,"threshold_uncertainty_score":0.02097094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0241716179643061,"score_gpt":0.2623183687091376,"score_spread":0.2381467507448314,"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."}}