{"id":"W1599133695","doi":"10.1007/3-540-40006-0_26","title":"A Compilation of Brewka and Eiter’s Approach to Prioritization","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Logic programming; Encoding (memory); Logic program; Programming language; Circumscription; Prioritization; Prolog; Theoretical computer science; Software engineering; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004829225,0.0003366167,0.000440042,0.0006869687,0.0001464967,0.0002906905,0.001411805,0.0002234648,0.000007590169],"category_scores_gemma":[0.00004500262,0.0003061884,0.00006369721,0.0006173409,0.0003394577,0.0004294744,0.0006413415,0.000300326,0.00001431803],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000105341,"about_ca_system_score_gemma":0.0002242209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001076666,"about_ca_topic_score_gemma":0.00001469854,"domain_scores_codex":[0.9975119,0.00003073334,0.000413434,0.001101517,0.0005796256,0.0003628168],"domain_scores_gemma":[0.9985397,0.0001713,0.0001927282,0.0007364027,0.0002051105,0.0001547446],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008885564,0.00005678726,0.000231933,0.00007713009,0.000007796746,0.000006934583,0.003415209,0.01250766,0.0001137903,0.1036315,0.00002697989,0.8799154],"study_design_scores_gemma":[0.0004717941,0.0003712501,0.003331186,0.0005098078,0.00001418659,0.000115634,3.337842e-7,0.7923145,0.0008073355,0.1979424,0.003208035,0.0009135183],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001675017,0.0005041477,0.9665429,0.0001205289,0.0004169687,0.0004024986,0.000006913077,0.00008189973,0.03175665],"genre_scores_gemma":[0.3971353,0.00009781644,0.60118,0.000772413,0.0003597228,0.000009692294,0.00001844845,0.00002992599,0.0003967321],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8790019,"threshold_uncertainty_score":0.999939,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01558282523001391,"score_gpt":0.2309474491176131,"score_spread":0.2153646238875992,"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."}}