{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00320087,0.0009385585,0.0006685482,0.001498587,0.001853919,0.00558634,0.002572558,0.001637501,0.005920901],"category_scores_gemma":[0.004016025,0.0009600752,0.002087816,0.001590947,0.005141633,0.008141441,0.004060268,0.004707254,0.001147484],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0031425,"about_ca_system_score_gemma":0.002739113,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005056267,"about_ca_topic_score_gemma":0.004366319,"domain_scores_codex":[0.9972771,0.0006474541,0.0003514679,0.000454544,0.0009818815,0.0002876794],"domain_scores_gemma":[0.9981648,0.0007170752,0.0001750711,0.0003701307,0.0003570345,0.0002158576],"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.00001143164,0.00001330428,0.00002839062,0.00003476147,0.000004776414,0.0001333043,0.0003864049,0.002839926,0.0005946261,0.9913602,0.0006580997,0.003934733],"study_design_scores_gemma":[0.00005969269,0.00003202777,0.00005966594,0.00005242103,0.00002569594,0.0002762538,0.0002485771,0.03488133,0.001752264,0.8966066,0.06596696,0.00003837421],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00337399,0.0003341355,0.9748906,0.001380779,0.0001505632,0.0001467365,0.0002825689,0.000827604,0.01861303],"genre_scores_gemma":[0.2345733,0.001073811,0.7492592,0.0008653937,0.000322412,0.0007249644,0.0006701631,0.0003799185,0.01213085],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005920901,"threshold_uncertainty_score":0.02280056,"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."}}