{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00397892,0.0005603568,0.001017716,0.00129321,0.002098261,0.005172953,0.001293457,0.002794649,0.00902624],"category_scores_gemma":[0.009069117,0.0006015879,0.0008934788,0.002168503,0.008866656,0.01678947,0.002497768,0.003238603,0.0007495657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002158995,"about_ca_system_score_gemma":0.0006640545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001638165,"about_ca_topic_score_gemma":0.001366547,"domain_scores_codex":[0.9975114,0.001510383,0.0001426336,0.0003742242,0.0003279096,0.0001334798],"domain_scores_gemma":[0.9926523,0.006533507,0.0002104417,0.0002512077,0.0002478136,0.0001047518],"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.00003221355,0.00001522388,0.0001354826,0.00004177873,0.000006318886,0.0000563904,0.0003715075,0.000309997,0.0001200186,0.9918823,0.001802335,0.005226512],"study_design_scores_gemma":[0.000006565497,0.00000230406,0.00004728406,0.00000868233,0.000002271092,0.00002600838,0.00009930263,0.0004563871,0.00003390373,0.9969273,0.0023869,0.000003061675],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.1452714,0.03676855,0.203775,0.03102162,0.0009347942,0.00009213295,0.0007638523,0.0002458052,0.5811269],"genre_scores_gemma":[0.9421254,0.005500391,0.02126324,0.00158004,0.0009973014,0.0001230858,0.0005916647,0.00009948501,0.02771947],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.00902624,"threshold_uncertainty_score":0.03019577,"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."}}