{"id":"W4409597230","doi":"10.1007/978-3-031-86054-6_8","title":"Negation, Disjunction, and Choice Questions","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Syntax, Semantics, Linguistic Variation","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Negation; Computer science; Programming language; Negation as failure; Natural language processing; Artificial intelligence; Semantics (computer science); Stable model semantics","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.0002542825,0.000221928,0.0002164934,0.0004278637,0.0004678081,0.0004951076,0.0002833965,0.000108737,0.0001510448],"category_scores_gemma":[0.0005965724,0.0002085902,0.00003668034,0.00006598392,0.0006730358,0.0001695235,0.0001551769,0.0002875193,0.00001814217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001182161,"about_ca_system_score_gemma":0.0001998396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006321268,"about_ca_topic_score_gemma":0.004676627,"domain_scores_codex":[0.9986721,0.00001393178,0.0002908273,0.0005312833,0.0002983614,0.0001934395],"domain_scores_gemma":[0.9986112,0.0004722951,0.0001441378,0.0003277633,0.0003961857,0.00004847634],"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.000001907517,0.00001160812,0.0001310796,0.00004741643,0.0000116535,0.000002630336,0.005400139,0.0007372633,0.000003133034,0.9056598,0.00007406802,0.08791929],"study_design_scores_gemma":[0.0001351466,0.00004052342,0.0004961501,0.0004245626,0.00003730023,0.000004276976,0.00000224442,0.03786683,0.00001622578,0.9371158,0.02354912,0.0003118039],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00006740873,0.000181283,0.9584113,0.009703127,0.005636696,0.0002579018,0.0000179336,0.0001038947,0.02562045],"genre_scores_gemma":[0.8636602,0.0001369501,0.0790017,0.004880082,0.0155108,0.00003349522,0.0001082836,0.00009232125,0.03657613],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8794096,"threshold_uncertainty_score":0.8506061,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01762141829388309,"score_gpt":0.2379736071002009,"score_spread":0.2203521888063178,"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."}}