{"id":"W1964542244","doi":"10.1007/s10601-008-9050-3","title":"Expressive power and abstraction in Essence","year":2008,"lang":"en","type":"article","venue":"Constraints","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Abstraction; Expressive power; Power (physics); Computer science; Programming language; Epistemology; Philosophy; Physics","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":[],"consensus_categories":[],"category_scores_codex":[0.00008760642,0.00007475841,0.000088472,0.00005408868,0.00008241651,0.00003145054,0.0001916767,0.00004925551,0.00004494462],"category_scores_gemma":[0.00007220089,0.00006821407,0.00001772685,0.0001071841,0.0002347776,0.0003063071,0.00006898925,0.0001025271,0.00007802965],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001662564,"about_ca_system_score_gemma":0.00005944088,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001205825,"about_ca_topic_score_gemma":0.00000705663,"domain_scores_codex":[0.999387,0.0000228503,0.0001064536,0.0002341414,0.0000855916,0.0001639681],"domain_scores_gemma":[0.9996257,0.00006769125,0.00004390351,0.0001638784,0.0000348848,0.0000639825],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0000299144,0.0006311774,0.2558788,0.00005741836,0.00004408091,0.003802216,0.03753427,0.00005181006,0.03460993,0.4398362,0.003680255,0.2238439],"study_design_scores_gemma":[0.00135563,0.0001068015,0.971783,0.0001099563,0.000003169463,0.00226177,0.000481849,0.002778535,0.005780377,0.01324922,0.001550634,0.0005390837],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8345199,0.0002790319,0.07541823,0.0001835514,0.0004798588,0.0001401837,0.000001123989,0.0001642745,0.0888139],"genre_scores_gemma":[0.9977827,0.00002966593,0.001976653,0.00006022655,0.00001798106,0.000004641518,2.044941e-7,0.000003157825,0.0001247851],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7159042,"threshold_uncertainty_score":0.2781689,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0157907896426227,"score_gpt":0.232063165849829,"score_spread":0.2162723762072063,"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."}}