{"id":"W4387096360","doi":"10.1016/j.artint.2023.104023","title":"A general framework for preferences in answer set programming","year":2023,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Deutsche Forschungsgemeinschaft","keywords":"Computer science; Generality; Answer set programming; Constraint satisfaction; Theoretical computer science; Constraint programming; Implementation; Set (abstract data type); Preference; Flexibility (engineering); Constraint satisfaction problem; Satisfiability; Programming language; Logic programming; Artificial intelligence; Mathematics; Mathematical optimization","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.0005807019,0.0001532776,0.000178931,0.0001741348,0.0001483159,0.0002594341,0.0008682648,0.0001174747,0.00002042691],"category_scores_gemma":[0.0004629188,0.0001355168,0.00008219485,0.001287176,0.00007531119,0.0002847116,0.000190254,0.0001710204,0.0003629806],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003041052,"about_ca_system_score_gemma":0.00008091527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008290018,"about_ca_topic_score_gemma":0.0003680841,"domain_scores_codex":[0.9983429,0.00005612061,0.0003403525,0.0005115112,0.000188481,0.0005605739],"domain_scores_gemma":[0.9989953,0.0003883803,0.00007207616,0.0003616603,0.00009417102,0.00008841437],"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.000008197643,0.0000452269,0.0009198028,0.00001280876,0.000004887603,0.000008837077,0.003531333,0.0002713882,0.00009827082,0.6410975,0.0001773269,0.3538244],"study_design_scores_gemma":[0.0000205222,0.0001568187,0.0007466112,0.0000512963,0.000003192219,0.000002314661,0.0004587548,0.1538136,0.01053785,0.8290552,0.004888696,0.0002651092],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09041753,0.000094153,0.9065384,0.0005196243,0.001037869,0.0004292197,0.000003192974,0.0003589953,0.0006010203],"genre_scores_gemma":[0.9095901,0.00002783976,0.08955409,0.0001095259,0.0002822869,0.0001946997,0.000006707282,0.00001093281,0.0002238166],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8191726,"threshold_uncertainty_score":0.5526214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1197421803613315,"score_gpt":0.3563576723342461,"score_spread":0.2366154919729145,"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."}}