{"id":"W2174235632","doi":"10.1017/s1471068402001539","title":"A framework for compiling preferences in logic programs","year":2003,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":129,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Logic programming; Logic program; Answer set programming; Programming language; Set (abstract data type); Stable model semantics; Semantics (computer science); Compiler; Theoretical computer science; Implementation; Preference; Range (aeronautics); Program transformation; Operational semantics; 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.006031319,0.0001893143,0.0003086524,0.0000882634,0.0001641209,0.0001877198,0.0004539211,0.0001515657,0.000007116456],"category_scores_gemma":[0.007125098,0.0001469058,0.00006856693,0.0004161189,0.0001824174,0.0006593638,0.0001110453,0.0002771851,0.000003493763],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000170168,"about_ca_system_score_gemma":0.00006806925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006881708,"about_ca_topic_score_gemma":0.000005261587,"domain_scores_codex":[0.9976472,0.0009857331,0.000342095,0.0004354268,0.0001547944,0.0004347083],"domain_scores_gemma":[0.9933169,0.005826415,0.000321598,0.0003132833,0.000135693,0.00008604146],"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.0001102637,0.0002652947,0.0004659854,0.00007384113,0.00001745057,0.000006953701,0.002080565,0.000005352369,0.00002340882,0.7730833,0.000001088282,0.2238665],"study_design_scores_gemma":[0.000406282,0.0007219985,0.00006527644,0.0001243337,0.00002873289,0.00007510544,0.002269848,0.0002482231,0.0002416154,0.9860529,0.009545353,0.0002203657],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008074726,0.004449002,0.9675447,0.0002714053,0.0002317039,0.0008581387,5.371901e-7,0.0001403456,0.01842941],"genre_scores_gemma":[0.5822746,0.00007771058,0.4173998,0.0001113023,0.00002243132,0.00008043736,0.000001222088,0.000005200583,0.00002733933],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5741999,"threshold_uncertainty_score":0.8529923,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06676812964106243,"score_gpt":0.3393231874155429,"score_spread":0.2725550577744805,"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."}}