{"id":"W2145001295","doi":"10.1007/978-3-642-30353-1_10","title":"Preference-Based Planning via MaxSAT","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Maximum satisfiability problem; Formalism (music); Computer science; Encoding (memory); Planner; Algorithm; Artificial intelligence","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.001029119,0.001020938,0.001124918,0.0007283266,0.0005664048,0.001749526,0.001685603,0.0007802121,0.01281336],"category_scores_gemma":[0.002461518,0.0009080275,0.001080789,0.002194965,0.0008395319,0.002869578,0.001830209,0.002254351,0.002264319],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001043334,"about_ca_system_score_gemma":0.001091826,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001273906,"about_ca_topic_score_gemma":0.002377496,"domain_scores_codex":[0.9991073,0.0003494337,0.00004910722,0.0001589218,0.0002513744,0.00008378399],"domain_scores_gemma":[0.9994841,0.0003218515,0.00003224422,0.00008959854,0.0000459296,0.00002629283],"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.0001931739,0.0001061937,0.0001257226,0.000411393,0.00007235425,0.0000635922,0.000104602,0.2585231,0.002035833,0.4871753,0.01240753,0.2387811],"study_design_scores_gemma":[0.00004541261,0.00004328547,0.00006612639,0.00003765222,0.0000233984,0.00004895386,0.00001861797,0.3773231,0.001588405,0.6127684,0.008018107,0.00001856812],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003323579,0.0005206096,0.9729503,0.0002207421,0.00004793001,0.00005709639,0.0001806591,0.0005574326,0.0221417],"genre_scores_gemma":[0.2454508,0.001517354,0.7339399,0.0001947253,0.00009437186,0.0003379692,0.0007585961,0.0003511148,0.0173552],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01281336,"threshold_uncertainty_score":0.04286498,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04569257288611066,"score_gpt":0.2458518623709555,"score_spread":0.2001592894848448,"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."}}