{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0006037535,0.0004223282,0.0004164661,0.0001535218,0.0003367664,0.0006830646,0.001759975,0.0001910277,0.002255848],"category_scores_gemma":[0.0002014753,0.0002619621,0.0002044777,0.0003991476,0.0002789207,0.002737483,0.001099747,0.000199681,0.02455316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002896858,"about_ca_system_score_gemma":0.0002666369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000190561,"about_ca_topic_score_gemma":0.000009329389,"domain_scores_codex":[0.9970425,0.0000936941,0.0008455635,0.000404097,0.0006205454,0.000993641],"domain_scores_gemma":[0.9974792,0.0003051783,0.0003737496,0.001256437,0.0001473892,0.0004380172],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005261852,0.0004134224,0.006073025,0.0004273368,0.000249184,0.00002633584,0.02242853,0.000004431784,0.0006203342,0.3738943,0.1208279,0.4749826],"study_design_scores_gemma":[0.002765853,0.0007313379,0.007419959,0.0007614776,0.00006292819,0.00009155571,0.0005337044,0.006648273,0.003233729,0.005412494,0.9712213,0.001117418],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04741963,0.0009892895,0.3124311,0.005386242,0.00536992,0.001203369,0.00008942838,0.000701218,0.6264098],"genre_scores_gemma":[0.9488432,0.0003210296,0.007825515,0.001775422,0.0004078004,0.00005010152,0.000006591166,0.00002901919,0.04074126],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9014236,"threshold_uncertainty_score":0.9999833,"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."}}