{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005814987,0.000832549,0.001241397,0.001932607,0.002198093,0.008868664,0.002392222,0.00240849,0.006898629],"category_scores_gemma":[0.01698602,0.0009929333,0.001572431,0.001738775,0.01888701,0.02559199,0.006801116,0.007373695,0.0009669974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002248124,"about_ca_system_score_gemma":0.001411241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002233027,"about_ca_topic_score_gemma":0.001435267,"domain_scores_codex":[0.9945697,0.002021393,0.0004375701,0.0009585881,0.001576687,0.0004360018],"domain_scores_gemma":[0.9891214,0.005922012,0.0004175341,0.003366079,0.0008339596,0.000338966],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006660133,0.000004415934,0.00004666703,0.0000242448,0.000005306803,0.00001300077,0.0002051555,0.0002888257,0.00009442332,0.9964051,0.0004094568,0.002496774],"study_design_scores_gemma":[0.000005500851,0.000002232849,0.00002303049,0.00001077943,0.000005349627,0.00002174285,0.00004017884,0.0006144641,0.00009468264,0.9952046,0.003973984,0.000003506973],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02905776,0.006988967,0.7959126,0.0182049,0.0006196098,0.00008115686,0.0004299319,0.0005989147,0.1481062],"genre_scores_gemma":[0.8091171,0.003305021,0.159531,0.00332103,0.00132663,0.0003544693,0.0005759826,0.0003703328,0.02209835],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008868664,"threshold_uncertainty_score":0.03075296,"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."}}