{"id":"W136570180","doi":"","title":"Search control in planning for temporally extended goals","year":2005,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Reachability; Computer science; Planner; Automaton; Büchi automaton; Set (abstract data type); Control (management); State (computer science); Extension (predicate logic); Theoretical computer science; Finite-state machine; Artificial intelligence; Deterministic automaton; Algorithm; Programming language","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.0009416551,0.0001053011,0.0001567763,0.0001350972,0.00009495782,0.0001248035,0.0005046384,0.00005996772,0.00001948548],"category_scores_gemma":[0.00003907979,0.00009311714,0.00004401456,0.0001824403,0.00001350771,0.0003560714,0.00004904561,0.0001369102,0.00003641361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003600031,"about_ca_system_score_gemma":0.00009793833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004366155,"about_ca_topic_score_gemma":0.00001311231,"domain_scores_codex":[0.9988518,0.0000580157,0.0002319471,0.0002994508,0.0001668032,0.0003919402],"domain_scores_gemma":[0.9991872,0.0003890852,0.00003901415,0.0002553068,0.00004993202,0.00007951472],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003227675,0.0004569273,0.1457416,0.0001691791,0.00009813012,0.000150312,0.0108704,0.2920581,0.007793501,0.1453225,0.06779038,0.3292262],"study_design_scores_gemma":[0.001635097,0.0001386393,0.003239458,0.00006547795,0.000002019315,0.000007674659,0.00004861166,0.9807524,0.001363089,0.001415202,0.01110966,0.000222635],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01106155,0.0002575072,0.9793828,0.004046404,0.00006539381,0.0002789872,0.000002984543,0.000184565,0.004719836],"genre_scores_gemma":[0.7999498,6.173347e-7,0.1976537,0.001293311,0.00007291832,0.00002610956,0.000002909044,0.000006598313,0.0009939924],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7888883,"threshold_uncertainty_score":0.3797207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0298210643756027,"score_gpt":0.3019559432507025,"score_spread":0.2721348788750998,"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."}}