{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007615521,0.001660907,0.001027669,0.002672972,0.002948114,0.007000586,0.003733995,0.002479407,0.007850517],"category_scores_gemma":[0.01390834,0.001170653,0.005212433,0.002688967,0.00576777,0.01073939,0.00412184,0.004182301,0.001613807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003436867,"about_ca_system_score_gemma":0.003991074,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01291965,"about_ca_topic_score_gemma":0.01095851,"domain_scores_codex":[0.9943462,0.002538502,0.0006566471,0.000661684,0.001364771,0.0004320573],"domain_scores_gemma":[0.99198,0.00576332,0.0006200862,0.0007542645,0.0005882666,0.0002940353],"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.00003564188,0.00005409401,0.0003148544,0.0002310066,0.00007082559,0.0004946817,0.0007770943,0.02479962,0.0006984751,0.9527828,0.002310984,0.01743002],"study_design_scores_gemma":[0.00004602506,0.00003225021,0.0001004781,0.0001250489,0.00008624162,0.0003070708,0.0002596588,0.06646445,0.001590599,0.8921622,0.03878156,0.00004449218],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002476177,0.0009577788,0.9788431,0.001673636,0.0002533539,0.0002368971,0.0003031205,0.0004344442,0.01482156],"genre_scores_gemma":[0.1474761,0.002858824,0.8399624,0.0009142332,0.0004313971,0.0006229091,0.0009622783,0.0001554451,0.006616485],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01291965,"threshold_uncertainty_score":0.04027522,"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."}}