{"id":"W2091224100","doi":"10.1016/j.entcs.2014.06.003","title":"Non-deterministic Semantics in Polynomial Format","year":2014,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Conselho Nacional de Desenvolvimento Científico e Tecnológico; Fundação de Amparo à Pesquisa do Estado de São Paulo","keywords":"Modal logic; Semantics (computer science); Mathematics; Algebra over a field; Algebraic semantics; Polynomial; Discrete mathematics; Computer science; Modal; Calculus (dental); Theoretical computer science; Programming language; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.002651492,0.0002725302,0.0003599252,0.0004138437,0.000217457,0.0003919011,0.003156719,0.0001050009,0.00001209122],"category_scores_gemma":[0.0003967725,0.0002320514,0.0000763247,0.001562044,0.001392904,0.0006416146,0.001095641,0.0005461494,0.00009501349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003027493,"about_ca_system_score_gemma":0.000404381,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009972418,"about_ca_topic_score_gemma":0.00003756087,"domain_scores_codex":[0.9964409,0.000135497,0.0004531566,0.0008718399,0.0005148019,0.001583839],"domain_scores_gemma":[0.9980784,0.0006844359,0.00008803342,0.0008680546,0.00007611621,0.0002049428],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000910292,0.00009033667,0.001132958,0.00001025763,0.000001382886,0.00001300453,0.0006408052,0.0002145309,0.0001770091,0.9583812,0.00001162778,0.03931782],"study_design_scores_gemma":[0.0005044303,0.0004192031,0.002645356,0.00004075643,0.000001945523,0.00004722058,0.000001853096,0.8080128,0.002035082,0.1858338,0.0001635545,0.000294019],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1118803,0.00004605194,0.8827907,0.0004704249,0.000621911,0.0001853271,2.133254e-7,0.00009235802,0.003912647],"genre_scores_gemma":[0.9792898,0.00001048854,0.02006826,0.0004181753,0.0001844031,0.00001149286,5.055898e-7,0.00001086806,0.000006052527],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8674094,"threshold_uncertainty_score":0.9462783,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004740707857415193,"score_gpt":0.2344024366076313,"score_spread":0.2296617287502161,"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."}}