{"id":"W4409365358","doi":"10.1609/aaai.v39i14.33628","title":"Situation Calculus Temporally Lifted Abstractions for Generalized Planning","year":2025,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Calculus (dental); Computer science","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.0005986776,0.0001871497,0.0002209213,0.0001915963,0.0004283081,0.0002949189,0.00120114,0.0001097961,0.00001598892],"category_scores_gemma":[0.0004490463,0.0001520377,0.0001236796,0.0005769013,0.00009509574,0.0003539138,0.0001537639,0.0002445547,0.00001887941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004955329,"about_ca_system_score_gemma":0.0002107961,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006414027,"about_ca_topic_score_gemma":0.000007029066,"domain_scores_codex":[0.9984707,0.00001600075,0.0005245077,0.0004206886,0.0002690239,0.0002990643],"domain_scores_gemma":[0.9984451,0.0002240578,0.0003577697,0.0002379749,0.000677879,0.00005720451],"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.00008878165,0.00008148269,0.0004282531,0.00007742316,0.00002934389,3.029408e-7,0.001166642,0.002115391,0.03363967,0.9329414,0.001588835,0.02784247],"study_design_scores_gemma":[0.00008300801,0.0001517267,0.000456235,0.0005495007,0.00003442763,0.000002063303,0.0003518389,0.4339386,0.3371187,0.2263051,0.0007443224,0.0002645402],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09034839,0.00007146493,0.883997,0.01101834,0.0009837759,0.000858456,0.00001263558,0.0002566717,0.01245333],"genre_scores_gemma":[0.9800715,0.000005885014,0.01862747,0.0003650915,0.00005298116,0.00006707121,0.000002817057,0.000008081104,0.0007990742],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8897231,"threshold_uncertainty_score":0.6199918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08656763443536475,"score_gpt":0.3345368105981227,"score_spread":0.2479691761627579,"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."}}