{"id":"W92128319","doi":"10.5591/978-1-57735-516-8/ijcai11-159","title":"Generalized planning: synthesizing plans that work for multiple environments","year":2011,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":75,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Recursively enumerable language; Formalism (music); Constructive; Mathematics; Finite set; Sequence (biology); Computer science; Set (abstract data type); Theoretical computer science; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001453952,0.001020435,0.0006118151,0.0006037654,0.0007522133,0.001507611,0.002307681,0.0009473528,0.004105932],"category_scores_gemma":[0.003781087,0.0006289147,0.001749294,0.0008484554,0.002634856,0.003454249,0.003630199,0.001984853,0.0005007562],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008625297,"about_ca_system_score_gemma":0.002287231,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00277409,"about_ca_topic_score_gemma":0.004290992,"domain_scores_codex":[0.9987981,0.0003482492,0.00009712492,0.0002886828,0.0002905547,0.0001772301],"domain_scores_gemma":[0.9986644,0.0006038756,0.0001274087,0.0004377555,0.00008597897,0.0000806094],"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.0001328429,0.0001104969,0.0006572023,0.0004758345,0.000103172,0.0006093929,0.0009123571,0.2189869,0.009720637,0.6291223,0.00267594,0.1364929],"study_design_scores_gemma":[0.00005850996,0.0001212064,0.0001877743,0.0001186388,0.00009742118,0.0002857056,0.000225467,0.4339295,0.01260684,0.5328806,0.01943427,0.00005396331],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007093911,0.00007369854,0.9875679,0.0001548768,0.00002612694,0.0001597689,0.00007531915,0.0008501066,0.003998294],"genre_scores_gemma":[0.1395714,0.0001601396,0.8571468,0.000122573,0.00002118178,0.0004059253,0.0002568833,0.0001873309,0.002127694],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004105932,"threshold_uncertainty_score":0.01373571,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1044019419713759,"score_gpt":0.2441648993010664,"score_spread":0.1397629573296904,"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."}}