{"id":"W4249399534","doi":"10.1109/lics.2004.1319634","title":"A second-order theory for NL","year":2004,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Nondeterministic algorithm; Order (exchange); Discrete mathematics; Horn clause; Bounded function; Set theory; Quantifier (linguistics); Polynomial; Set (abstract data type); Combinatorics; Algebra over a field; Pure mathematics; Computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.0002888141,0.00007442018,0.0000803136,0.00003104402,0.00008329602,0.00007451575,0.0004426751,0.00003915034,0.0002248145],"category_scores_gemma":[0.00006813805,0.00005324238,0.0000548883,0.000133475,0.00002295999,0.0001893437,0.00009401637,0.00004102856,0.0002260547],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002074902,"about_ca_system_score_gemma":0.000084763,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003920757,"about_ca_topic_score_gemma":0.00004430482,"domain_scores_codex":[0.9994228,0.00001792964,0.0000813486,0.0002142259,0.00006054895,0.0002031293],"domain_scores_gemma":[0.9994766,0.0001023408,0.00002188807,0.0002728323,0.00006955316,0.00005677669],"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.000002099782,0.00003136222,0.00001551738,0.00000513621,0.000005611005,0.000001363175,0.0005631231,0.000008172373,0.00008304174,0.9863536,0.001448699,0.01148232],"study_design_scores_gemma":[0.00097858,0.0001315681,0.0003893138,0.000007071762,0.000003815908,0.00001674143,0.00005234548,0.001989498,0.00578038,0.9013856,0.08905099,0.0002141131],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001467937,0.0001056742,0.786736,0.0002940088,0.0002404645,0.0001048114,5.059525e-7,0.0001482739,0.2109024],"genre_scores_gemma":[0.7815206,0.000004308437,0.1799173,0.00197181,0.0001688366,0.00004511501,0.000001351624,0.000009783935,0.03636088],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7800527,"threshold_uncertainty_score":0.2905552,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01360967725046447,"score_gpt":0.2426010026628548,"score_spread":0.2289913254123903,"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."}}