{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002324873,0.001308358,0.001522525,0.003434893,0.001720212,0.00373293,0.003621951,0.001043813,0.0209347],"category_scores_gemma":[0.008629198,0.001334137,0.002693073,0.004538093,0.002555807,0.006232523,0.004728652,0.004203158,0.00739394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002278795,"about_ca_system_score_gemma":0.003163408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0104035,"about_ca_topic_score_gemma":0.01282564,"domain_scores_codex":[0.9970402,0.0005370225,0.0002368436,0.000580874,0.00133132,0.0002736438],"domain_scores_gemma":[0.9970516,0.0007715664,0.00006562599,0.001094376,0.0008935586,0.000123207],"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.00007725431,0.0002027797,0.0002730461,0.0003721468,0.0001044166,0.0002390571,0.0009294353,0.0087548,0.002707073,0.6712152,0.03021543,0.2849095],"study_design_scores_gemma":[0.00005154122,0.00003854601,0.0003397448,0.0001572119,0.0001396922,0.0003670361,0.0001909022,0.02775672,0.00322694,0.7539348,0.2137055,0.0000913844],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001930324,0.0007617527,0.9486765,0.0009191809,0.00080005,0.0001860865,0.0003016791,0.002422778,0.04400165],"genre_scores_gemma":[0.04215841,0.001662555,0.9177514,0.0009046614,0.0005429332,0.0002766156,0.0006259681,0.00233725,0.03374017],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0209347,"threshold_uncertainty_score":0.07003355,"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."}}