{"id":"W2795456052","doi":"10.1017/s1471068415000150","title":"Abstract gringo","year":2015,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Griffith University; Deutsche Forschungsgemeinschaft; Simon Fraser University; National Science Foundation","keywords":"Computer science; Programming language; ASCII; Semantics (computer science); Syntax; Operational semantics; Natural language processing","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001822263,0.0005879993,0.0006022066,0.0008493427,0.0008662497,0.003745179,0.001641068,0.000908697,0.01739073],"category_scores_gemma":[0.004740633,0.0003725942,0.0007027569,0.0008409863,0.001986572,0.005989671,0.003169893,0.002546456,0.006147641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001737192,"about_ca_system_score_gemma":0.001408502,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002408565,"about_ca_topic_score_gemma":0.001068566,"domain_scores_codex":[0.9977537,0.00062207,0.000179464,0.0004437747,0.0007031929,0.0002977992],"domain_scores_gemma":[0.9982382,0.0004493029,0.0001214417,0.000491611,0.0005603163,0.0001389821],"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.0001857774,0.0000385286,0.0005722889,0.0002366051,0.00001100061,0.0003429436,0.0006707409,0.003234857,0.00282379,0.9128391,0.02788967,0.05115468],"study_design_scores_gemma":[0.00006525443,0.00006894812,0.0004343155,0.0003020201,0.00002617158,0.0005053079,0.0002772385,0.01910912,0.009209407,0.4816416,0.4882999,0.00006072239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0289618,0.0008008513,0.7318587,0.006291213,0.00092135,0.0003467782,0.00340489,0.01471031,0.2127041],"genre_scores_gemma":[0.5248279,0.001489136,0.3749227,0.003822306,0.000565533,0.0005181634,0.0062963,0.005981827,0.08157615],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01739073,"threshold_uncertainty_score":0.05817777,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04921704846220617,"score_gpt":0.3125891107936691,"score_spread":0.2633720623314629,"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."}}