{"id":"W2257479943","doi":"","title":"Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators","year":2013,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Macro; Domain (mathematical analysis); Computer science; Operator (biology); Set (abstract data type); Algorithm; Artificial intelligence; 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.002024502,0.001005658,0.0007042177,0.0007963189,0.0003171545,0.000983485,0.002185918,0.000649224,0.003246707],"category_scores_gemma":[0.008412254,0.0005928811,0.001228427,0.0007887495,0.001295972,0.002466923,0.002463669,0.002357444,0.000858728],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005447224,"about_ca_system_score_gemma":0.001410169,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001507014,"about_ca_topic_score_gemma":0.004169797,"domain_scores_codex":[0.9990397,0.0002912042,0.0000911635,0.0002547616,0.0002439436,0.00007932797],"domain_scores_gemma":[0.9955272,0.00193551,0.0002892038,0.001780135,0.0003464083,0.0001215609],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002824451,0.0003136981,0.005450171,0.0004710594,0.0001206064,0.000296974,0.0003098791,0.4839642,0.02137711,0.02453581,0.005896118,0.4569819],"study_design_scores_gemma":[0.00003635413,0.0001795504,0.0007932279,0.00005482649,0.00006187946,0.000209413,0.00008932022,0.9418662,0.02161572,0.02322822,0.01183398,0.00003133159],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07190149,0.0003540553,0.9151556,0.0003750248,0.00009030989,0.000243733,0.0004846671,0.005839749,0.005555314],"genre_scores_gemma":[0.379867,0.0002796274,0.6142858,0.0003521057,0.00004693041,0.0002102766,0.001435791,0.0006741408,0.002848399],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003246707,"threshold_uncertainty_score":0.01086128,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0136732351782467,"score_gpt":0.2178642192697875,"score_spread":0.2041909840915408,"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."}}