{"id":"W2115928329","doi":"10.1109/tai.2000.889840","title":"An assumptive logic programming methodology for parsing","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Datalog; Computer science; Parsing; Programming language; L-attributed grammar; Logic programming; Phrase structure grammar; Parsing expression grammar; Rule-based machine translation; Natural language processing; Artificial intelligence; S-attributed grammar; Theoretical computer science; Context-free grammar","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.004746134,0.001036012,0.0005626112,0.00128303,0.001515079,0.003780492,0.003686683,0.001569134,0.009114201],"category_scores_gemma":[0.009363676,0.0008798724,0.001977466,0.001301831,0.004230665,0.006392196,0.003156982,0.004747516,0.002492536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001632175,"about_ca_system_score_gemma":0.002476895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001204579,"about_ca_topic_score_gemma":0.001599169,"domain_scores_codex":[0.9969648,0.001044511,0.0002235393,0.0006804728,0.0009254194,0.0001612215],"domain_scores_gemma":[0.994947,0.002820277,0.0002808284,0.001346205,0.000492343,0.0001133187],"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.00002210174,0.00003001502,0.0001652863,0.0001314071,0.00001641514,0.0001542386,0.0004372133,0.007334207,0.002258213,0.9434785,0.002639734,0.04333263],"study_design_scores_gemma":[0.0000218204,0.00004331038,0.00009329249,0.00007868537,0.00005493234,0.000368114,0.0001221938,0.1012529,0.01328213,0.8385191,0.04611761,0.00004587642],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000353412,0.00001918692,0.9973167,0.0001637185,0.00001636774,0.00003312203,0.00004652487,0.0006315226,0.001419491],"genre_scores_gemma":[0.03539541,0.0001777309,0.9601424,0.0003211898,0.00007006092,0.0002066675,0.0001815785,0.0003796301,0.003125362],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009114201,"threshold_uncertainty_score":0.03049004,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2144146801158825,"score_gpt":0.3568244027088954,"score_spread":0.1424097225930128,"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."}}