{"id":"W1601612254","doi":"","title":"A situation-calculus semantics for an expressive fragment of PDDL","year":2007,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Rotation formalisms in three dimensions; Situation calculus; Computer science; Fragment (logic); Programming language; Semantics (computer science); Theoretical computer science; Artificial intelligence; Mathematics","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.0005268537,0.00006885004,0.00009473802,0.00006002886,0.00007722028,0.00003488901,0.0003106242,0.00004334641,0.000009082077],"category_scores_gemma":[0.00003617671,0.00005945156,0.00003674562,0.0001152975,0.00001430331,0.0002033157,0.00005066571,0.00004208357,0.000004865992],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001199003,"about_ca_system_score_gemma":0.00003865296,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003742231,"about_ca_topic_score_gemma":0.0000133684,"domain_scores_codex":[0.9992688,0.00001564576,0.0001911577,0.0001779031,0.0001594724,0.0001870241],"domain_scores_gemma":[0.9992175,0.0002381096,0.00009002075,0.0002711984,0.000114893,0.00006831079],"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.0001143253,0.0006779091,0.007517317,0.000293823,0.0001173777,0.00002631408,0.02798272,0.01523329,0.04894544,0.7165697,0.01617767,0.1663442],"study_design_scores_gemma":[0.0007827848,0.000640639,0.001703512,0.00009373856,0.00001487531,0.000006262108,0.0003956025,0.8484695,0.1362519,0.008063324,0.003264921,0.0003129064],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02836449,0.00003776941,0.9691822,0.0002197234,0.0001141364,0.0001498632,0.000002066946,0.00006823282,0.001861523],"genre_scores_gemma":[0.7149181,7.409197e-7,0.2846218,0.0001779762,0.00003455815,0.000004549031,0.000004806596,0.000003467838,0.000234004],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8332362,"threshold_uncertainty_score":0.2424364,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02860599691510556,"score_gpt":0.2939516641617928,"score_spread":0.2653456672466872,"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."}}