{"id":"W1825399774","doi":"","title":"Decidable reasoning in a modified situation calculus","year":2007,"lang":"en","type":"article","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; University of Toronto","funders":"","keywords":"Situation calculus; Decidability; Axiom; Computer science; Operator (biology); Calculus (dental); Fragment (logic); Base (topology); Knowledge base; Projection (relational algebra); Context (archaeology); Theoretical computer science; Artificial intelligence; Mathematics; Algorithm","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.004112608,0.0009337763,0.0009995921,0.001485148,0.001800325,0.003822502,0.002949466,0.001563394,0.003553887],"category_scores_gemma":[0.00588622,0.0009344095,0.003709115,0.001254791,0.005475324,0.008462351,0.004147522,0.004209649,0.0005012423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003114092,"about_ca_system_score_gemma":0.002130041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006380266,"about_ca_topic_score_gemma":0.004601805,"domain_scores_codex":[0.9954956,0.001040428,0.0004063705,0.0009984171,0.001481204,0.0005781683],"domain_scores_gemma":[0.9966413,0.001592254,0.0002697351,0.0006964059,0.0005683704,0.0002319568],"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.00009506498,0.0000715536,0.0002562765,0.0001075106,0.00006843559,0.0008255118,0.0009318889,0.02308398,0.007150285,0.9563743,0.0008602181,0.01017491],"study_design_scores_gemma":[0.0001503199,0.00008371877,0.0003310014,0.00004177785,0.0001359661,0.0003838999,0.0001464128,0.1473588,0.007732265,0.8236741,0.01986151,0.0001001822],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07402755,0.0004136823,0.9023827,0.001595742,0.0002634721,0.0003061987,0.0004344177,0.002046003,0.01853033],"genre_scores_gemma":[0.5014059,0.0003476598,0.4875973,0.0004774217,0.0002738769,0.0003424989,0.0006006885,0.0002345779,0.008720088],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006380266,"threshold_uncertainty_score":0.02259439,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02127482308670527,"score_gpt":0.2730965858130582,"score_spread":0.2518217627263529,"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."}}