{"id":"W2395123824","doi":"","title":"Reasoning about Chemical Reactions Using the Situation Calculus.","year":2012,"lang":"en","type":"article","venue":"National Conference on Artificial Intelligence","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Computer science; Heuristics; Set (abstract data type); Task (project management); Situation calculus; Representation (politics); Prolog; Theoretical computer science; Artificial intelligence; Programming language; Systems engineering","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.0007526394,0.0001280685,0.0001084916,0.00009113448,0.0003263614,0.0002133349,0.0005899785,0.00008427639,0.00007676093],"category_scores_gemma":[0.0009260837,0.0000970722,0.00005822482,0.0003854432,0.0001101982,0.000572909,0.00009960139,0.000234376,0.0002087974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001232291,"about_ca_system_score_gemma":0.0001816541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008661478,"about_ca_topic_score_gemma":0.00002233574,"domain_scores_codex":[0.9984221,0.00008982423,0.0003110285,0.0002515375,0.0006160894,0.0003094337],"domain_scores_gemma":[0.9987577,0.0003501823,0.0001317849,0.0002609598,0.0004203799,0.00007903248],"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.000005781591,0.00006249486,0.00005608277,0.000001771414,0.000006315937,4.502641e-7,0.0005472448,0.0006613975,0.008097452,0.9633601,0.00004785061,0.02715303],"study_design_scores_gemma":[0.00001881554,0.00002243492,0.001211933,0.00004676839,0.000008012778,0.00002466173,0.0004868132,0.7933295,0.09716354,0.1068028,0.0006579332,0.0002268338],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0375703,0.00006346028,0.9505799,0.002713324,0.0006789295,0.0001430098,0.000002335241,0.0001218527,0.00812692],"genre_scores_gemma":[0.9868715,0.00001051521,0.012374,0.0003810151,0.0002912811,0.00001487673,0.000003412215,0.000004926943,0.00004849869],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9493012,"threshold_uncertainty_score":0.3958489,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2026742539623509,"score_gpt":0.380526042724773,"score_spread":0.177851788762422,"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."}}