{"id":"W1541070567","doi":"10.1007/978-3-642-04238-6_68","title":"What Next for ASP? (A Not-Entirely-Well-Informed Opinion)","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Answer set programming; Computer science; Stable model semantics; Non-monotonic logic; Semantics (computer science); Set (abstract data type); Circumscription; Default logic; Logic programming; Programming language; Description logic; Operational semantics","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":["metaepi_narrow","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.0009834999,0.0008351742,0.000827661,0.000845501,0.0005341066,0.003500812,0.005412012,0.0005814786,0.00003623026],"category_scores_gemma":[0.0002173522,0.0007210413,0.0003960826,0.0006401615,0.0006227196,0.004064918,0.001287931,0.00078393,0.0002177542],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004423535,"about_ca_system_score_gemma":0.00114655,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009253607,"about_ca_topic_score_gemma":0.00006475011,"domain_scores_codex":[0.9948182,0.00002990785,0.0007729142,0.00204067,0.001096496,0.001241777],"domain_scores_gemma":[0.9958839,0.0009897358,0.0004678456,0.001840857,0.0004711706,0.0003465232],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001301649,0.00003547655,0.00000537866,0.00006576561,0.00001302457,0.00002112054,0.0009835307,0.001345086,0.00002845198,0.06986768,0.0003393356,0.9272822],"study_design_scores_gemma":[0.00127745,0.0009933444,0.0001747731,0.001575795,0.00002257261,0.0001684381,0.000001719279,0.4526109,0.002286069,0.326201,0.2124882,0.002199824],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001654181,0.002006441,0.9730931,0.001541835,0.01077205,0.0009236271,0.000003189569,0.0003055659,0.01133767],"genre_scores_gemma":[0.04783209,0.003879537,0.912526,0.01713227,0.005749745,0.0001137586,0.00007808124,0.0001690327,0.01251949],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9250823,"threshold_uncertainty_score":0.9999692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03154842649118587,"score_gpt":0.2755483100393093,"score_spread":0.2439998835481234,"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."}}