{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001556415,0.0003160551,0.0002754887,0.0002036296,0.0007289774,0.0006347615,0.001798864,0.0001333058,0.0000102821],"category_scores_gemma":[0.0003824864,0.000205713,0.00009315091,0.0003452545,0.0001354277,0.0008988867,0.0004576585,0.000648117,0.000006570303],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005560907,"about_ca_system_score_gemma":0.00006673038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001611643,"about_ca_topic_score_gemma":6.48956e-8,"domain_scores_codex":[0.9978535,0.00003917639,0.0004673054,0.0004099391,0.0006721712,0.0005578747],"domain_scores_gemma":[0.9984699,0.0004514495,0.0005326263,0.0002140687,0.0001976166,0.0001343748],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001015674,0.00007173033,0.1509589,0.00009404849,0.0002180063,0.000006225696,0.02133107,0.02298848,0.00945764,0.7920606,0.0009114282,0.001800332],"study_design_scores_gemma":[0.0003933276,0.00008021648,0.01431891,0.002508637,0.0000317426,0.0001358736,0.002874925,0.9580395,0.006884391,0.01377862,0.0005132091,0.0004406698],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9594037,0.001579435,0.01590888,0.004165377,0.001536473,0.0002678655,0.0000107957,0.0009174102,0.01621005],"genre_scores_gemma":[0.9911872,0.00001291784,0.008051583,0.0003767099,0.0002076922,0.00002085966,0.000004163641,0.00002084526,0.0001180369],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.935051,"threshold_uncertainty_score":0.8388734,"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."}}