{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004483387,0.001044053,0.0006299288,0.001557371,0.001952776,0.005994829,0.002887348,0.001528134,0.006647779],"category_scores_gemma":[0.005365543,0.0009509153,0.002212282,0.00135464,0.004299353,0.006373283,0.005564719,0.004089852,0.002046011],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002680046,"about_ca_system_score_gemma":0.003981729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0048214,"about_ca_topic_score_gemma":0.003489088,"domain_scores_codex":[0.9959731,0.001148752,0.0006999446,0.0007496809,0.001049034,0.0003795652],"domain_scores_gemma":[0.9959809,0.001551235,0.0003239731,0.0007165995,0.001119538,0.0003077454],"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.00003175963,0.00002968675,0.0001183967,0.0001388574,0.00001285615,0.0001494461,0.0003702824,0.004449292,0.0009618805,0.9729355,0.002708427,0.01809363],"study_design_scores_gemma":[0.0001030215,0.00006287319,0.00009527827,0.0001218258,0.00004525301,0.000362237,0.0002645726,0.04311876,0.005526738,0.768903,0.1813338,0.00006263142],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001684526,0.0001991015,0.9862241,0.0008959316,0.0001600039,0.0001574293,0.0004278319,0.001175541,0.009075526],"genre_scores_gemma":[0.1309327,0.0006664218,0.8567532,0.001287411,0.0002313222,0.000873016,0.00142241,0.0005139203,0.007319555],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006647779,"threshold_uncertainty_score":0.02371073,"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."}}