{"id":"W1535866878","doi":"10.1007/3-540-47922-8_21","title":"An Efficient Compositional Semantics for Natural-Language Database Queries with Arbitrarily-Nested Quantification and Negation","year":2002,"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":"University of Windsor","funders":"","keywords":"Computer science; Negation; Programming language; Semantics (computer science); Natural language processing; 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.0004741637,0.0004196886,0.0003612978,0.000450386,0.0004395373,0.0007300078,0.001164671,0.0001739798,0.000004772801],"category_scores_gemma":[0.00005254495,0.0003387078,0.00005436337,0.0003735694,0.0006664215,0.0006607199,0.0002553932,0.0004016779,0.000005568693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001200245,"about_ca_system_score_gemma":0.000205749,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001623793,"about_ca_topic_score_gemma":0.00008760822,"domain_scores_codex":[0.997286,0.00003742463,0.0003435447,0.00130182,0.0006117407,0.000419434],"domain_scores_gemma":[0.9978438,0.0004300083,0.0002807327,0.0009301524,0.0003698467,0.0001454298],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001327744,0.0004738736,0.0002830557,0.000535566,0.00006471689,0.0001626733,0.01264437,0.08198094,0.008196727,0.6060909,0.00006249962,0.2893719],"study_design_scores_gemma":[0.0004014861,0.0002704347,0.0004585682,0.0002742541,0.00001716052,0.0001239961,0.000001271871,0.9900405,0.002572555,0.005166844,0.0001524943,0.00052039],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003182056,0.0007865265,0.9938703,0.000337728,0.0006873927,0.0006351155,0.00002533342,0.0001549337,0.0003205915],"genre_scores_gemma":[0.6474803,0.00001946566,0.3516748,0.0003253246,0.0002451384,0.00001609873,0.0001170138,0.00002251251,0.00009930169],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9080596,"threshold_uncertainty_score":0.9999065,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01483812377169502,"score_gpt":0.2485825780014284,"score_spread":0.2337444542297333,"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."}}