{"id":"W1585557683","doi":"10.1609/icaps.v22i1.13505","title":"Planning Modulo Theories: Extending the Planning Paradigm","year":2012,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Modulo; Planner; Computer science; Modular design; Heuristic; Scope (computer science); Syntax; Answer set programming; Automated planning and scheduling; Programming language; Theoretical computer science; Artificial intelligence; Set (abstract data type); Mathematics; Discrete mathematics","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.004153052,0.0009590453,0.0006032719,0.001741125,0.001174286,0.002921735,0.00337412,0.001437296,0.004769116],"category_scores_gemma":[0.005798199,0.001025937,0.002939316,0.00208985,0.004745184,0.007987451,0.004785086,0.004665032,0.00106532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001903634,"about_ca_system_score_gemma":0.003948603,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006215814,"about_ca_topic_score_gemma":0.00921071,"domain_scores_codex":[0.996935,0.001298019,0.0002360137,0.000489794,0.000772983,0.0002681568],"domain_scores_gemma":[0.996713,0.001941405,0.0002061019,0.000742619,0.0002480469,0.0001487593],"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.00009905682,0.00008297324,0.000504402,0.0004009121,0.00004064958,0.0002896349,0.0008492329,0.05474275,0.002720532,0.8096435,0.003911681,0.1267146],"study_design_scores_gemma":[0.00007151438,0.00008838405,0.0001271104,0.0001222356,0.00005484322,0.000213843,0.0001932611,0.2048312,0.003676189,0.7376896,0.05290132,0.00003047863],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005624422,0.0003241931,0.9794496,0.001361367,0.00006913669,0.0001768659,0.0001935543,0.001300693,0.01150006],"genre_scores_gemma":[0.0766876,0.0006933829,0.9183902,0.0004018266,0.00009018317,0.0002953137,0.0003615117,0.0002862344,0.002793774],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006215814,"threshold_uncertainty_score":0.02196372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04438401684249059,"score_gpt":0.3012732997910121,"score_spread":0.2568892829485215,"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."}}