{"id":"W2089872474","doi":"10.1080/0952813031000064567","title":"Planning under uncertainty as G<scp>OLOG</scp>programs","year":2003,"lang":"en","type":"article","venue":"Journal of Experimental & Theoretical Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Situation calculus; Computer science; Logic programming; Artificial intelligence; Popularity; Belief revision; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001190992,0.0003113883,0.000427029,0.0001461282,0.0002505803,0.0003686709,0.001200477,0.0001854478,0.0002376797],"category_scores_gemma":[0.0007814512,0.0002367948,0.0003114633,0.0004658788,0.0008729469,0.0004207945,0.0002031292,0.0005709651,0.0002681178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001538032,"about_ca_system_score_gemma":0.0001842467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007138217,"about_ca_topic_score_gemma":8.914275e-7,"domain_scores_codex":[0.9970307,0.0003404195,0.0008809993,0.0004176478,0.0006765667,0.000653673],"domain_scores_gemma":[0.9979335,0.0006129614,0.0003619657,0.0003767465,0.0002826173,0.0004321837],"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.00002704902,0.000573846,0.00007680838,0.000002858351,0.00003983442,0.0001382935,0.003009052,0.0008361446,0.01127014,0.9779989,0.0000857644,0.005941313],"study_design_scores_gemma":[0.00007839,0.001164777,0.000009612827,0.00005950349,0.00001430217,0.0004303364,0.005231159,0.006021883,0.3847556,0.6008579,0.001233292,0.0001432482],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4038844,0.001939769,0.5549797,0.0002110364,0.001819916,0.0001978185,5.457962e-7,0.00008650922,0.03688027],"genre_scores_gemma":[0.9899931,0.00002186893,0.009213541,0.0004114178,0.0002503284,0.000006903666,6.875144e-7,0.00001850273,0.00008365205],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5861087,"threshold_uncertainty_score":0.9656212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0449648265644681,"score_gpt":0.3262701779266343,"score_spread":0.2813053513621662,"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."}}