{"id":"W4246123776","doi":"10.3233/fi-2016-1395","title":"Preface","year":2016,"lang":"la","type":"article","venue":"Fundamenta Informaticae","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Libera Università di Bolzano; Universität Bremen; Università della Calabria; Marmara Üniversitesi; Uniwersytet Warszawski; Università degli Studi dell'Aquila; Universidade de Lisboa; Universidad Nacional del Sur; Università degli Studi di Genova; Universidad Politécnica de Madrid; Aalto-Yliopisto; Universidade da Coruña; Universität Potsdam; University of Bath; Texas Tech University; Simon Fraser University; Arizona State University; University of Oxford; University of Alberta; Drexel University","keywords":"Answer set programming; Computer science; Constraint programming; Stable model semantics; Semantics (computer science); Set (abstract data type); Theoretical computer science; Constraint satisfaction; Logic programming; Constraint satisfaction problem; Programming language; Non-monotonic logic; Mathematics; Artificial intelligence; Operational semantics; Mathematical optimization","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001579011,0.001073064,0.0008308744,0.002489382,0.002400224,0.004219591,0.001613304,0.001711931,0.4258289],"category_scores_gemma":[0.01110186,0.0003482706,0.0007795343,0.002211054,0.0008275534,0.004091554,0.002737124,0.003268362,0.2764598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002893838,"about_ca_system_score_gemma":0.002733373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003593236,"about_ca_topic_score_gemma":0.004293473,"domain_scores_codex":[0.9987607,0.0001810347,0.00009707665,0.0002847671,0.0005542206,0.0001222356],"domain_scores_gemma":[0.9958151,0.000740724,0.000171781,0.0004262977,0.002138435,0.0007076982],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000400747,0.00002425932,0.0001652268,0.0001351114,0.000004018997,0.00007093138,0.000110192,0.0001228181,0.0001632548,0.0124127,0.9309248,0.05582659],"study_design_scores_gemma":[0.000003927855,0.00001063025,0.0002171573,0.00009689827,0.000001716753,0.0000661191,0.00005530931,0.00004175495,0.00007346269,0.003580591,0.9958479,0.000004569516],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.002302769,0.01623281,0.01439723,0.04758934,0.1440439,0.0005960037,0.0153417,0.002213266,0.7572831],"genre_scores_gemma":[0.01377522,0.00976388,0.006837551,0.01010699,0.02314025,0.0003785284,0.0159081,0.001442214,0.9186473],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.5741711,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01978046628812696,"score_gpt":0.2392959667390389,"score_spread":0.2195155004509119,"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."}}