{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005306801,0.0001193499,0.000164958,0.00004989204,0.00009175191,0.0001325691,0.0004135053,0.00006908301,0.000008201406],"category_scores_gemma":[0.003490038,0.00009218481,0.00003914656,0.0001839714,0.0001215944,0.0009956666,0.0002285691,0.0001680168,0.0000325163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001344504,"about_ca_system_score_gemma":0.000061499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001522299,"about_ca_topic_score_gemma":0.000001146502,"domain_scores_codex":[0.9987851,0.0003474745,0.0001949858,0.0002510105,0.0001771113,0.0002443058],"domain_scores_gemma":[0.9974965,0.001664415,0.0002272062,0.0003064117,0.0001549219,0.0001504956],"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.00009071916,0.0001049625,0.0000796286,0.00002165026,0.00001775619,0.0000279022,0.002818306,0.000003012376,0.0001135311,0.7403656,0.00004116072,0.2563158],"study_design_scores_gemma":[0.001252443,0.001012632,0.0010034,0.00008368936,0.0000840477,0.0007636251,0.004378193,0.0002638996,0.001564271,0.722815,0.2661837,0.0005950312],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02326371,0.00901609,0.3840271,0.001478279,0.0007573366,0.0004463969,8.573177e-7,0.0004967086,0.5805136],"genre_scores_gemma":[0.9342471,0.00005260469,0.06525294,0.0001861057,0.00007733503,0.000008320333,7.401818e-7,0.000005306927,0.0001695087],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9109834,"threshold_uncertainty_score":0.4178154,"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."}}