{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005134548,0.00004673674,0.00006809171,0.00008953796,0.00003217837,0.00004930577,0.0002532083,0.00003676455,0.000006449511],"category_scores_gemma":[0.0001037788,0.00003886769,0.00001578461,0.0002843448,0.000009603023,0.0002397438,0.00006997553,0.00004478716,0.0000280172],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003392236,"about_ca_system_score_gemma":0.00002364554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005659306,"about_ca_topic_score_gemma":0.001374864,"domain_scores_codex":[0.9993867,0.00001239272,0.0001254419,0.0001570352,0.0001160804,0.0002024111],"domain_scores_gemma":[0.9996357,0.00009602441,0.00002200033,0.000194401,0.00002224977,0.00002965579],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001382959,0.00007628401,0.01796478,0.000005567371,0.000004985262,0.0001087956,0.001886121,0.001443091,0.001823399,0.8290138,0.0005396527,0.1471197],"study_design_scores_gemma":[0.0006365205,0.00004500495,0.2848826,0.00002370236,0.000001745221,0.00001977856,0.0003388126,0.6877514,0.01586667,0.009787583,0.00043431,0.0002119745],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1791639,0.00003472529,0.7839119,0.0002095762,0.00009167383,0.00004849175,1.476218e-8,0.00009966295,0.03644005],"genre_scores_gemma":[0.9228789,0.000001792044,0.07652265,0.0001933993,0.00001360916,0.000002024565,2.104693e-7,0.00000146182,0.0003860124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8192262,"threshold_uncertainty_score":0.1584979,"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."}}