{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007996418,0.0006623126,0.001046401,0.001625343,0.002362129,0.01145691,0.002864981,0.01045601,0.01232899],"category_scores_gemma":[0.01350475,0.0004720935,0.0008430129,0.003001746,0.005871044,0.04217075,0.003884917,0.01564925,0.008264623],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002767875,"about_ca_system_score_gemma":0.005456844,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007327022,"about_ca_topic_score_gemma":0.00663545,"domain_scores_codex":[0.9970078,0.0009098715,0.0002780172,0.000607007,0.0009069061,0.0002904039],"domain_scores_gemma":[0.9908044,0.004785057,0.0003898332,0.0008535721,0.002221676,0.0009453797],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003662288,0.00002432742,0.0001976871,0.0004774737,0.00002269529,0.0001214258,0.0009467744,0.0002328309,0.0002359241,0.4238715,0.4681593,0.1056733],"study_design_scores_gemma":[0.000009702952,0.000009187702,0.0001725679,0.0009055583,0.00001458423,0.0002236042,0.001057772,0.0003319117,0.0002006699,0.2063868,0.7906662,0.00002142343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"commentary","genre_gemma":"commentary","genre_scores_codex":[0.0007169632,0.050713,0.01132052,0.8782563,0.01786185,0.00001438238,0.0002531363,0.0001150948,0.04074879],"genre_scores_gemma":[0.05780932,0.1698875,0.03347197,0.6203065,0.04369344,0.000110288,0.0007674191,0.0006621007,0.07329153],"genre_candidate":"commentary","genre_consensus":"commentary","teacher_disagreement_score":0.01232899,"threshold_uncertainty_score":0.04228961,"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."}}