{"id":"W2602470723","doi":"","title":"Bounded situation calculus action theories (Extended abstract)","year":2012,"lang":"en","type":"article","venue":"IRIS Research product catalog (Sapienza University of Rome)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Bounded function; Situation calculus; Action (physics); Calculus (dental); Computer science; Mathematics; Artificial intelligence; Mathematical analysis; Physics; Medicine","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.002578768,0.001025657,0.0006605217,0.001568737,0.001757366,0.004074503,0.002304006,0.001545959,0.01193978],"category_scores_gemma":[0.00478633,0.0006595028,0.002248384,0.001789884,0.005204705,0.007718767,0.003138673,0.003917682,0.002282932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002332964,"about_ca_system_score_gemma":0.001632717,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004100804,"about_ca_topic_score_gemma":0.00270286,"domain_scores_codex":[0.9972746,0.0008728966,0.0002222954,0.0004585712,0.0008159222,0.0003557399],"domain_scores_gemma":[0.9975351,0.001101786,0.0002358978,0.0005181679,0.0004292319,0.0001797254],"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.00001030352,0.000009099883,0.00006002041,0.00003763453,0.000006398398,0.00008482384,0.0002667695,0.001174159,0.0002288041,0.9923366,0.001451831,0.004333585],"study_design_scores_gemma":[0.00001353957,0.000009607132,0.00007109447,0.00003204913,0.00001167514,0.00009510915,0.00006386082,0.007298311,0.0004775131,0.9695738,0.02234196,0.00001152153],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008430872,0.001609505,0.9014901,0.00316732,0.0004864676,0.0001677228,0.0008509204,0.001110809,0.08268625],"genre_scores_gemma":[0.5009268,0.001728649,0.4651738,0.001560562,0.0007368452,0.0006750696,0.001525117,0.0003750135,0.02729814],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01193978,"threshold_uncertainty_score":0.03994256,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06084916203720669,"score_gpt":0.3237478127590275,"score_spread":0.2628986507218208,"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."}}