{"id":"W1590016351","doi":"","title":"Bounded Situation Calculus Action Theories and Decidable Verification.","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":53,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Decidability; Bounded function; Situation calculus; Action theory (sociology); Action (physics); Class (philosophy); Domain (mathematical analysis); Mathematics; Set (abstract data type); Computer science; Calculus (dental); Discrete mathematics; Algebra over a field; Pure mathematics; Epistemology; Artificial intelligence","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.005569978,0.001182004,0.000853303,0.001846899,0.002180026,0.004047608,0.003431981,0.002052099,0.0061387],"category_scores_gemma":[0.0145203,0.0009975677,0.003171692,0.001742827,0.00941399,0.01128978,0.004236173,0.005522926,0.001141472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003798048,"about_ca_system_score_gemma":0.003139897,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005437021,"about_ca_topic_score_gemma":0.003511221,"domain_scores_codex":[0.9949602,0.001833293,0.000362485,0.0007054257,0.001530023,0.000608613],"domain_scores_gemma":[0.9904076,0.006605119,0.000694458,0.001360012,0.0005881941,0.00034462],"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.00001364611,0.00001306617,0.00007663383,0.00004980704,0.00001134967,0.0001270877,0.000222043,0.002610156,0.0002073756,0.9911144,0.0007946578,0.004759578],"study_design_scores_gemma":[0.00001404381,0.000006658767,0.00003602828,0.00002581422,0.00001216115,0.00005830954,0.00003853999,0.0102407,0.0004653555,0.9841985,0.004895044,0.000008905344],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008379589,0.00196645,0.9472302,0.003048347,0.0002905174,0.0001548599,0.0002975288,0.0009775253,0.03765497],"genre_scores_gemma":[0.4976623,0.002198354,0.4841908,0.001501603,0.0006187216,0.0007501537,0.0009322525,0.0003007516,0.01184507],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0061387,"threshold_uncertainty_score":0.02945721,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05868037768211146,"score_gpt":0.3142990142891721,"score_spread":0.2556186366070606,"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."}}