{"id":"W1980229219","doi":"10.1017/s1471068403001698","title":"Polymorphic lemmas and definitions in $\\lambda$Prolog and Twelf","year":2004,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Prolog; Computer science; Metalanguage; Programming language; ENCODE; Object (grammar); Inference; Logic programming; Logic program; Description logic; Encoding (memory); Theoretical 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.002673694,0.0001574927,0.0002380147,0.0001201157,0.0001732751,0.0001696211,0.0001937011,0.0001114725,0.00000325061],"category_scores_gemma":[0.0008115504,0.0001310437,0.00002616455,0.0002465981,0.0003095494,0.0007911275,0.0002111982,0.0002201812,0.000003898188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001308003,"about_ca_system_score_gemma":0.00004342361,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001385191,"about_ca_topic_score_gemma":0.00001707745,"domain_scores_codex":[0.9984437,0.0004667085,0.0002845481,0.000367746,0.0001330974,0.0003042629],"domain_scores_gemma":[0.9982612,0.001140322,0.000210135,0.0002396527,0.0000510988,0.00009761238],"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.00006927922,0.0001123674,0.0006036485,0.00005446807,0.00001588525,0.00005796632,0.001910876,0.000003344959,0.00009857333,0.9020846,8.867154e-7,0.09498809],"study_design_scores_gemma":[0.001019452,0.0006656995,0.001151851,0.00002701555,0.00004283088,0.00116267,0.001588401,0.00004118603,0.0001015658,0.9879539,0.005999671,0.0002457578],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2354703,0.03550518,0.6755279,0.009069552,0.0006616339,0.002090454,0.000003131726,0.0005709762,0.0411009],"genre_scores_gemma":[0.9712663,0.0004534337,0.0279038,0.0002797603,0.00003498841,0.00003207764,0.00000154608,0.000006746662,0.00002139277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.735796,"threshold_uncertainty_score":0.5343806,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04689005546835771,"score_gpt":0.2824642193132949,"score_spread":0.2355741638449372,"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."}}