{"id":"W2965668794","doi":"10.1609/icaps.v29i1.3548","title":"A Logical Semantics for PDDL+","year":2021,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; York University","funders":"","keywords":"Computer science; Semantics (computer science); Rotation formalisms in three dimensions; Situation calculus; Operational semantics; Theoretical computer science; Programming language; 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.000260591,0.0001134903,0.0001510235,0.00005614778,0.0001406281,0.0003037082,0.0006641509,0.00007283899,0.000006962081],"category_scores_gemma":[0.0005245442,0.00008118481,0.00006533925,0.0001345835,0.00004371942,0.00016516,0.0002615608,0.0001452913,0.000002454281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000186066,"about_ca_system_score_gemma":0.00007467232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000155441,"about_ca_topic_score_gemma":2.853863e-7,"domain_scores_codex":[0.999109,0.000006043439,0.0001975435,0.0002828755,0.000243621,0.0001609223],"domain_scores_gemma":[0.9989704,0.0001061463,0.0001609479,0.00007730024,0.0006372951,0.00004794004],"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.00002505907,0.00006577167,0.005922456,0.00005791418,0.00005932968,0.00000376266,0.001008549,0.0002016214,0.02791154,0.9632674,0.0005076636,0.0009689214],"study_design_scores_gemma":[0.0003603811,0.00006104486,0.002322011,0.0004133051,0.00001077779,0.00005662184,0.0003443549,0.9454399,0.03176758,0.01871618,0.0003669559,0.0001408915],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9415435,0.0002152727,0.02040724,0.00606143,0.0008967607,0.0001782062,0.000009169589,0.0004897835,0.03019869],"genre_scores_gemma":[0.9728603,0.00001402898,0.02652206,0.0002075606,0.0000584653,0.000008666727,0.000002458553,0.000005104897,0.0003213722],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9452383,"threshold_uncertainty_score":0.3310621,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05743131545813914,"score_gpt":0.3053202317283896,"score_spread":0.2478889162702505,"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."}}